Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.
Martin GogollaMark RichtersJörn BohlingArne LindowFabian BüttnerPaul ZiemannPublished in: Modellierung (2004)
Keyphrases
- uml class diagrams
- uml diagrams
- metamodel
- class diagrams
- class diagram
- software design
- modeling language
- sequence diagrams
- constraint language
- unified modeling language
- tool support
- uml profile
- design patterns
- object oriented
- black box
- software systems
- software development
- software engineering
- activity diagrams
- software engineers
- conceptual modeling
- model driven
- software projects
- life cycle
- petri net
- databases
- software artifacts
- test cases
- business processes
- genetic algorithm
- neural network
- data sets