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

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