Generative and Transformational Techniques in Software by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva

By João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva

This educational ebook offers revised and prolonged lecture notes for a variety of the contributions awarded on the foreign summer season college on Generative and Transformational concepts in software program Engineering (GTTSE 2009), which used to be held in Braga, Portugal, in July 2009. The sixteen articles contain 7 lengthy tutorials, 6 brief tutorials and three contributors contributions; they make clear the iteration and transformation of courses, info, versions, metamodels, documentation, and full software program structures. the themes lined comprise software program opposite and re-engineering, version pushed engineering, computerized software program engineering, ordinary language expertise, and software program language engineering.

Show description

Read or Download Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised ... Programming and Software Engineering) PDF

Best compilers books

Constraint Databases

This booklet is the 1st complete survey of the sector of constraint databases. Constraint databases are a reasonably new and lively zone of database learn. the main thought is that constraints, akin to linear or polynomial equations, are used to symbolize huge, or maybe countless, units in a compact method.

Principles of Program Analysis

Application research makes use of static ideas for computing trustworthy information regarding the dynamic habit of courses. functions contain compilers (for code improvement), software program validation (for detecting blunders) and alterations among info illustration (for fixing difficulties corresponding to Y2K). This booklet is exclusive in offering an summary of the 4 significant methods to application research: facts move research, constraint-based research, summary interpretation, and sort and impression platforms.

R for Cloud Computing: An Approach for Data Scientists

R for Cloud Computing appears to be like at a few of the projects played by way of enterprise analysts at the laptop (PC period) and is helping the consumer navigate the wealth of data in R and its 4000 programs in addition to transition an identical analytics utilizing the cloud. With this data the reader can pick out either cloud owners and the occasionally complicated cloud surroundings in addition to the R programs that may aid technique the analytical initiatives with minimal attempt, rate and greatest usefulness and customization.

Additional info for Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised ... Programming and Software Engineering)

Sample text

Cordy [program] [expression] [expression] [expression] + [term] [primary] + [term] [term] [primary] [primary] [number] 17 [number] 5 [number] 31 Fig. 4. Parse tree for the expression 31+5+17 according to the example grammar input according to the grammar. Figure 4 shows the parse tree resulting from the input of the numeric expression “31+5+17” to a TXL program using the TXL grammar shown above. All pattern matching and transformation operations in TXL rules and functions work on the parse tree.

In fact, even subtler problems can appear with product line refactoring tools. The ideas formalized here capture previous practical experience on product line refactoring [ACV+ 05, AJC+ 05, TBD06, KAB07], including development and use of a product line refactoring tool [CBS+ 07, ACN+ 08]. However, much still has to be done to better evaluate our approach and adapt existing processes and tools for product line refactoring. Besides working towards a comprehensive refactoring catalogue, we hope to formally prove soundness and study completeness of product line transformations for the notations we use here for feature models and configuration knowledge.

Grm" For example, while the TIL begin-end extension is independent of the grammatical forms of TIL other than the [statement] form it is extending, in the arrays extension of Figure 12, [expression] and [name] refer to existing grammatical types of TIL. Paradigm. Preferential ordering of grammatical forms. In the begin-end extension the new form is listed as the last alternative, indicating a simple extension that adds to the existing language. When the new forms should be used in preference to existing ones, as in the arrays example, the new form is given as the first alternative and the existing alternatives are listed below, as in the [declaration] and [primary] redefinitions in the arrays extension of TIL: redefine declaration ’var [name] [opt subscript] ’; | ...

Download PDF sample

Rated 4.13 of 5 – based on 32 votes