A system for reliable engineering software

Authors:
L. M. Culpepper
Affiliations:
Naval Ship Research and Development Center
Venue:
Proceedings of the international conference on Reliable software
Year:
1975

Citing 2
Cited 1

Compiler Construction for Digital Computers

Compiler Construction for Digital Computers
Control flow analysis

Proceedings of a symposium on Compiler optimization

Teaching and learning computer programming: a survey of student problems, teaching methods, and automated instructional tools

ACM SIGCSE Bulletin

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.