A framework and tool support for the systematic testing of model-based specifications.

Tim Miller Paul A. Strooper

Published in: ACM Trans. Softw. Eng. Methodol. (2003)

Keyphrases

tool support
main contribution
high level
cooperative
software tools
trade off
object oriented
software engineering
knowledge management
software development
theoretical framework
design patterns
conceptual framework
specification language