research
Specifications and programs for computer software validation
- Publication date
- Publisher
Abstract
Three software products developed during the study are reported and include: (1) FORTRAN Automatic Code Evaluation System, (2) the Specification Language System, and (3) the Array Index Validation System