Correctness of Software - An Overview.
Helmut K. BergWilliam R. FrantaThomas G. MoherPublished in: The Use of Formal Specification of Software (1979)
Keyphrases
- software development
- software tools
- software maintenance
- software systems
- software architecture
- hardware design
- data sets
- software packages
- software package
- software developers
- personal computer
- software projects
- development process
- test cases
- computer systems
- user interface
- search algorithm
- learning environment
- multi agent
- decision trees
- machine learning