|
Автоматика и телемеханика, 1991, выпуск 2, страницы 131–139
(Mi at4122)
|
|
|
|
Развивающиеся системы
О семиотическом подходе к интеграции формальных средств проектирования
В. В. Никитаев Научно-исследовательский инженерный институт, Москва
Аннотация:
Предлагается подход к интеграции различных формальных аппаратов в систему логико-математических средств (СЛМС), которая может служить основой компьютерной поддержки концептуального этапа проектирования. Рассматриваются общие принципы, абстрактный прототип и конкретный вид простейшей СЛМС, содержащей фрагменты пропозициональной логики и теории множеств.
Поступила в редакцию: 18.01.1990
Образец цитирования:
В. В. Никитаев, “О семиотическом подходе к интеграции формальных средств проектирования”, Автомат. и телемех., 1991, № 2, 131–139; Autom. Remote Control, 52:2 (1991), 249–253
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at4122 https://www.mathnet.ru/rus/at/y1991/i2/p131
|
Статистика просмотров: |
Страница аннотации: | 104 | PDF полного текста: | 36 | Первая страница: | 1 |
|