DTIC ADA1023615: Design Specification Validation pdf

DTIC ADA1023615: Design Specification Validation

More Book Details

Description of the Book:

This report documents research concerning the feasibility of validating formal software specification. The one year effort attempted to show that with a suitable formal software specification language, specifications could be validated in the same manner as computer designs are currently tested

• Creator/s: Defense Technical Information Center
• Date: 6/1/1981
• Year: 1981
• Book Topics/Themes: DTIC Archive, Blazer, Robert M, UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST, *SPECIFICATIONS, *PARAMETERS, *COMPUTER PROGRAMMING, *COMPUTER PROGRAM VERIFICATION, COMPUTER PROGRAMS, REQUIREMENTS, PROGRAMMING LANGUAGES, TEST METHODS, DYNAMIC PROGRAMMING

An excerpt captured from the PDF book