Shopping Cart | Login | Register | Language: English

Design Pattern Formalization Techniques

Release Date: April, 2007. Copyright © 2007. 400 pages.
Select a Format:
Hardcover
$79.96
List Price: $99.95
Current Promotions:
20% Online Bookstore Discount*
In Stock. Have it as soon as Apr. 28 with express shipping*.
DOI: 10.4018/978-1-59904-219-0, ISBN13: 9781599042190, ISBN10: 1599042193, EISBN13: 9781599042213
Cite Book

MLA

Taibi, Toufik. "Design Pattern Formalization Techniques." IGI Global, 2007. 1-400. Web. 23 Apr. 2014. doi:10.4018/978-1-59904-219-0

APA

Taibi, T. (2007). Design Pattern Formalization Techniques (pp. 1-400). Hershey, PA: IGI Global. doi:10.4018/978-1-59904-219-0

Chicago

Taibi, Toufik. "Design Pattern Formalization Techniques." 1-400 (2007), accessed April 23, 2014. doi:10.4018/978-1-59904-219-0

Export Reference

Mendeley
Favorite
Design Pattern Formalization Techniques
Access on Platform
More Information
Browse by Subject
Top

Description

Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. Design Pattern Formalization Techniques presents multiple mathematical, formal approaches for pattern specification, emphasizing on software development processes for engineering disciplines.

Design Pattern Formalization Techniques focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academicians, practitioners and students working in the field of design patterns and software reuse.Design Pattern Formalization Techniques explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.

Top

Table of Contents and List of Contributors

Search this Book: Reset
Chapter 1
Toufik Taibi
A Design pattern describes a set of proven solutions for a set of recurring design problems that occur within a context. As such, reusing patterns... Sample PDF
An Integrated Approach to Design Patterns Formalization
$37.50
Chapter 2
David Maplesden, John Hosking, John Grundy
In this chapter we describe the Design pattern modeling language, a notation supporting the specification of Design pattern solutions and their... Sample PDF
A Visual Language for Design Pattern Modeling and Instantiation
$37.50
Chapter 3
Andrés Flores, Alejandra Cechich, Gabriela Aranda
Object-oriented patterns are a promising technique for achieving widespread reuse of software architectures. They capture the static and dynamic... Sample PDF
A Generic Model of Object-Oriented Patterns Specified in RSL
$37.50
Chapter 4
Joni Helin, Pertti Kellomäki, Tommi Mikkonen
This chapter presents an abstraction mechanism for collective behavior in reactive distributed systems. The mechanism allows the expression of... Sample PDF
Patterns of Collective Behavior in Ocsid
$37.50
Chapter 5
Jing Dong, Paulo Alencar, Donald Cowan
This chapter introduces our approaches to formal specification of the structural and behavioral aspects of Design patterns. We investigate the... Sample PDF
Formal Specification and Verification of Design Patterns
$37.50
Chapter 6
Alex Blewitt
Patterns are often described in terms of concrete examples in specific programming languages in catalogues (Gamma, Helm, Johnson, & Vlissides... Sample PDF
Spine: Language for Pattern Verification
$37.50
Chapter 7
Jason Smith, David Stotts
This chapter introduces the system for pattern query and recognition, a collection of formalisms, definitions, and concepts that provides a means... Sample PDF
Intent-Oriented Design Pattern Formalization Using SPQR
$37.50
Chapter 8
Kevin Lano
This chapter describes techniques for the verification of refactorings or transformations of UML models which introduce Design patterns. The... Sample PDF
Formalising Design Patterns as Model Transformations
$37.50
Chapter 9
Dae-Kyoo Kim
This chapter describes a UML-based pattern specification language called the role-based metamodeling language (RBML), which defines the solution... Sample PDF
The Role-Based Metamodeling Language for Specifying Design Patterns
$37.50
Chapter 10
Angel Herranz, Juan José Moreno-Navarro
In this chapter, a formal model for Design patterns is studied. The formal specification of a Design pattern is given as a class operator that... Sample PDF
Modeling and Reasoning about Design Patterns in Slam-Sl
$37.50
Chapter 11
Rajeev R. Raje, Sivakumar Chinnasamy, Andew M. Olson, William Hidgon
Standardized pattern representations have become a popular way to capture, classify, and communicate the essential characteristics of software... Sample PDF
The Applications and Enhancement of LePUS for Specifying Design Patterns
$37.50
Chapter 12
Jens Dietrich, Chris Elgar
This chapter introduces an approach to define Design patterns using semantic Web technologies. For this purpose, a vocabulary based on the Web... Sample PDF
An Ontology Based Representation of Software Design Patterns
$37.50
Chapter 13
Neelam Soundarajan, Jason O. Hallstrom
There are two important requirements that any approach to formalizing Design patterns must meet. First, the approach must enable the precise... Sample PDF
Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization
$37.50
Chapter 14
Gunter Mussbacher, Daniel Amyot, Michael Weiss
Patterns need to be described and formalized in ways that enable the reader to determine whether the particular solution presented is useful and... Sample PDF
Formalizing Patterns with the User Requirements Notation
$37.50
Chapter 15
Howard Lovatt, Anthony M. Sloane, Dominic R. Verity
This chapter describes an extended compiler that formalizes patterns, which we call a pattern enforcing compiler (PEC). Developers use standard Java... Sample PDF
A Pattern Enforcing Compiler (PEC) for Java: A Practical Way to Formally Specify Patterns
$37.50
Chapter 16
Epameinondas Gasparis
We present LePUS, a formal language for modeling object oriented (O-O) Design patterns. We demonstrate the language’s unique efficacy in producing... Sample PDF
LePUS: A Formal Language for Modeling Design Patterns
$37.50
Top

Author(s)/Editor(s) Biography

Toufik Taibi received the PhD in computer science from Multimedia University, Malaysia in 2003. He is currently an Assistant Professor at the College of Information Technology at United Arab Emirates University, UAE. Dr. Taibi has more than 10 years of teaching and research experience. His research interests include formal specification of design patterns, distributed object computing, and component-based software engineering. He has been in the program committee of numerous conferences and has chaired several sessions in conferences. He is a member of the IEEE.