Запропоновані формальні моделі програмних систем (ПС) і їх сімейств (СПС) для їх використання у розподіленому середовищі. Їх проектування починається з об'єктної моделі предметної області (ПрО) і закінчується побудовою ...
Рассмотрены данные, специфицируемые в композиционных схемах алгоритмов. Показан их состав, структура, свойства и возможность контроля корректности их описания.