Formal specification of the variants and behavioural features of design patterns.
Ian BayleyHong ZhuPublished in: J. Syst. Softw. (2010)
Keyphrases
- formal specification
- design patterns
- model checking
- behavioural patterns
- software engineering
- specification languages
- object oriented
- object oriented design
- building blocks
- software systems
- artificial intelligence
- design principles
- learning process
- dynamic environments
- information systems
- databases
- software design
- code generation
- process algebra
- database