A Formal Model of Object-Oriented Design and GoF Design Patterns.
Andres FloresRichard MooreLuis ReynosoPublished in: FME (2001)
Keyphrases
- design patterns
- formal model
- object oriented design
- software design
- object oriented
- object oriented systems
- software engineering
- software systems
- software architecture
- object oriented software
- metamodel
- design principles
- formal specification
- usage scenarios
- database driven
- ontology driven
- source code
- relational databases
- security properties
- formal models
- specific problems
- process model
- design rationale
- software maintenance
- knowledge representation
- security patterns
- artificial intelligence