М.: Мир, 1980. — 359 с. Первая на русском языке монография по надежности программного обеспечения. Разработка программного комплекса рассматривается в книге во всей полноте — от подготовки технического задания до документации отдельных модулей. Ценно, что теоретическое исследование каждой проблемы сопровождается конкретными рекомендациями по ее решению. Каждая глава завершается...
Учебное пособие. — СПб.: ПГУПС, 2010. — 40 с. Приводятся примеры наиболее известных моделей надежности программ (Джелинского - Моранды, Мусы, Миллса), дается краткая их характеристика. Предлагается расчетная схема (системы дифференциальных уравнений и диаграммы переходов) для моделей роста надежности программ, основанных на использовании распределений фазового типа. С помощью...
Учебник для студ. учреждений сред. проф. образования / Е. В. Поколодина, Н. А. Долгова, Д. В. Ананьев. — М. : Издательский центр «Академия», 2020. — 208 с. - ISBN 978-5-4468-8609-8. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям «Информационные системы и...
Монография. — Красноярск: Сибирский федеральный университет, 2013. — 120 c. — ISBN: 978-5-7638-2749-1 В монографии представлены современные алгоритмы голосования, используемые в мультиверсионном программном обеспечении при принятии решения о корректности полученных результатов; приведена их классификация. Рассмотрены проблемы применения алгоритмов голосования в мультиверсионном...
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...
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...
Комментарии