| |
Манжос, Ю. С.
Алгебричне аналізування надійності програмного забезпечення [Текст] / Ю. С. Манжос
// Інженерія програмного забезпечення. – 2014. – № 1. – С. 20-27.
Розглянуто засади класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного коду, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного коду. |
