Desiree - a Refinement Calculus for Requirements Engineering.
Feng-Lin LiJohn MylopoulosPublished in: CoRR (2016)
Keyphrases
- requirements engineering
- software engineering
- goal oriented
- life cycle
- systems engineering
- software development
- requirements specification
- automotive industry
- software intensive systems
- requirements engineering process
- requirements elicitation
- systems development
- development process
- security requirements
- business process
- software process
- software requirements
- activity diagrams
- information systems
- literature review