2.4 Теорія проектування еом

Сучасні засади теорії проектування ЕОМ, зокрема розробка методики блочного синтезу, були закладені в статтях В. М. Глушкова, опублікованих в журналі «Кібернетика» у 1965-66 рр. та у Віснику АН СРСР в 1967 р. На базі цих теоретичних праць в Інституті кібернетики була створена спеціалізована мова опису алгоритмів та структур ЕОМ та методика проектування ЕОМ, які знайшли своє практичне застосування в ряді систем автоматизованого проектування циклу «ПРОЕКТ» та «ПРОЕКТ-2» Монографія В. Глушкова (в складі авторського колективу) «Автоматизация проектирования вычислительных машин», яка узагальнювала досвід створення систем «ПРОЕКТ», була видана в 1975 р.