This paper reports on efforts to extend the Transrormational Implementation (TI) model of Sortware Development [I]. In particular, we describe a system that uses AI techniques to automate major portions or a transformational implementation. The work has focused on the formalization or 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.