Semantics: Foundations and Applications, J.W.de Bakker; W.-P.de Roever; G. Rozenberg

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

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

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

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

Автор: Stephen Brookes; Michael Main; Austin Melton; Mich
Название: Mathematical Foundations of Programming Semantics
ISBN: 3540580271 ISBN-13(EAN): 9783540580270
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of conference proceedings focuses on the semantics of programming languages and the mathematics which support the study of semantics. Current research is also presented on denotational semantics and the application of semantics to category theory, logic and lattice theory.

Автор: Ribeiro
Название: Formal Methods: Foundations and Applications
ISBN: 3319498142 ISBN-13(EAN): 9783319498140
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;

Автор: M?rcio Corn?lio; Bill Roscoe
Название: Formal Methods: Foundations and Applications
ISBN: 3319294725 ISBN-13(EAN): 9783319294728
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking;

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

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

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

Автор: Pieter Van Gorp; Tom Ritter; Louis M Rose
Название: Modelling Foundations and Applications
ISBN: 3642390129 ISBN-13(EAN): 9783642390128
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling.

Автор: Lano
Название: UML 2 Semantics and Applications
ISBN: 0470409088 ISBN-13(EAN): 9780470409084
Издательство: Wiley
Рейтинг:
Цена: 19317.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With an up-to-date view of the results of UML semantics and the practical applications of semantics development, this book presents the only coherent and integrated account of the leading UML 2 semantics work and its applications.