Generative and Transformational Techniques in Software by Don Batory (auth.), Ralf Lämmel, João Saraiva, Joost Visser

By Don Batory (auth.), Ralf Lämmel, João Saraiva, Joost Visser (eds.)

This instructional booklet offers an augmented number of the fabric awarded on the overseas summer time institution on Generative and Transformational thoughts in software program Engineering, GTTSE 2005, held in Braga, Portugal, in July 2005.

The 7 instructional lectures awarded including eight know-how shows and six contributions to the contributors workshop have been conscientiously chosen in the course of a number of rounds of reviewing and development. The tutorials given via well known representatives of complementary techniques and challenge domain names mix foundations, equipment, examples, and gear help. They care for the subsequent matters: characteristic orientated programming and the forward software suite; version pushed engineering; software transformation with mirrored image and aspect-oriented programming; the transformational method of database engineering; application optimizations and ameliorations in calculation shape; mappings in facts processing; and using graph changes for version refactoring.

Show description

Read Online or Download Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers PDF

Best technique books

North American Sabre Jet F-86D/K/L Part One: Design / Structure / Testing (Air Force Legends Number 202)

;North American Sabre Jet F-86D/K/L half One: layout / constitution / trying out (Air strength Legends quantity 202) ВОЕННАЯ ИСТОРИЯ,ТЕХНИКА Название: North American Sabre Jet F-86D/K/L half One: layout / constitution / checking out (Air strength Legends quantity 202)Автор: Ray WagnerИздательство: Ginter BooksISBN: 094261299XГод: 1999Страниц: 100Формат: PDF в RARРазмер: 124.

Petroleum Production Systems

Written through petroleum construction engineers with wide commercial in addition to educating event, this is often the single on hand complicated and complete engineering textbook for petroleum reservoir and creation engineering. offers vast assurance of good deliverability from oil, fuel and two-phase reservoirs, wellbore circulate functionality, sleek good try out and construction log research, matrix stimulation, hydraulic fracturing, synthetic raise and environmental matters.

Extra info for Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

Sample text

38 J. Bézivin Historically in year 2000, the MDA had a specific goal: preserving the IT investments of companies through the constant and rapid evolution of platforms. At that time the middleware and the component solutions alone were no more in a position to achieve this goal. The proposal was thus to capture in PIMs (Platform Independent Models) the part of the investment that should not be affected by major or minor changes in platforms. The idea was then that it should be possible, by some means, to generate PSMs (Platform Specific Models) from these PIMs.

6 Summary The basic assumption in MDE is the consideration of models as first class entities. A model is an artifact that conforms to a metamodel and that represents a given aspect of a system. These relations of conformance and representation are central to model engineering [7]. A model is composed of model elements and conforms to a unique metamodel. This metamodel describes the various kinds of contained model elements and the way they are arranged, related, and constrained. A language intended to define metamodels and models is called a metametamodel.

Jak // see Figure 9a // see Figure 9b [13] What is a guidsl model of L? 1 Multi-dimensional Models and Origami There remains a fundamental relationship among the features of L that we have not yet captured. Consider the following incorrect compositions: error1 = dbl•sgldel•sgl error2 = dbldel•sgldel•sgl Both define programs that are partially and thus incorrectly implemented. error1 is a program whose insert method works on a doubly-linked list, but whose delete method works only on a singly-linked list.

Download PDF sample

Rated 4.80 of 5 – based on 36 votes