Verifying Behavioral Correctness of Design Pattern Implementation.

Tu Peng Jing Dong Yajing Zhao

Published in: SEKE (2008)

Keyphrases

design patterns
software design
software engineering
code generation
decision making
artificial intelligence
model checking
design principles
metamodel
usage scenarios
code reuse
multimedia
object oriented
semantic web
software systems