Reliable Software Systems Design: Defect Prevention, Detection, and Containment

The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the number of residual defects in software products. Reducing residual defects is of course not in itself the objective of this exercise; the true objective is to reduce the number of failures in the use of software products. Or in other words: the objective is the development of a methodology for “reliable software systems design.”

• Type: Conference
• Year: 2005
• Where: VSTTE
• Authors: Gerard J. Holzmann, Rajeev Joshi
• Keywords: Methodology, Residual Defects, Software Engineering, Software Products, VSTTE 2005