Formal methods - Support or scientific decoration in software development?
Tomasz SzmucMarcin SzpyrkaPublished in: MIXDES (2015)
Keyphrases
- formal methods
- software development
- development lifecycle
- software engineering
- safety critical
- model checking
- knowledge based systems
- process algebra
- formal analysis
- knowledge management
- software systems
- formal specification
- security properties
- artificial intelligence
- decision support
- fine grained
- database
- software testing
- knowledge acquisition
- software development environment