From Informal Requirements to Property-Driven Formal Validation.
Alessandro CimattiMarco RoveriAngelo SusiStefano TonettaPublished in: FMICS (2008)
Keyphrases
- user requirements
- case study
- data driven
- formal model
- desirable properties
- genetic algorithm
- database systems
- application specific
- formal and informal learning
- real time
- formal representation
- operational semantics
- informal learning
- real time systems
- functional requirements
- general purpose
- e learning
- computer vision
- databases