Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Бойкова, О. О.
    Разработка требований к функциональному программному обеспечению критичных по безопасности систем с использованием формальных спецификаций [Текст] / О.О. Бойкова, Г.И. Герасимов, И.А. Мезенцев та ін. // Авиакосмическое приборостроение : Ежемесячный научно-технический и производственный журнал. — 2008. — С. 2-3.

Автор: Бойкова О.О., Герасимов Г.И., Мезенцев И.А., Никулин А.С., Орехов М.И.

- Анотація:

Надежность функционирования системы находится в зависимости от функциональных требований к программному обеспечению системы. Проблема, рассматриваемая в работе-представление требований в таком виде, который бы позволил анализировать их для исключения неоднозначности и противоречий.

- Є складовою частиною документа:

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

  • УДК // Програмне забезпечення для управління програмами



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт