CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects.
Ivonne ErfurthWilhelm R. RossakPublished in: ICSE (2) (2010)
Keyphrases
- dynamic aspects
- requirements specification
- formal methods
- object oriented
- database design
- tool support
- functional requirements
- uml models
- real time
- dynamic environments
- software engineering
- requirements engineering
- data sets
- conceptual models
- specification language
- user requirements
- special features
- software requirements