Document Type
Technical Report
Publication Date
1979-06-01
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.
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
COinS
Comments
Permanent URL: http://dx.doi.org/10.7936/K7F47MFK