Secure and Resilient Software, Merkow, Mark S. , Raghavan, Lakshmikanth
Автор: Brooks, Frederick P. Название: The Mythical Man Month and Other Essays on Software Engineering ISBN: 0201835959 ISBN-13(EAN): 9780201835953 Издательство: Pearson Education Рейтинг: Цена: 6928.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presenting the 20th anniversary and first revised edition of a collection of essays on the management of computer programming projects, this work is an updated and enhanced re-release of the "Brooks classic". With the addition of 3 essays assessing the status of software project management, the authors "No Silver Bullet", is also included.
Автор: Gamma, Erich Helm, Richard Johnson, Ralph Vissides Название: Design Patterns: Elements of Reusable Object-Oriented Software ISBN: 0201633612 ISBN-13(EAN): 9780201633610 Издательство: Pearson Education Рейтинг: Цена: 9700.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents a catalog of simple solutions to commonly occurring design problems. These 23 patterns allow designers to create more reusable designs without having to rediscover the design solutions themselves. The authors begin by describing what patterns are, and how they can help you design object-oriented software.
Автор: Crnkovic Название: Software Engineering for Resilient Systems ISBN: 3319458914 ISBN-13(EAN): 9783319458915 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. resilience and dependability (resilience vs.
Автор: Alexander Romanovsky; Elena A. Troubitsyna Название: Software Engineering for Resilient Systems ISBN: 3319659472 ISBN-13(EAN): 9783319659473 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions.
Автор: Radu Calinescu; Felicita Di Giandomenico Название: Software Engineering for Resilient Systems ISBN: 3030308553 ISBN-13(EAN): 9783030308551 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019. The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions.
Автор: Jan J?rjens; Frank Piessens; Nataliia Bielova Название: Engineering Secure Software and Systems ISBN: 3319048961 ISBN-13(EAN): 9783319048963 Издательство: Springer Рейтинг: Цена: 8803.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications.
Автор: Igor Schagaev; Eugene Zouev; Kaegi Thomas Название: Software Design for Resilient Computer Systems ISBN: 3030212432 ISBN-13(EAN): 9783030212438 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Поставка под заказ.
Описание: This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance and system resilience, as well as online resources, the new edition is ideal for researchers and industry professionals.The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a system, with special attention on the role of system software in this process. They further develop the general algorithm of fault tolerance (GAFT) with its three main processes: hardware checking, preparation for recovery, and the recovery procedure. For each of the three processes, they analyze the requirements and properties theoretically and give possible implementation scenarios and system software support required. Based on the theoretical results, the authors derive an Oberon-based programming language with direct support of the three processes of GAFT. In the last part of this book, they introduce a simulator, using it as a proof of concept implementation of a novel fault tolerant processor architecture (ERRIC) and its newly developed runtime system feature-wise and performance-wise.Due to the wide reaching nature of the content, this book applies to a host of industries and research areas, including military, aviation, intensive health care, industrial control, and space exploration.
Описание: Offers coverage required by students of software engineering, from the nuts and bolts of objects to software architecture, from writing code to testing, from software development processes to project management.
Автор: Fabio Massacci; Dan Wallach; Nicola Zannone Название: Engineering Secure Software and Systems ISBN: 3642117465 ISBN-13(EAN): 9783642117466 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Eric Bodden; Mathias Payer; Elias Athanasopoulos Название: Engineering Secure Software and Systems ISBN: 3319621041 ISBN-13(EAN): 9783319621043 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions.
Автор: Alessandro Fantechi; Patrizio Pelliccione Название: Software Engineering for Resilient Systems ISBN: 3319231286 ISBN-13(EAN): 9783319231280 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
