Программы для ЭВМ корабля «Буран» были написаны на следующих языках программирования:
- ПРОЛ2. 14 Специализированный язык реального времени для разработки бортового программного обеспечения. 4
- ДИПОЛЬ. 14 Проблемнологически-ориентированный язык для разработки программного обеспечения наземных испытаний корабля. 14
Также для моделирования использовался язык ЛАКС. 4