Design Pattern Evolution and Verification Using Graph Transformation.

Chunying Zhao Jun Kong Kang Zhang

Published 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