Generative and Transformational Techniques in Software Engineering II

This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.

The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in Braga, Portugal, during July 27, 2007. This volume contains an augmented selection of the material presented at the school, including full tutorials, short tutorials, and contributions to the participants workshop. The GTTSE summer school series brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, metamodels, documentation, and entire software systems. This concerns many areas of software engineering: software reverse and re-engineering, model-driven engineering, automated software engineering, generic language technology, to name a few. These areas di?er with regard to the speci?c sorts of metamodels (or grammars, schemas, formats etc.) that underlie the involved artifacts, and with regard to the speci?c techniques that are employed for the generation and the transformation of the artifacts. The ?rst instance of the school was held in 2005 and its proceedings appeared as volume 4143 in the LNCS series.

Inhalt
Full Tutorials.- Design Space of Heterogeneous Synchronization.- Software Reuse beyond Components with XVCL (Tutorial).- .QL: Object-Oriented Queries Made Easy.- Transforming Data by Calculation.- How to Write Fast Numerical Code: A Small Introduction.- A Gentle Introduction to Multi-stage Programming, Part II.- WebDSL: A Case Study in Domain-Specific Language Engineering.- Short Tutorials.- Model-Driven Engineering of Rules for Web Services.- An Introduction to Context-Oriented Programming with ContextS.- A Landscape of Bidirectional Model Transformations.- Evolving a DSL Implementation.- Adding Dimension Analysis to Java as a Composable Language Extension.- Participants Contributions.- Model Transformations for the Compilation of Multi-processor Systems-on-Chip.- Implementation of a Finite State Machine with Active Libraries in C++.- Automated Merging of Feature Models Using Graph Transformations.- Modelling the Operational Semantics of Domain-Specific Modelling Languages.