Formal Methods and Software Engineering, Kazuhiro Ogata; Mark Lawford; Shaoying Liu

Автор: Karin Breitman; Ana Cavalcanti
Название: Formal Methods and Software Engineering
ISBN: 3642103723 ISBN-13(EAN): 9783642103728
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .

Автор: Ricardo Choren; Alessandro Garcia; Carlos Lucena;
Название: Software Engineering for Multi-Agent Systems V
ISBN: 354073130X ISBN-13(EAN): 9783540731306
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes experiences and techniques associated with large multi-agent systems in a wide variety of problem domains. This book covers topics such as fault tolerance, exception handling and diagnosis, security and trust, verification and validation, as well as early development phases and software reuse.

Автор: De Nicola
Название: Software Engineering and Formal Methods
ISBN: 3319415905 ISBN-13(EAN): 9783319415901
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions.

Автор: Manfred Broy; Johannes Gruenbauer; David Harel; To
Название: Engineering Theories of Software Intensive Systems
ISBN: 1402035306 ISBN-13(EAN): 9781402035302
Издательство: Springer
Рейтинг:
Цена: 259950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes contributions from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany, in August 2004. This book presents mathematical foundations of software engineering and engineering methods to examine software engineering techniques and foundations in industries.

Автор: Alessandro Garcia; Ricardo Choren; Carlos Lucena;
Название: Software Engineering for Multi-Agent Systems IV
ISBN: 3540335803 ISBN-13(EAN): 9783540335801
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents a survey of the advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). This book includes chapters that are devoted to various techniques and methods used to cope with the complexity of real-world MAS.