Title

Verification Procedures Supporting Software Systems Development

Authors

Gruia-Catalin Roman, Washington University in St. Louis

Document Type

Technical Report

Publication Date

1979-06-01

Filename

WUCS-79-5.pdf

DOI:

10.7936/K7F47MFK

Technical Report Number

WUCS-79-5

Abstract

A software system development methodology is proposed. Its significance lies in the capacity to support a systematic and well-formalized error detection strategy extending from requirements definition through program implementation. A minimum set of checkpoints is suggested and verification procedures are detailed for each. The significant cost reducing potential of the approach and the way it was implemented in a production environment are also discussed.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7F47MFK

Recommended Citation

Roman, Gruia-Catalin, "Verification Procedures Supporting Software Systems Development" Report Number: WUCS-79-5 (1979). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/874