Modelling Foundations and Applications, Pieter Van Gorp; Tom Ritter; Louis M Rose

Автор: Jordi Cabot; Julia Rubin
Название: Modelling Foundations and Applications
ISBN: 3319091948 ISBN-13(EAN): 9783319091945
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions.

Автор: Gabriele Taentzer; Francis Bordeleau
Название: Modelling Foundations and Applications
ISBN: 3319211501 ISBN-13(EAN): 9783319211503
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t.

Автор: Ina Schieferdecker; Alan Hartman
Название: Model Driven Architecture - Foundations and Applications
ISBN: 3540690956 ISBN-13(EAN): 9783540690955
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology.

Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock
Название: Formal Methods: Foundations and Applications
ISBN: 3642104517 ISBN-13(EAN): 9783642104510
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.

Автор: Alex T. Borgida; Vinay Chaudhri; Paolo Giorgini; E
Название: Conceptual Modeling: Foundations and Applications
ISBN: 3642024629 ISBN-13(EAN): 9783642024627
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Published in honor of John Mylopoulos on his retirement from the University of Toronto, this Festschrift volume contains 25 high-quality papers, written by leading scientists in the field of conceptual modeling and covering a wide variety of relevant topics.

Автор: Milazzo
Название: Software Technologies: Applications and Foundations
ISBN: 3319502298 ISBN-13(EAN): 9783319502298
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.

Название: Behavior modeling -- foundations and applications
ISBN: 3319219111 ISBN-13(EAN): 9783319219110
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014. new ways of behaviour modelling: events in modelling;

Автор: Rachid Guerraoui; Paolo Romano
Название: Transactional Memory. Foundations, Algorithms, Tools, and Applications
ISBN: 3319147196 ISBN-13(EAN): 9783319147192
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations.- Programming language integration and verification tools.- Hardware supports.- Distributed TM systems.- Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications.

Автор: Christiano Braga; Narciso Mart?-Oliet
Название: Formal Methods: Foundations and Applications
ISBN: 331915074X ISBN-13(EAN): 9783319150741
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions.

Автор: Thomas K?hne; Bran V. Selic; Marie-Pierre Gervais;
Название: Modelling Foundations and Applications
ISBN: 3642135943 ISBN-13(EAN): 9783642135941
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010.

Автор: W?sowski
Название: Modelling Foundations and Applications
ISBN: 3319420607 ISBN-13(EAN): 9783319420608
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as multi- and many models, language engineering, UML and meta-modeling, experience reports and case studies, and variability and uncertainty.

Автор: Anthony Anjorin; Hu?scar Espinoza
Название: Modelling Foundations and Applications
ISBN: 3319614819 ISBN-13(EAN): 9783319614816
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions.