Generative and Transformational Techniques in Software Engineering III