High-Quality Software Through Semiformal Specification and Verification

Authors:
Allan M. Stavely
Affiliations:
-
Venue:
CSEET '99 Proceedings of the 12th Conference on Software Engineering Education and Training
Year:
1999

Citing 0
Cited 2

Formal Methods: Mathematics, Computer Science, or Software Engineering?

CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Teaching specification and verification of event-driven programs using cleanroom software engineering

Proceedings of the 2nd annual conference on Mid-south college computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Semiformal specification and verification in the style of the Cleanroom method, combined with testing, have proven to be exceptionally effective in reducing the number of defects in software, as well as being cost-effective in practice. A course based on these principles is described, and results of class projects and projects by graduates of the course are presented. These results provide evidence that Cleanroom techniques as adapted for the course are indeed effective, and that these techniques can be taught successfully even to undergraduates.