Preface to the special section on improving software quality through formal methods.
Yliès FalconeLeonardo MarianiPublished in: Softw. Qual. J. (2020)
Keyphrases
- formal methods
- special section
- software quality
- software engineering
- software development
- software systems
- software projects
- software product
- quality assurance
- development process
- special issue
- safety critical
- artificial intelligence
- formal analysis
- knowledge based systems
- formal specification
- life cycle
- software quality classification
- development lifecycle
- product quality
- model checking
- software industry
- software reuse
- object oriented
- award winning
- source code
- attribute selection
- expert systems
- high level
- software metrics
- decision making
- component based development
- databases