The Community for Technology Leaders
Green Image
Issue No. 11 - November (1985 vol. 11)
ISSN: 0098-5589
pp: 1268-1277
S.F. Fickas , Department of Computer Science, University of Oregon
ABSTRACT
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
CITATION
S.F. Fickas, "Automating the Transformational Development of Software", IEEE Transactions on Software Engineering, vol. 11, no. , pp. 1268-1277, November 1985, doi:10.1109/TSE.1985.231878
93 ms
(Ver 3.3 (11022016))