Guest Editorial: Special Issue on Model Checking in Requirements Engineering.
Steve M. EasterbrookMarsha ChechikPublished in: Requir. Eng. (2002)
Keyphrases
- special issue
- model checking
- requirements engineering
- temporal logic
- software engineering
- life cycle
- software development
- goal oriented
- temporal properties
- formal specification
- international journal
- ai edam
- ecml pkdd
- formal verification
- automated verification
- model checker
- requirements engineering process
- computation tree logic
- timed automata
- development process
- verification method
- symbolic model checking
- business process
- formal methods
- epistemic logic
- transition systems
- reactive systems
- security requirements
- information systems
- expert systems
- artificial intelligence
- database