Quality Improvement of Requirements Specification using Model Checking Technique.
Yoshitaka AokiShinpei OgataHirotaka OkudaSaeko MatsuuraPublished in: ICEIS (2) (2012)
Keyphrases
- quality improvement
- model checking
- requirements specification
- specification language
- formal specification
- requirements engineering
- temporal logic
- software engineering
- quality assurance
- model checker
- formal verification
- software requirements
- automated verification
- temporal properties
- software systems
- bounded model checking
- development process
- quality control
- transition systems
- symbolic model checking
- software development
- image processing
- epistemic logic
- computation tree logic
- product quality
- formal methods
- verification method
- goal oriented
- life cycle
- programming language
- systems development
- general purpose
- cooperative
- information systems