Reliability, Quality and Safety of Software-Intensive Systems, Dimitris Gritzalis
Автор: Dimitris Gritzalis Название: Reliability, Quality and Safety of Software-Intensive Systems ISBN: 1475763999 ISBN-13(EAN): 9781475763997 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Organizations around the world are using Lean to redesign care and improve processes in a way that achieves and sustains meaningful results for patients, staff, physicians, and health systems. Lean Hospitals, Third Edition explains how to use the Lean methodology and mindsets to improve safety, quality, access, and morale while reducing costs, increasing capacity, and strengthening the long-term bottom line. This updated edition of a Shingo Research Award recipient begins with an overview of Lean methods. It explains how Lean practices can help reduce various frustrations for caregivers, prevent delays and harm for patients, and improve the long-term health of your organization. The second edition of this book presented new material on identifying waste, A3 problem solving, engaging employees in continuous improvement, and strategy deployment. This third edition adds new sections on structured Lean problem solving methods (including Toyota Kata), Lean Design, and other topics. Additional examples, case studies, and explanations are also included throughout the book. Mark Graban is also the co-author, with Joe Swartz, of the book Healthcare Kaizen: Engaging Frontline Staff in Sustainable Continuous Improvements, which is also a Shingo Research Award recipient. Mark and Joe also wrote The Executive's Guide to Healthcare Kaizen.
Автор: Alessandro Birolini Название: Quality and Reliability of Technical Systems ISBN: 3642979858 ISBN-13(EAN): 9783642979859 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It is based on more than 20 years experience gained by the author in research and industry.The book covers theory, practice, and management aspects and addresses the needs of scientists, system-oriented engineers, engineers in development and production and project and quality assurance managers.
Автор: Roger Shaw Название: Safety and Reliability of Software Based Systems ISBN: 3540760342 ISBN-13(EAN): 9783540760344 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text contains papers presented at the 12th annual workshop organized by the Centre for Software Reliability. Contributions come from different industries, and provide discussion and a cross-fertilization of ideas relevant to systems whose safety and/or reliability are of paramount concern.
Автор: Tunc Aldemir; Nathan O. Siu; Ali Mosleh; P.Carlo C Название: Reliability and Safety Assessment of Dynamic Process Systems ISBN: 3540571485 ISBN-13(EAN): 9783540571483 Издательство: Springer Рейтинг: Цена: 28734.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Explores both conventional approaches and dynamic new methodologies which are used in the safety analysis of dynamic processing systems. The need for improved methods is stressed, and special emphasis is placed on the human factor - the need for widespread procedures and training.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
