Lockheed Environment For Automatic Programming

Publisher Website

1 January 1991

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

No. 10683062,p. 68-76
https://doi.org/10.1109/kbse.1991.638022

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Automatic programming technologies for avionics software (APTAS)
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
KIDS: a semiautomatic program development system
IEEE Transactions on Software Engineering, 1990
Automatic programming: myths and prospects
Computer, 1988
More thoughts on specification and verification
ACM SIGSOFT Software Engineering Notes, 1981