Login / Signup
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