Подано огляд специфікацій і синтаксичних інструментів для формальних специфікацій, що застосовуються у мовах процедурного програмування. Запропоновано систему додаткових формальних специфікацій для опису програми. Вони описують блоки програм, функції (процедури), умови у різних програмних точках.

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