Exploiting design patterns to automate validation of class invariants.

Brian A. Malloy James F. Power

Published in: Softw. Test. Verification Reliab. (2006)

Keyphrases

design patterns
software engineering
design principles
software design
usage scenarios
software systems
object oriented
pattern languages
metamodel
software architecture
object oriented software
behavioural patterns
specific problems
topic maps
mobile robot
ontology driven
learning objects