Technical Report Number
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.
Roman, Gruia-Catalin, "Verification Procedures Supporting Software Systems Development" Report Number: WUCS-79-5 (1979). All Computer Science and Engineering Research.
Permanent URL: http://dx.doi.org/10.7936/K7F47MFK