Cписок

Манжос Ю.С.
Багатоінваріантний метод підвищення надійності програмних засобів

Вид документа: Складова частина документа
Автор: Манжос Ю.С. Вид автора: персона
Мова: Українська Обсяг: С. 193-196
УДК: 004.05:004.415.5

Аннотацiя:

З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точностної та семантичної коректності обчислювальних процесів, та має у по рівнянні з відомими меншу ресурсоємність та більшу діагностуючу спроможність виявлення залишкових дефектів.

Переглянути електронну копію

Є складовою частиною документа: Радіоелектронні і комп'ютерні системи

Відомості щодо назви

Відомості про відповідальність:

Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ"

Відомості щодо головного

Вид автора головного документа:

Персона

Назва головного документа:

Радіоелектронні і комп'ютерні системи

Дата видання головного документа:

2008

Номер частини головного документа:

Загальна інформація

Бібліографія:

4 назв.

Теми документа: