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