Transformation Techniques in Software Engineering