Title :
A Strategy For Semi-automatic Program Development
Author :
Goldberg, Allen ; Jüllig, Richard
Author_Institution :
University of California
Keywords :
Automatic control; Automatic programming; Contracts; Control systems; Data structures; Formal specifications; Knowledge based systems; Knowledge engineering; Milling machines; Productivity;
Conference_Titel :
Circuits, Systems and Computers, 1985. Nineteeth Asilomar Conference on
Conference_Location :
Pacific Grove, CA,USA
Print_ISBN :
0-8186-0729-7
DOI :
10.1109/ACSSC.1985.671507