Детерминированный анализ (верификация) м.б. направлен на выявление соответствия структур объектов, заданных двумя различными описаниями (структурная верификация), или на определение значений выходных параметров объектов (параметрическая верификация). Параметрическая верификация может выполняться по полной совокупности параметров или по их части - в последнем случае различают статический анализ, динамический анализ и анализ в частотной области.

Процедуры структурного синтеза предназначены для определения состава и взаимосвязей элементов. В зависимости от иерархического уровня и аспекта проектирования они подразделяются на группы:

Сокращение трудоемкости и длительности разработки достигается также за счет обеспечения преемственности проектных решений, т.е. использования в новых проектах ранее разработанных компонентов. Основными направлениями обеспечения преемственности являются базовое проектирование и агрегатирование.

Базовое проектирование - разработка различных исполнений изделий на основе одного базового исполнения и изменяемых составных частей для различных целей и условий применения (например, тепловоз может быть базовой моделью для грузовой дрезины и снегочистителя).

Унификация - ограничение неоправданного разнообразия конструкций и процессов изготовления однотипных изделий. Предусматривает приведение различных видов продукции к рациональному минимуму форм, моделей, значений свойств и т.п.

Различают 3 направления (вида) унификации - типоразмерную, модификационную и межтиповую.