Code Design for Dependable Systems - Theory and Practical Applications, Fujiwara

Автор: Emmanuel Gaudin; ?lie Najm; Rick Reed
Название: SDL 2007: Design for Dependable Systems
ISBN: 3540749837 ISBN-13(EAN): 9783540749837
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. This book includes papers that are organized in topical sections on Model Driven Engineering, Testing, Language Extensions, Implementation and Modeling Experience and Extensions. It addresses various aspects of systems design and design languages.

Автор: Rog?rio de Lemos; Felicita Giandomenico; Cristina
Название: Architecting Dependable Systems V
ISBN: 354085570X ISBN-13(EAN): 9783540855705
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: As software systems become ubiquitous, the issues of dependability become more crucial. Given that solutions to these issues must be considered from the beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book contains papers based on the contributions to two workshops.

Автор: Rog?rio de Lemos; Cristina Gacek; Alexander Romano
Название: Architecting Dependable Systems III
ISBN: 3540289682 ISBN-13(EAN): 9783540289685
Издательство: Springer
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Ross J. Anderson
Название: Security Engineering: A Guide to Building Dependable Distributed Systems
ISBN: 0471389226 ISBN-13(EAN): 9780471389224
Издательство: Wiley
Цена: 6732.00 р.
Наличие на складе: Поставка под заказ.

Автор: Fr?nzle
Название: Dependable Software Engineering: Theories, Tools, and Applications
ISBN: 3319476769 ISBN-13(EAN): 9783319476766
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.

Автор: Portinale Luigi & Codetta Raiteri Daniele
Название: Modeling And Analysis Of Dependable Systems: A Probabilistic Graphical Model Perspective
ISBN: 9814612030 ISBN-13(EAN): 9789814612036
Издательство: World Scientific Publishing
Рейтинг:
Цена: 16632.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.

Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.

Автор: Rog?rio de Lemos; Jean-Charles Fabre; Cristina Gac
Название: Architecting Dependable Systems VI
ISBN: 3642102476 ISBN-13(EAN): 9783642102479
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Rog?rio de Lemos; Cristina Gacek; Alexander Romano
Название: Architecting Dependable Systems IV
ISBN: 3540740333 ISBN-13(EAN): 9783540740339
Издательство: Springer
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains 18 peer-reviewed papers based on the selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006), organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.