Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Lm̃mel, Ralf. (Editor), Saraiva, Joô. (Editor), Visser, Joost. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7680
• Subjects: Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Mathematical Logic and Formal Languages.; Software Engineering/Programming and Operating Systems.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-35992-7
• Physical Description: XII, 449 p. 112 illus. online resource.
• ISBN: 9783642359927
• ISSN: 0302-9743

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.