Без заголовка

Так это только слайд. Устно я довольно долго и много на эту тему говорил: что называют солвером в САПРах, куда там втыкать оптимизатор, зачем нужна формализация. Там ещё и справочные данные, замечу, участвуют в немаленьких количествах. Конечно, надо бы всё это писать подробно, как книгу, но времени как-то не хватает, мотивации, сосредоточения и т.д.. Я помню, что немного в блоге у себя писал об этом, но именно что немного. Может, видео доклада выложат (камера там какая-то посреди зала стояла, красной лампочкой мигала). С другой стороны. у нас были на заседаниях Русского отделения INCOSE доклады и про generative design, и про оптимизацию (и даже про оптимизацию архитектуры тоже был доклад). Так что материалов в наших видео хватает и без моего этого доклада. Кроме определения "design" я ещё и про определение "generative" рассказывал, что это всё от Хомского пошло, от его порождающих грамматик. Но это мелочи.