Managing Inconsistencies in UML Specifications.
Andrea ZismanAlexander KozlenkovPublished in: SNPD (2003)
Keyphrases
- specification language
- class diagram
- conceptual models
- object oriented
- modeling language
- formal specification
- sequence diagrams
- uml models
- requirements specification
- metamodel
- class diagrams
- description language
- written in natural language
- conceptual modeling
- database design
- high level
- unified modeling language
- uml activity diagrams
- uml profile
- object oriented modeling
- state machine
- programming language
- formal methods
- finite state machines