Formal specification of structural and behavioral aspects of design patterns.
Shouvik DeyPublished in: J. Object Technol. (2010)
Keyphrases
- formal specification
- design patterns
- software engineering
- object oriented design
- reverse engineering
- object oriented
- model checking
- specification languages
- software design
- software systems
- specification language
- design requirements
- software architecture
- process algebra
- metamodel
- formal methods
- structural patterns
- design principles
- usage scenarios
- software components
- object oriented software
- process model
- database driven
- concurrent systems
- code generation
- business rules
- specific problems
- source code
- design rationale
- decision making
- temporal logic
- learning objects
- xml documents
- multi agent systems