Accession Number:

ADA025117

Title:

Imprecise Program Specification

Descriptive Note:

Research rept.

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Personal Author(s):

Report Date:

1975-12-01

Pagination or Media Count:

30.0

Abstract:

The first section of this report attempts to characterize the field of automatic programming through a general model describing the stages and processing required. The second discusses a particular project as a specialization of the general model. The final section focuses on the problem of imprecise specifications and how they can be understood.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE