Преставлен проект системы, предназначенной для атвоматизации проектирования управляющих алгоритмов для космических летательных аппаратов. Спроектирован проблемно-ориентированный язык, описываемый контекстно-свободной грамматикой. Проектировщик вводит в систему алгоритм на этом языке и получает временные диаграммы, блок-схемы, в перспективе - программу в кодах бортовой ЭВМ. Система имеет удобный оконный интерфейс с пользователем, способна работать на ЭВМ типа IBM PC/XT
Тезисы докладов XX Самарской областной студенческой научной конференции. СГАУ - Самара, 1994. С.108

диссертация на соискание ученой степени кандидата технических наук
Самар. гос. аэрокосм. ун-т им. С. П. Королева. - Самара, 1997. - 166 с.

Математические модели, методы и алгоритмы, программные средства автоматизации проектирования, синтеза и верификации управляющих алгоритмов реального времени для космических аппаратов
ВАК РФ