Self-adaptive software needs quantitative verification at runtime.
Radu CalinescuCarlo GhezziMarta Z. KwiatkowskaRaffaela MirandolaPublished in: Commun. ACM (2012)
Keyphrases
- formal methods
- source code
- software maintenance
- commercial software
- software development
- computer systems
- software systems
- software architecture
- software tools
- neural network
- hardware designs
- formal verification
- software developers
- personal computer
- data mining
- qualitative and quantitative
- model checking
- user interface
- software package
- software evolution
- software packages
- website
- data sets
- high assurance