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

 

Туркин, И. Б.
    Формальная верификация программного обеспечения для автоматизации испытаний систем космических аппаратов [Текст] / И.Б. Туркин, Б.Б. Михнич // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2010. — С. 15-23.


- Анотація:

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

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

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

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



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