Using Formal Composition of Use Cases in Requirements Engineering.
Rabeb MizouniAziz SalahRachida DssouliPublished in: SEKE (2007)
Keyphrases
- requirements engineering
- requirements specification
- software engineering
- systems engineering
- life cycle
- goal oriented
- software development
- automotive industry
- requirements elicitation
- development process
- business process
- software requirements
- software intensive systems
- activity diagrams
- requirements analysis
- requirements engineering process
- software process
- systems development
- formal model
- security requirements
- literature review
- formal specification
- software architecture
- legal argument
- high level
- data sets
- database