UML formalization is a traceability problem.
R. E. Kurt StirewaltMin DengBetty H. C. ChengPublished in: TEFSE@ASE (2005)
Keyphrases
- tool support
- software architecture
- metamodel
- life cycle
- software systems
- software development
- unified modeling language
- knowledge representation
- software engineering
- database design
- modeling language
- class diagram
- formal model
- software tools
- design decisions
- uml profile
- formal methods
- conceptual modeling
- software projects
- class diagrams
- object oriented
- uml class diagrams
- software artifacts
- state machine
- uml models
- artificial intelligence
- object oriented modeling
- operational semantics
- software quality
- source code
- model driven engineering
- object oriented analysis and design
- uml diagrams
- regression testing
- software design
- model driven
- distributed systems