From Goal-Oriented Requirements to Event-B Specifications.
Benjamin AzizAlvaro ArenasJuan BicarreguiChristophe PonsardPhilippe MassonetPublished in: NASA Formal Methods (2009)
Keyphrases
- goal oriented
- requirements analysis
- requirements engineering
- requirements specification
- class diagram
- functional requirements
- software requirements
- process oriented
- written in natural language
- event detection
- delay insensitive
- software systems
- data marts
- high level
- case study
- user requirements
- application specific
- event recognition
- end users
- video sequences
- data sets