Imprecise Program Specification
UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST
Pagination or Media Count:
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.
- Computer Programming and Software