Зведений каталог бібліотек Харкова
Манжос, Ю. С. Принципы семантического контроля программного обеспечения [Текст] / Ю.С. Манжос // Авиационно-космическая техника и технология : труды / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Антиква, 2002. — С. 307-315.
- Анотація:
Применение СК позволяет повысить качество программного кода, сократить время разработки и тестирования, в несколько раз улучшить наработку на отказ ПО систем критического применения, повысить достоверность задач моделирования.
- Є складовою частиною документа:
Авиационно-космическая техника и технология [Текст] : труды / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Антиква, 2002. — 433 с.
- Теми документа
