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

Теория автоматизированного проектирования [Текст] : межвуз. темат. сб. науч. трудов / М-во высшего и среднего спец. образования СССР, Харьков. авиац. ин-т им. Н.Е. Жуковского. — Х. : ХАИ, 1984. — 189 с.

• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• УДК // Розробка комп' ютерної системи і програмного забезпечення
• Праці співробітників ХАІ // Шевель В.В.