KORSO - Korrekte Software durch formale Methoden.
Manfred BroyStefan JähnichenPublished in: Inform. Forsch. Entwickl. (1997)
Keyphrases
- software development
- software systems
- software package
- user interface
- source code
- software tools
- software packages
- computer systems
- software architecture
- development process
- software process
- software evolution
- software testing
- software design
- data flow
- software projects
- knowledge base
- test cases
- mobile robot
- digital libraries