Keyphrases
- formal specification
- design patterns
- software engineering
- object oriented design
- reverse engineering
- specification languages
- object oriented
- model checking
- structural patterns
- specification language
- software design
- formal methods
- database driven
- process algebra
- metamodel
- design principles
- software systems
- object oriented software
- ontology driven
- usage scenarios
- software architecture
- specific problems
- concurrent systems
- temporal logic
- process model
- protocol specification
- database
- code generation
- learning objects
- databases
- design rationale
- pattern languages
- software components