Automatic Verification of Java Design Patterns.
Alex BlewittAlan BundyIan StarkPublished in: ASE (2001)
Keyphrases
- design patterns
- object oriented
- database driven
- software engineering
- programming language
- software systems
- object oriented programming language
- software design
- source code
- object oriented software
- database applications
- metamodel
- design principles
- java programs
- open source
- software architecture
- database design
- learning objects
- object oriented programming
- ontology driven
- usage scenarios
- data model
- high level
- specific problems
- case study
- aspect oriented
- data mining
- real world
- code reuse
- machine learning
- structural patterns
- multimedia
- database systems
- test cases