Software Reliability Assessment with OR Applications, P.K. Kapur; Hoang Pham; A. Gupta; P.C. Jha

Автор: Alessandro Fantechi; Thierry Lecomte; Alexander Ro
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319684981 ISBN-13(EAN): 9783319684987
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. They are organized in topical sections named: communication challenges in railway systems;

Название: Early Software Reliability Prediction
ISBN: 8132211758 ISBN-13(EAN): 9788132211754
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents an early software reliability prediction model that will help to grow the reliability of software systems by monitoring it in each development phase, from requirement to testing.

Автор: Simona Bernardi; Jos? Merseguer; Dorina Corina Pet
Название: Model-Driven Dependability Assessment of Software Systems
ISBN: 3662509423 ISBN-13(EAN): 9783662509425
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.