This Article 
 Bibliographic References 
 Add to: 
November 1985 (vol. 11 no. 11)
pp. 1268-1277
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 [1]. 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.
Index Terms:
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, Nov. 1985, doi:10.1109/TSE.1985.231878
Usage of this product signifies your acceptance of the Terms of Use.