New York : Intertext Publications : McGraw-Hill Book Co., 1989. — xvii, 325 p. Software Engineering Risk Analysis and Management is the first book to set forth the principles and techniques of risk analysis and control as it applies to the software engineering field. Written for the practitioner or manager of software developments, as well as students in computer science and...
Springer International Publishing AG, 2018. — 125 p. — ISBN 3319613332. This book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures. The authors provide details on how near-miss analysis techniques focus on the time-window before the software failure...
Springer, 2023. — 91 p. This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues: (i) measurement and modeling of software trustworthiness; (ii) construction and verification of trustworthy software; (iii) evolution and...
Wiley-IEEE Press, 2024. — 851 p. Covering dependability from software and hardware perspectives. Dependable Computing: Design and Assessment looks at both the software and hardware aspects of dependability. This book: Provides an in-depth examination of dependability/fault tolerance topics Describes dependability taxonomy, and briefly contrasts classical techniques with their...
Wiley-IEEE Press, 2024. — 851 p. Covering dependability from software and hardware perspectives. Dependable Computing: Design and Assessment looks at both the software and hardware aspects of dependability. This book: Provides an in-depth examination of dependability/fault tolerance topics Describes dependability taxonomy, and briefly contrasts classical techniques with their...
М.: Синтег, 1998. — (Информатизация России на пороге XXI века). Предисловие Основные факторы определяющие надежность функционирования программных средств Основные понятия и показатели надежности программных средств Дестабилизирующие факторы и методы обеспечения надежности функционирования программных средств Характеристики программных ошибок и возможность априорного...
М.: Мир, 1980. — 359 с. Первая на русском языке монография по надежности программного обеспечения. Разработка программного комплекса рассматривается в книге во всей полноте — от подготовки технического задания до документации отдельных модулей. Ценно, что теоретическое исследование каждой проблемы сопровождается конкретными рекомендациями по ее решению. Каждая глава завершается...
М.: Мир, 1980. — 359 с.
Первая на русском языке монография по надежности программного обеспечения. Разработка программного комплекса рассматривается в книге во всей полноте — от подготовки технического задания до документации отдельных модулей. Ценно, что теоретическое всследование каждой проблемы сопровождается конкретными рекомендациями по ее решению. Каждая глава завершается...
Учебник для студ. учреждений сред. проф. образования / Е. В. Поколодина, Н. А. Долгова, Д. В. Ананьев. — М. : Издательский центр «Академия», 2020. — 208 с. - ISBN 978-5-4468-8609-8. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям «Информационные системы и...
Учебник для студ. учреждений сред. проф. образования / Е. В. Поколодина, Н. А. Долгова, Д. В. Ананьев. — М. : Издательский центр «Академия», 2020. — 208 с. - ISBN 978-5-4468-8609-8. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям «Информационные системы и...
Учебное пособие. — СПб.: ПГУПС, 2010. — 40 с. Приводятся примеры наиболее известных моделей надежности программ (Джелинского - Моранды, Мусы, Миллса), дается краткая их характеристика. Предлагается расчетная схема (системы дифференциальных уравнений и диаграммы переходов) для моделей роста надежности программ, основанных на использовании распределений фазового типа. С помощью...
Учебное пособие. – Таганрог: Изд-во ТТИ ЮФУ, 2008. – 40 с. В пособии кратко изложены основные понятия и определения теории надежности программного обеспечения, а также рассмотрены основные модели и методы расчета надежности. Пособие предназначено для студентов направления 230200 «Информационные системы», а также для инженеров-системотехников, работающих в области проектирования...
Монография. — Красноярск: Сибирский федеральный университет, 2013. — 120 c. — ISBN: 978-5-7638-2749-1 В монографии представлены современные алгоритмы голосования, используемые в мультиверсионном программном обеспечении при принятии решения о корректности полученных результатов; приведена их классификация. Рассмотрены проблемы применения алгоритмов голосования в мультиверсионном...
Комментарии