Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.
Thomas RuhrothHendrik VoigtHeike WehrheimPublished in: EUROMICRO-SEAA (2009)
Keyphrases
- high quality
- software development
- neural network
- formal models
- complex systems
- probabilistic model
- reactive systems
- formal specification
- prior knowledge
- similarity measure
- control system
- distance measure
- model selection
- parameter estimation
- fault diagnosis
- formal model
- mathematical models
- software tools
- parametric models
- higher quality
- software quality
- quality assurance
- website
- artificial intelligence