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

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

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

Повний опис

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-69614
record_format dspace
spelling irk-123456789-696142014-10-18T03:01:33Z О методе проектирования абстрактного типа данных в алгебре алгоритмики Дорошенко, А.Е. Иовчев, В.А. Теоретичні та методологічні основи програмування Предлагается метод проектирования расширенного абстрактного типа данных и алгебраического класса. Данный абстрактный тип данных является необходимым ключевым звеном между этапами спецификации и проектирования. Рассмотрена проблема полноты расширенного абстрактного типа данных и предложено решение в качестве достаточной полноты. 2012 Article n- исчисление – реалистичная формализация класса переписывающих систем / А.Е. Дорошенко, В.А. Иовчев // Пробл. програмув. — 2012. — № 1. — С. 3-16. — Бібліогр.: 29 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/69614 681.3 ru Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Теоретичні та методологічні основи програмування
Теоретичні та методологічні основи програмування
spellingShingle Теоретичні та методологічні основи програмування
Теоретичні та методологічні основи програмування
Дорошенко, А.Е.
Иовчев, В.А.
О методе проектирования абстрактного типа данных в алгебре алгоритмики
description Предлагается метод проектирования расширенного абстрактного типа данных и алгебраического класса. Данный абстрактный тип данных является необходимым ключевым звеном между этапами спецификации и проектирования. Рассмотрена проблема полноты расширенного абстрактного типа данных и предложено решение в качестве достаточной полноты.
format Article
author Дорошенко, А.Е.
Иовчев, В.А.
author_facet Дорошенко, А.Е.
Иовчев, В.А.
author_sort Дорошенко, А.Е.
title О методе проектирования абстрактного типа данных в алгебре алгоритмики
title_short О методе проектирования абстрактного типа данных в алгебре алгоритмики
title_full О методе проектирования абстрактного типа данных в алгебре алгоритмики
title_fullStr О методе проектирования абстрактного типа данных в алгебре алгоритмики
title_full_unstemmed О методе проектирования абстрактного типа данных в алгебре алгоритмики
title_sort о методе проектирования абстрактного типа данных в алгебре алгоритмики
publisher Інститут програмних систем НАН України
publishDate 2012
topic_facet Теоретичні та методологічні основи програмування
url http://dspace.nbuv.gov.ua/handle/123456789/69614
citation_txt n- исчисление – реалистичная формализация класса переписывающих систем / А.Е. Дорошенко, В.А. Иовчев // Пробл. програмув. — 2012. — № 1. — С. 3-16. — Бібліогр.: 29 назв. — рос.
work_keys_str_mv AT dorošenkoae ometodeproektirovaniâabstraktnogotipadannyhvalgebrealgoritmiki
AT iovčevva ometodeproektirovaniâabstraktnogotipadannyhvalgebrealgoritmiki
first_indexed 2023-10-18T18:56:53Z
last_indexed 2023-10-18T18:56:53Z
_version_ 1796145592305451008

Схожі ресурси