Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development?
Thomas KropfPublished in: CAV (2007)
Keyphrases
- formal methods
- software development
- development lifecycle
- software engineering
- safety critical
- software systems
- software projects
- formal analysis
- software developers
- development process
- software maintenance
- software architecture
- software design
- software quality
- knowledge based systems
- software components
- model checking
- artificial intelligence
- formal specification
- source code
- software testing
- process algebra
- software evolution
- reactive systems
- design patterns
- database
- requirements engineering
- case study
- extreme programming
- security properties
- effort estimation
- formal specification language
- object oriented
- software process
- root cause
- knowledge acquisition