Theory and Practice of Model Transformation, Esther Guerra; Mark van den Brand

Автор: Frank Harmsen; Henderik A. Proper
Название: Practice-Driven Research on Enterprise Transformation
ISBN: 364238773X ISBN-13(EAN): 9783642387739
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Practical Experiences with Methods and Techniques.- Cases in Enterprise Transformation.- Enterprise Architecture in Practice.

Автор: Dimitris Kolovos; Manuel Wimmer
Название: Theory and Practice of Model Transformations
ISBN: 3319211544 ISBN-13(EAN): 9783319211541
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L`Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. new paradigms for model transformation; and foundations of model transformation.

Автор: Helmut A. Partsch
Название: Specification and Transformation of Programs
ISBN: 3540523561 ISBN-13(EAN): 9783540523567
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: "Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

Автор: 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.

Автор: 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.

Автор: Berthold Hoffmann; Bernd Krieg-Br?ckner
Название: Program Development by Specification and Transformation
ISBN: 354056733X ISBN-13(EAN): 9783540567332
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.

Автор: S. Abramsky; T.S.E. Maibaum
Название: TAPSOFT `91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
ISBN: 3540539816 ISBN-13(EAN): 9783540539810
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of TAPSOFT `91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD), both contained in Vol. 2.

Автор: Marie-Claude Gaudel; Jean-Pierre Jouannaud
Название: TAPSOFT `93: Theory and Practice of Software Development
ISBN: 3540566104 ISBN-13(EAN): 9783540566106
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of the conferences upon which this volume is based is to bring together theoretical computer scientists and researchers in software engineering, with a view to discussing how formal methods can be applied usefully in software development.

Автор: Laurent Fribourg; Franco Turini
Название: Logic Program Synthesis and Transformation - Meta-Programming in Logic
ISBN: 3540587926 ISBN-13(EAN): 9783540587927
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the joint proceedings of the 4th International Workshop on Logical Program Synthesis and Transformation, and the 4th Workshop on Meta-Programming, held in Pisa, Italy in June 1994.

Автор: 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.