Викладено теоретичні основи формальної специфікації послідовних і паралельних програм із використанням алгебр алгоритмів і техніки пе- реписувальних правил. У контексті розвитку ідей В. М. Глушкова з формалізації мов програмування розглянуто застосування методів формальної специфікації програм до задач проєктування й генерації програм, а також для розв'язування прикладних задач. Узагальнено системи алгоритмічних алгебр Глушкова для випадку програм над ієрархічними даними. Досліджено формалізацію й верифікацію паралельних програм за допомогою комп'ютерної системи перевірки доведення теорем.

• Дорошенко Анатолій Юхимович (1948–) (фізико-математичні науки)
• Дорошенко Анастасія Юріївна (технічні науки)
• Жереб Костянтин Анатолійович (фізико-математичні науки)
• Іванов Євгеній Валентинович (філософські науки)
• Іванов Євген В'ячеславович (фізико-математичні науки)
• Іванов Євген Валентинович (історичні науки)
• Іванов Євген Вікторович (педагогічні науки)
• Іванов Євген Володимирович (національна безпека)
• Нікітченко Микола Степанович (фізико-математичні науки)
• Яценко Олег Анатолійович (державне управління)
• Яценко Олена Анатоліївна (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"