Bibliography

1

Edmund M. Clarke, Jeanette M. Wing, and et. al.
Formal methods: State of the art and future directions.
ACM Computing Surveys, 28(4es):626-643, December 1996.

2

Henson Graves.
Interactive design in LEAP.
In Proc. 91 AAAI workshop on Automating Software Design, 1991.

3

Henson Graves.
Lockheed environment for automatic programming.
IEEE Expert, 7(6):15-25, December 1992.

4

Henson Graves, Joe Louie, and Tracy Mullen.
A code synthesis experiment.
In 7th Knowledge-Based Software Engineering Conference (KBSE-92). IEEE Computer Society Press, September 1992.

5

Henson Graves and Wolfgang Polak.
Common intermediate design language.
In Hawaii International Conference on System Sciences, January 1992.

6

D. Harel.
Statecharts: a visual approach to complex systems.
Science of Computer Programming, 8(3):231-274, 1987.

1

D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, and A. Shtul-Trauring.
STATEMATE; a working environment for the development of complex reactive systems.
In Proceedings of the 10th International Conference on Software Engineering, pages 396-406, Singapore, April 1988. IEEE Computer Society Press.

8

J. Williamson, P. Jensen, L. Ogata, and H Graves.
Automatic programming technologies for avionics software (APTAS).
In Proceedings of the 9th Digital Avionics Systems Conference, pages 101-106. IEEE, 1990.