A formal model for verifying compound design patterns.
Gabriela N. ArandaRichard MoorePublished in: SEKE (2002)
Keyphrases
- formal model
- design patterns
- software engineering
- object oriented
- software design
- software architecture
- object oriented software
- metamodel
- design principles
- model checking
- software systems
- process model
- ontology driven
- database driven
- learning objects
- relational databases
- usage scenarios
- specific problems
- formal models
- design rationale
- cooperative
- source code
- security properties