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

 Автореферати дисертацій 

---

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