Title: Generative and Transformational Techniques in Software Engineering IV
Description: This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2011. The school presents the state of the art in software languagae engineering and generative and transformational techniques in software engineering with coverage of foundations, methods, tools, and case studies.
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Software engineering, Software Engineering/Programming and Operating Systems, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Computer programming