Автор: 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.
This book constitutes the thoroughly refereed post-conference proceedings of the
First International Workshop on Usability and Accessibility focused Requirements
Engineering, UsARE 2012, held in Zurich, Switzerland, in June 2012 in conjunction
with ICSE 2012, the 34th International Conference on Software Engineering, and the
Second International Workshop, UsARE 2014, held in Karlskrona, Sweden, in August
2014, in the course of RE 2014, the 22nd International Requirements Engineering
Conference.
This book consists of 10 chapters of which 9 are extended versions of the papers
presented at the two UsARE events. Amongst them, 3 are extended versions of the
papers presented at UsARE 2012 and 6 are extended versions of papers presented at
UsARE 2014 - rounded off by a new chapter that was added as authors are doing
relevant work on the same topic. The chapters are organized into three sections
according to their main focus: usability and user experience, accessibility and
applications.
Автор: Rierson Название: Developing Safety-Critical Software ISBN: 143981368X ISBN-13(EAN): 9781439813683 Издательство: Taylor&Francis Рейтинг: Цена: 13014.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.
A novel, model-driven approach to security requirements engineering that focuses on socio-technical systems rather than merely technical systems.
Security requirements engineering is especially challenging because designers must consider not just the software under design but also interactions among people, organizations, hardware, and software. Taking this broader perspective means designing a secure socio-technical system rather than a merely technical system. This book presents a novel, model-driven approach to designing secure socio-technical systems. It introduces the Socio-Technical Modeling Language (STS-ML) and presents a freely available software tool, STS-Tool, that supports this design approach through graphical modeling, automated reasoning capabilities to verify the models constructed, and the automatic derivation of security requirements documents.
After an introduction to security requirements engineering and an overview of computer and information security, the book presents the STS-ML modeling language, introducing the modeling concepts used, explaining how to use STS-ML within the STS method for security requirements, and providing guidelines for the creation of models. The book then puts the STS approach into practice, introducing the STS-Tool and presenting two case studies from industry: an online collaborative platform and an e-Government system. Finally, the book considers other methods that can be used in conjunction with the STS method or that constitute an alternative to it. The book is suitable for course use or as a reference for practitioners. Exercises, review questions, and problems appear at the end of each chapter.
Автор: Barbara Paech; Colette Rolland Название: Requirements Engineering: Foundation for Software Quality ISBN: 3540690603 ISBN-13(EAN): 9783540690603 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2008, held in Montpellier, France, in June 2008. This book features 17 revised full papers which are organized in thematic sections on fitness of RE, requirements elicitation, and innovative systems.
Автор: Martin Glinz; Patrick Heymans Название: Requirements Engineering: Foundation for Software Quality ISBN: 3642020496 ISBN-13(EAN): 9783642020490 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2009, held in Amsterdam, The Netherlands, in June 2009.
Автор: Lee Название: Requirements Engineering Toward Sustainable World ISBN: 9811032556 ISBN-13(EAN): 9789811032554 Издательство: Springer Рейтинг: Цена: 7267.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the second Asia Pacific Requirements Engineering Symposium, APRES 2016, held in Nagoya, Japan, in November 2016.The 7 full papers presented together with three short papers, were carefully reviewed and selected from 14 submissions. The papers are organized in topical sections on requirements traceability and prioritization; requirements modeling and process for quality; requirements validation; requirements analysis.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
