Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
О методе проектирования абстрактного типа данных в алгебре алгоритмики
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
О методе проектирования абстрактного типа данных в алгебре алгоритмики
Тема:
Теоретичні та методологічні основи програмування
УДК:
681.3
Посилання:
n- исчисление – реалистичная формализация класса переписывающих систем / А.Е. Дорошенко, В.А. Иовчев // Пробл. програмув. — 2012. — № 1. — С. 3-16. — Бібліогр.: 29 назв. — рос.
Дата:
2012
Переглядів:
716
Завантажень:
864
Анотація:
Предлагается метод проектирования расширенного абстрактного типа данных и алгебраического класса. Данный абстрактный тип данных является необходимым ключевым звеном между этапами спецификации и проектирования. Рассмотрена проблема полноты расширенного абстрактного типа данных и предложено решение в качестве достаточной полноты.
