Teaching specification and verification of event-driven programs using cleanroom software engineering

Authors:
Gabriel J. Ferrer
Affiliations:
Hendrix College, Conway, AR
Venue:
Proceedings of the 2nd annual conference on Mid-south college computing
Year:
2004

Citing 7
Cited 0

An integrated approach to software engineering

An integrated approach to software engineering
Cleanroom Process Model

IEEE Software
Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process
UML distilled (2nd ed.): a brief guide to the standard object modeling language

UML distilled (2nd ed.): a brief guide to the standard object modeling language
Toward Zero-Defect Programming

Toward Zero-Defect Programming
High-Quality Software Through Semiformal Specification and Verification

CSEET '99 Proceedings of the 12th Conference on Software Engineering Education and Training
Controlling Software Projects: Management, Measurement, and Estimates

Controlling Software Projects: Management, Measurement, and Estimates

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software verification, the process of ensuring that a software artifact meets its specification, is both difficult to perform and difficult to teach. The two principal techniques for software verification are correctness proving and testing. While a correctness proof can demonstrate conclusively that a software artifact meets its specification for all inputs, correctness proving is a difficult, tedious, and error-prone activity [1]. Hence, most software engineers rely in practice upon testing as the primary means of ensuring that a software artifact meets its specification.