Design Pattern Evolution and Verification Using Graph Transformation.
Chunying ZhaoJun KongKang ZhangPublished in: HICSS (2007)
Keyphrases
- design patterns
- graph transformation
- software engineering
- object oriented
- software design
- software systems
- software architecture
- usage scenarios
- design principles
- learning objects
- metamodel
- database driven
- model checking
- process model
- specific problems
- model view controller
- information systems
- behavioural patterns
- verification method
- design requirements
- reinforcement learning
- web services