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
Рейтинг:
Цена: 46190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 64670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 39130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Lethbridge
Название: Object-oriented software engineering: practical software development using uml and java
ISBN: 0077109082 ISBN-13(EAN): 9780077109080
Издательство: McGraw-Hill
Рейтинг:
Цена: 68630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Bratton Benjamin H.
Название: The Stack: On Software and Sovereignty
ISBN: 026202957X ISBN-13(EAN): 9780262029575
Издательство: MIT Press
Рейтинг:
Цена: 45480.00 T
Наличие на складе: Невозможна поставка.
Описание:

A comprehensive political and design theory of planetary-scale computation proposing that The Stack -- an accidental megastructure -- is both a technological apparatus and a model for a new geopolitical architecture.

What has planetary-scale computation done to our geopolitical realities? It takes different forms at different scales -- from energy and mineral sourcing and subterranean cloud infrastructure to urban software and massive universal addressing systems; from interfaces drawn by the augmentation of the hand and eye to users identified by self -- quantification and the arrival of legions of sensors, algorithms, and robots. Together, how do these distort and deform modern political geographies and produce new territories in their own image?

In The Stack, Benjamin Bratton proposes that these different genres of computation -- smart grids, cloud platforms, mobile apps, smart cities, the Internet of Things, automation -- can be seen not as so many species evolving on their own, but as forming a coherent whole: an accidental megastructure called The Stack that is both a computational apparatus and a new governing architecture. We are inside The Stack and it is inside of us.

In an account that is both theoretical and technical, drawing on political philosophy, architectural theory, and software studies, Bratton explores six layers of The Stack: Earth, Cloud, City, Address, Interface, User. Each is mapped on its own terms and understood as a component within the larger whole built from hard and soft systems intermingling -- not only computational forms but also social, human, and physical forces. This model, informed by the logic of the multilayered structure of protocol "stacks," in which network technologies operate within a modular and vertical order, offers a comprehensive image of our emerging infrastructure and a platform for its ongoing reinvention.

The Stack is an interdisciplinary design brief for a new geopolitics that works with and for planetary-scale computation. Interweaving the continental, urban, and perceptual scales, it shows how we can better build, dwell within, communicate with, and govern our worlds.

thestack.org

Автор: Alexander Romanovsky; Elena A. Troubitsyna
Название: Software Engineering for Resilient Systems
ISBN: 3319659472 ISBN-13(EAN): 9783319659473
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Alessandro Fantechi; Patrizio Pelliccione
Название: Software Engineering for Resilient Systems
ISBN: 3319231286 ISBN-13(EAN): 9783319231280
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Anatoliy Gorbenko; Alexander Romanovsky; Vyachesla
Название: Software Engineering for Resilient Systems
ISBN: 3642408931 ISBN-13(EAN): 9783642408939
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

Автор: Radu Calinescu; Felicita Di Giandomenico
Название: Software Engineering for Resilient Systems
ISBN: 3030308553 ISBN-13(EAN): 9783030308551
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Igor Schagaev; Eugene Zouev; Kaegi Thomas
Название: Software Design for Resilient Computer Systems
ISBN: 3030212432 ISBN-13(EAN): 9783030212438
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

Автор: Fabio Massacci; Dan Wallach; Nicola Zannone
Название: Engineering Secure Software and Systems
ISBN: 3642117465 ISBN-13(EAN): 9783642117466
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Eric Bodden; Mathias Payer; Elias Athanasopoulos
Название: Engineering Secure Software and Systems
ISBN: 3319621041 ISBN-13(EAN): 9783319621043
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.