О методе проектирования абстрактного типа данных в алгебре алгоритмики

• Дата: 2012
• Автори: Дорошенко, А.Е., Иовчев, В.А.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут програмних систем НАН України 2012
• Теми: Теоретичні та методологічні основи програмування
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/69614
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: n- исчисление – реалистичная формализация класса переписывающих систем / А.Е. Дорошенко, В.А. Иовчев // Пробл. програмув. — 2012. — № 1. — С. 3-16. — Бібліогр.: 29 назв. — рос.

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