From Rigorous Requirements Engineering to Formal System Design.
Christophe PonsardPhilippe MassonetGautier DallonsPublished in: ERCIM News (2008)
Keyphrases
- requirements engineering
- requirements specification
- goal oriented
- systems engineering
- software engineering
- systems development
- development process
- requirements engineering process
- formal methods
- expert systems
- database systems
- case study
- information systems
- design process
- software development
- high level
- automotive industry
- requirements elicitation
- decision making