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

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

Конорев, Б. М.
    Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения [Текст] / Б.М. Конорев, В.Л. Петрик // Открытые информационные и компьютерные интегрированные технологии. Вып. 33 - Х. : Нац. аэрокосмический ун-т "ХАИ" , 2006. — С. 116-120.

- Анотація:

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

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

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

  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
  • Праці співробітників ХАІ // Петрик В.Л.
  • Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ



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