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

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