Using Design Patterns to Derive PAC Architectures from Object-Z Specifications.
Andrew HusseyPublished in: TOOLS (32) (1999)
Keyphrases
- design patterns
- object oriented
- software engineering
- d objects
- object oriented software
- design requirements
- design principles
- software architecture
- software systems
- software design
- specific problems
- metamodel
- multiple objects
- learning objects
- database driven
- upper bound
- usage scenarios
- ontology driven
- moving objects
- code generation
- sample complexity
- augmented reality
- behavioural patterns