Correctness by Construction: Towards Verification in Hierarchical System Development.
Mila E. Majster-CederbaumFrank SalgerPublished in: SPIN (2000)
Keyphrases
- data sets
- development environment
- coarse to fine
- construction industry
- development process
- information processing
- knowledge based systems
- mobile devices
- case study
- probabilistic model
- software engineering
- multi agent systems
- design process
- model checking
- hierarchical structure
- information retrieval
- rapid development
- machine learning
- hierarchical classification
- formal verification
- database