Generative and Transformational Techniques in Software Engineering II