Automated verification of design patterns: A case study.
Jonathan NicholsonAmnon H. EdenEpameinondas GasparisRick KazmanPublished in: Sci. Comput. Program. (2014)
Keyphrases
- design patterns
- automated verification
- model checking
- automated reasoning
- software engineering
- formal verification
- object oriented
- software design
- object oriented software
- software architecture
- software systems
- design principles
- process model
- temporal logic
- database driven
- usage scenarios
- ontology driven
- learning objects
- specific problems
- graph theory
- pattern languages
- probabilistic reasoning
- design rationale
- cooperative
- software development
- natural language