Graphische Spezifikation und Analyse funktionaler Testabläufe mit MSCs der UML.
Matthias BauerWolfgang EckerAndreas ZinnPublished in: MBMV (2000)
Keyphrases
- metamodel
- class diagrams
- uml class diagrams
- modeling language
- database design
- object oriented
- formal methods
- software systems
- uml profile
- uml models
- object oriented modeling
- test set
- conceptual modeling
- specification language
- tool support
- state machine
- uml diagrams
- software engineering
- unified modeling language
- model driven engineering
- neural network
- conceptual model
- software architecture
- software development
- high level
- case study
- genetic algorithm