О семиотическом подходе к интеграции формальных средств проектирования

Предлагается подход к интеграции различных формальных аппаратов в систему логико-математических средств (СЛМС), которая может служить основой компьютерной поддержки концептуального этапа проектирования. Рассматриваются общие принципы, абстрактный прототип и конкретный вид простейшей СЛМС, содержащей фрагменты пропозициональной логики и теории множеств.