Formal Specification of Design Patterns and Their Instances.
Toufik TaibiFathi TaibiPublished in: AICCSA (2006)
Keyphrases
- formal specification
- design patterns
- software engineering
- model checking
- specification languages
- object oriented design
- object oriented
- reverse engineering
- specification language
- software design
- software systems
- object oriented software
- process algebra
- software architecture
- software components
- design principles
- formal methods
- concurrent systems
- ontology driven
- code generation
- metamodel
- database driven
- usage scenarios
- learning objects
- design rationale
- real world
- behavioural patterns
- temporal logic
- process model
- building blocks
- web applications
- multi agent systems
- high level