From requirements to specifications: a formal approach.
Zhi LiJon G. HallLucia RapanottiPublished in: IWAAPF@ICSE (2006)
Keyphrases
- requirements specification
- functional requirements
- formal specification
- requirements engineering
- written in natural language
- software requirements
- software engineering
- formal language
- specification language
- artificial intelligence
- reactive systems
- real world
- high level
- software systems
- design requirements
- user requirements
- machine learning
- operational semantics
- formal descriptions
- delay insensitive
- formal methods
- real time systems
- formal analysis
- formal semantics
- databases
- development process
- relational databases
- case study
- social networks
- data mining
- neural network