Software Reliability Modelling and Identification, Sergio Bittanti

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 7602.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.

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

Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Автор: Rook
Название: Software Reliability Handbook
ISBN: 1851664009 ISBN-13(EAN): 9781851664009
Издательство: Springer
Рейтинг:
Цена: 40389.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This reference work on software reliability provides: comprehensive subject matter - based on real experience rather than hypothesis; straightforward reading - a reference point for technical staff, managers and customers; and extensive references providing more in-depth subject coverage.

Автор: E.M. Clarke; Doron A. Peled
Название: Software Reliability Methods
ISBN: 1441928766 ISBN-13(EAN): 9781441928764
Издательство: Springer
Рейтинг:
Цена: 16484.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability.

Автор: Ajeet Kumar Pandey; Neeraj Kumar Goyal
Название: Early Software Reliability Prediction
ISBN: 813221742X ISBN-13(EAN): 9788132217428
Издательство: Springer
Рейтинг:
Цена: 15672.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.

Автор: Hoang Pham
Название: System Software Reliability
ISBN: 184996971X ISBN-13(EAN): 9781849969710
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is an introduction to software reliability engineering and a survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems.

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

Автор: N. Fenton; B. Littlewood
Название: Software Reliability and Metrics
ISBN: 1851666753 ISBN-13(EAN): 9781851666751
Издательство: Springer
Рейтинг:
Цена: 34380.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.