KORSO: Das Verbundprojekt "Korrekte Software".
Heinrich HußmannJacques LoeckxWolfgang ReifPublished in: GI Jahrestagung (1993)
Keyphrases
- software systems
- software development
- source code
- user interface
- software testing
- software maintenance
- software tools
- software packages
- artificial intelligence
- computer systems
- test cases
- learning algorithm
- machine learning
- databases
- software design
- computer software
- software application
- software package
- multiscale
- knowledge base
- neural network