The paper describes insertion modeling methodology, its implementation and applications. Insertion modeling is a methodology of model driven distributed system design. It is based on the model of interaction of agents and ...

Проведен сопоставительный анализ алгебры алгоритмики и аналогичных направлений – алгебраической алгоритмики и порождающего (ментального) программирования. Отражены общность и специфика проблематики функциональной и ...

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

Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере ключенням і взаємодією через ...

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

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

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