Requirements Interaction Detection Using Semi-Formal Methods.
Mohamed ShehataArmin EberleinPublished in: ECBS (2003)
Keyphrases
- formal methods
- development lifecycle
- formal analysis
- knowledge based systems
- model checking
- software engineering
- object detection
- safety critical
- formal specification
- model checker
- provably correct
- human computer interaction
- detection method
- false positives
- temporal properties
- detection algorithm
- user interaction
- artificial intelligence
- protocol specification
- relational databases