Issue No.11 - November (1985 vol.11)
S.F. Fickas , Department of Computer Science, University of Oregon
This paper reports on efforts to extend the transformational implementation (TI) model of software development . In particular, we describe a system that uses AI techniques to automate major portions of a transformational implementation. The work has focused on the formalization of the goals, strategies, selection rationale, and finally the transformations used by expert human developers. A system has been constructed that includes representations for each of these problem-solving components, as well as machinery for handling human-system interaction and problem-solving control. We will present the system and illustrate automation issues through two annotated examples.
program transformation systems, Knowledge-based software development
S.F. Fickas, "Automating the Transformational Development of Software", IEEE Transactions on Software Engineering, vol.11, no. 11, pp. 1268-1277, November 1985, doi:10.1109/TSE.1985.231878