Theory and Practice of Model Transformations, Dimitris Kolovos; Manuel Wimmer

Автор: Van Gorp
Название: Theory and Practice of Model Transformations
ISBN: 3319420631 ISBN-13(EAN): 9783319420639
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.

Автор: Richard F. Paige
Название: Theory and Practice of Model Transformations
ISBN: 3642024076 ISBN-13(EAN): 9783642024078
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Second International Conference ICMT 2009 Zrich Switzerland June 2930 2009 Proceedings. .

Автор: Laurence Tratt; Martin Gogolla
Название: Theory and Practice of Model Transformations
ISBN: 3642136877 ISBN-13(EAN): 9783642136870
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Model transformations are the glue that tie modelling activities together. Model transformations have humble beginnings-at one point, not long ago, it was said by many `in the know` that the way forward in model transformations was to use XSLT.

Автор: Duddy Keith
Название: Theory and Practice of Model Transformations
ISBN: 3642388825 ISBN-13(EAN): 9783642388828
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.

Автор: Davide Di Ruscio; D?niel Varr?
Название: Theory and Practice of Model Transformations
ISBN: 3319087886 ISBN-13(EAN): 9783319087887
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014.

Автор: Esther Guerra; Mark van den Brand
Название: Theory and Practice of Model Transformation
ISBN: 331961472X ISBN-13(EAN): 9783319614724
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions.

Автор: Hartmut Ehrig; Reiko Heckel; Grzegorz Rozenberg; G
Название: Graph Transformations
ISBN: 3540874046 ISBN-13(EAN): 9783540874041
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. This title addresses various aspects in graph drawing including hypergraphs and termgraph rewriting, applications of graph transformation, compositional systems, and validation and verification.

Автор: Andy Sch?rr; Manfred Nagl; Albert Z?ndorf
Название: Applications of Graph Transformations with Industrial Relevance
ISBN: 354089019X ISBN-13(EAN): 9783540890195
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. This book presents the organized papers in topical sections on graph transformation applications, meta-modeling and domain-specific language, and dynamic system modeling.

Автор: Jean-Francois Collard
Название: Reasoning About Program Transformations
ISBN: 1441929819 ISBN-13(EAN): 9781441929815
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines--frameworks we inherited from designs made decades ago. The reasons are manyfold, but one of them stands out: The same concepts have been used, on the one hand, to represent and manipulate programs internally in compilers and, on the other hand, to allow us humans to reason about optimizations. Unfortunately, these two uses have different aims and constraints. An example of such a situation is given by control-?ow graphs of basic blocks, which have been - tremely useful in practice as an internal representation of programs, but which are not always adequate or convenient to formally think about programs and specify their transformations. In some cases, de?nitions based on control-?ow graphs can be overly restrictive. Dominance, studied in Chapter 4, is a good example.