Назарий қисмида масалани ечиш учун зарур бўлган назарий маълумотлар - Автоматлаштирилган лойиҳалаш тизимини яратиш принциплари, АЛТ таъминот турларининг компанентлари, АЛТ класификацияси, Лойихалаш жараѐнларини формаллартириш, Автоматлаштирилган лойиҳалашнинг техник воситалари тўғрисида маълумотлар келтирилган.