Formal Methods in Software Development: Requirements for a CASE.
Dines BjørnerSøren PrehnPublished in: Software Development Environments and CASE Technology (1991)
Keyphrases
- formal methods
- development lifecycle
- software development
- software engineering
- formal analysis
- model checking
- formal specification
- safety critical
- provably correct
- artificial intelligence
- knowledge based systems
- software design
- process algebra
- black box
- databases
- development process
- case study
- embedded systems
- software developers
- modeling language
- software testing
- requirements engineering
- model checker
- development effort