Formal Specification of Design Patterns - A Balanced Approach.
Toufik TaibiDavid Ngo Chek LingPublished in: J. Object Technol. (2003)
Keyphrases
- formal specification
- design patterns
- model checking
- software engineering
- reverse engineering
- object oriented
- object oriented design
- specification language
- specification languages
- process algebra
- software systems
- software architecture
- software design
- metamodel
- design principles
- object oriented software
- formal methods
- usage scenarios
- ontology driven
- software components
- concurrent systems
- specific problems
- database driven
- protocol specification
- behavioural patterns
- code generation
- temporal logic
- pattern languages
- production system
- process model
- case study
- information systems