Interform: a CAD system for program development

Authors:
L. D. I. Serbanati
Affiliations:
Computer Chair, Polytechnical Institute of Bucharest, 313, Spl. Independentei, 77206 Bucharest, Romania
Venue:
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Year:
1987

Citing 4
Cited 0

The Cornell program synthesizer: a syntax-directed programming environment

Communications of the ACM
The paradigms of programming

Communications of the ACM
Symbolic execution and program testing

Communications of the ACM
The Science of Programming

The Science of Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Based on a theoretical approach, we tried to implement a system for assistance to a programmer during the most difficult phase of the programming activity: software design. As we carried out the system project, it become apparent that the system could encompass more than just program design. In the paper, the main ideas of the theoretical approach are outlined. Briefly described is the state-oriented architecture of the system. The system structure is also presented.