Requirements Level Semantics for UML Statecharts.
Rik EshuisRoel J. WieringaPublished in: FMOODS (2000)
Keyphrases
- class diagrams
- uml models
- uml class diagrams
- class diagram
- formal methods
- conceptual modeling
- sequence diagrams
- object oriented
- database design
- specification language
- uml activity diagrams
- higher level
- regression testing
- formal semantics
- semantic information
- requirements analysis
- tool support
- unified modeling language