Specification slicing in formal methods of software development.
Tomohiro OdaKeijiro ArakiPublished in: COMPSAC (1993)
Keyphrases
- formal methods
- software development
- development lifecycle
- software engineering
- formal specification
- provably correct
- artificial intelligence
- safety critical
- model checking
- model checker
- software systems
- development process
- formal analysis
- reactive systems
- software developers
- process algebra
- software projects
- software components
- knowledge based systems
- case study
- reverse engineering
- machine learning
- software quality
- software testing
- knowledge management
- object oriented
- software maintenance
- effort estimation
- relational databases
- database
- protocol specification
- formal specification language