Generative and Transformational Techniques in Software Engineering IV

Generative and Transformational Techniques in Software Engineering IV
About this book
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.
Details
- OL Work ID
- OL19852379W
Subjects
Mathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware Engineering/Programming and Operating SystemsLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersComputer programming