Formale Methoden zur Erstellung robuster Software.
Eike BestPublished in: Software-Fehlertoleranz und -Zuverlässigkeit (1984)
Keyphrases
- software systems
- user interface
- software tools
- information retrieval
- software architecture
- software development
- hardware design
- software maintenance
- hidden markov models
- data structure
- source code
- real time
- data processing
- similarity measure
- case study
- software components
- decision trees
- artificial intelligence
- modeling language
- software design
- software package
- data sets