Verification of Design Patterns with LePUS3.
Jonathan NicholsonEpameinondas GasparisAmnon H. EdenRick KazmanPublished in: NASA Formal Methods (2009)
Keyphrases
- design patterns
- software engineering
- object oriented
- design principles
- ontology driven
- object oriented software
- software design
- software systems
- usage scenarios
- model checking
- metamodel
- software architecture
- design rationale
- specific problems
- verification method
- database driven
- design requirements
- behavioural patterns
- signature verification
- pattern languages
- learning objects
- multi agent systems
- case study
- data mining
- real world