A system for reliable engineering software
L. M. Culpepper · ACM SIGPLAN Notices · 1975
Much of the software developed to support engineering design calculations is produced by persons whose primary job skill is not that of computer scientist. Software validation techniques suitable for use by these engineer-programmers have been under investigation by the Navy as part of a project designed to increase the reliability, usability, and portability of engineering design software. The results of the project are summarized and a software validation tool is described.