SPECS: Formal methods and techniques for telecommunications software development.
Michel DauphinPublished in: Microprocess. Microprogramming (1992)
Keyphrases
- formal methods
- software development
- software engineering
- development lifecycle
- formal analysis
- knowledge based systems
- software systems
- model checking
- formal specification
- model checker
- case study
- software architecture
- process algebra
- software projects
- software developers
- development process
- temporal properties
- telecommunications industry
- artificial intelligence
- software components
- safety critical
- provably correct
- software testing
- design patterns
- reverse engineering
- effort estimation
- agile software development
- software evolution