концептуальная система переходов

Ануреев И.С. Промский А.В. Концептуальные системы переходов и их применение к разработке концептуальных моделей языков программирования // Системная информатика. — . — № 9.  — С. 133-154
Ануреев И.С. Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования // Системная информатика. — . — № 9.  — С. 155-200
Ануреев И.С. Формализмы для концептуального проектирования информационных систем // Системная информатика. — . — № 8.  — С. 53-88
Подписаться на концептуальная система переходов