Design patterns formalization techniques
Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. This book presents multiple mathematical, formal approaches for pattern specification, emphasizing software development processes for engineering disciplines. It f...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic |
| Language: | English |
| Published: |
Hershey, Pa. :
IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
c2007.
|
| Subjects: | |
| Online Access: | View fulltext via EzAccess |
Table of Contents:
- An integrated approach to design patterns formalization
- A visual language for design pattern modeling and instantiation
- A generic model of object-oriented patterns specified in RSL
- Patterns of collective behavior in Ocsid
- Formal specification and verification of design patterns
- Spine: language for pattern verification
- Intent-oriented design pattern formalization using SPQR
- Formalising design patterns as model transformations
- The role-based metamodeling language for specifying design patterns
- Modeling and reasoning about design patterns in Slam-Sl
- The applications and enhancement of LePUS for specifying design patterns
- An ontology based representation of software design patterns
- Precision, flexibility, and tool support: essential elements of pattern formalization
- Formalizing patterns with the user requirements notation
- A pattern enforcing compiler (PEC) for Java: a practical way to formally specify patterns
- LePUS: a formal language for modeling design patterns.