Описание: This first volume includes a state-of-the-art presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures.
Автор: Echahed Название: Graph Transformation ISBN: 3319405292 ISBN-13(EAN): 9783319405292 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016.
Автор: Juan de Lara; Detlef Plump Название: Graph Transformation ISBN: 331961469X ISBN-13(EAN): 9783319614694 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 14 papers presented were carefully reviewed and selected from 23 submissions.
Автор: Holger Giese; Barbara K?nig Название: Graph Transformation ISBN: 3319091077 ISBN-13(EAN): 9783319091075 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions.
Автор: Andrea Corradini; Hartmut Ehrig; Hans-J?rg Kreowsk Название: Graph Transformation ISBN: 354044310X ISBN-13(EAN): 9783540443100 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998).
Автор: Danny De Schreye Название: Logic-Based Program Synthesis and Transformation ISBN: 3642125913 ISBN-13(EAN): 9783642125911 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.
Автор: Gopal Gupta; Ricardo Pe?a Название: Logic-Based Program Synthesis and Transformation ISBN: 3319141244 ISBN-13(EAN): 9783319141244 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.
Автор: Maurizio Proietti; Hirohisa Seki Название: Logic-Based Program Synthesis and Transformation ISBN: 3319178210 ISBN-13(EAN): 9783319178219 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
Автор: 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.
Автор: Alexander Maedche; Jan vom Brocke; Alan Hevner Название: Designing the Digital Transformation ISBN: 3319591436 ISBN-13(EAN): 9783319591438 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany. The contributions are organized in topical sections named: DSR in business process management; DSR in data science and business analytics;
Автор: Kung-Kiu Lau; Timothy P. Clement Название: Logic Program Synthesis and Transformation ISBN: 3540198067 ISBN-13(EAN): 9783540198062 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sponsored by the Association for Logic Programming and ALPUK
Автор: Henderik A. Proper; Robert Winter; Stephan Aier; S Название: Architectural Coordination of Enterprise Transformation ISBN: 3319695835 ISBN-13(EAN): 9783319695839 Издательство: Springer Рейтинг: Цена: 9362.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1 Introduction.- 2 A major transformation at a global insurance company.- 3 Centralised monitoring of pensions in Greece.- 4 Enterprise coherence in the public sector.- 5 Public services opening up to innovation.- 6 Degrees of change in enterprises.- 7 Enterprise transformation from a social perspective.- 8 More than engineering; The role of subcultures.- 9 The need for a use perspective on architectural coordination.- 10 Involving the right stakeholders - Enterprise coherence governance.- 11 Information requirements for enterprise transformation.- 12 Institutionalisation of ACET - Needs and foundations.- 13 The need for model engineering.- 14 Steering transformations with architecture principles.- 15 The need for explicit decision-making strategies.- 16 ACET constructs.- 17 Transformation intelligence capability catalogue.- 18 Coherence management dashboard for ACET.- 19 Guidelines for architecture models as boundary objects.- 20 The ACET information requirements reference model.- 21 Model bundling: Componential language engineering.- 22 Principle-based goal-oriented requirements language.- 23 The EA Anamnesis approach.- 24 Formalising enterprise architecture decision models.- 25 Situational adaptations of ACET.- 26 Conclusion and reflections.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
