
С появлением систем авоматизированного проектирования (САПР) в 80-х годах были сделаны обобщения теории проектирования технических систем и устройств с выявлением инвариантов в виде проектных процедур, особенно эвристических. Были намечены пути и сделаны первые попытки их автоматизации. Наиболее высокую трудность представляет автоматизация ранних этапов проектирования. На этих этапах для удовлетворения потребности преодоления дискомфорта необходимо синтезировать идеи реализации систем и устройств.
Параллельное развитие теории программирования и теории проектирования сделало актуальным их системное исследование. Цель исследований, отраженных в данной книге, состояла в достижении позитивного дальнейшего взаимного проникновения этих теорий.
Внедрение учебника в учебный процесс авторы рекомендуют осуществить следующим образом. Лучше всего материалы гл. 4 и 5 изучить в предшествующих дисциплинах. Если рабочей программой курса предусмотрена семестровая работа, то после лекционного прочтения первой главы можно частично изложить материалы второй главы и далее приступить к изучению одной из технологий программирования (гл. 7, 8). После изложения материалов для выполнения семестровой работы можно вернуться к последовательному изложению материала. Окончательное закрепление навыков и знаний рекомендуется осуществить в ходе учебной практики, проводимой под контролем преподавателей.
Для тех, кто хочет приобрести навыки профессионального программиста самостоятельно, авторы рекомендуют прочитывать материал двух первых глав и параллельно с изучением языка программирования овладеть материалом четвертой главы.
