A formal approach to software error removal

The Journal of Systems and Software

Volumn 7, Issue 2, 1987, Pages 109-114

  Dyer, Michael ^a  

^a Loral Corp   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; STATISTICAL METHODS - APPLICATIONS;

CLEANROOM DEVELOPMENT METHOD; FUNCTIONAL VERIFICATION; SOFTWARE ERROR PREVENTION; SOFTWARE ERROR REMOVAL;

COMPUTER SOFTWARE;

EID: 0023363063     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(87)90015-X     Document Type: Article

References (16)

1. Optimizing Preventive Service Of Software Products
2. Developing Small Scale Application Software Product: Some Experimental Results
3. Certifying the Reliability of Software
4. An Evaluation of Random Testing
5. Inspection Data Analysis Section
6. Design and Code Inspections to Reduce Errors in Program Development
7. Functional Testing Chapter
8. Cleanroom Test Case Generator
9. Measuring Programming Quality and Productivity
10. Software Engineering for Highly Available Systems
11. Cleanroom Software Development: An Empirical Evaluation
12. Communicating Modules: a Software Design Model