Разработка и обоснование алгоритмов на основе семантических свойств

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2014
Автори: Крывый, С.Л., Максимец, А.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2014
Назва видання:Проблеми програмування
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/113226
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Разработка и обоснование алгоритмов на основе семантических свойств / С.Л. Крывый, А.Н. Максимец // Проблеми програмування. — 2014. — № 2-3. — С. 151-159. — Бібліогр.: 10 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-113226
record_format dspace
spelling irk-123456789-1132262017-02-05T03:02:22Z Разработка и обоснование алгоритмов на основе семантических свойств Крывый, С.Л. Максимец, А.Н. Формальні методи програмування Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма. Examples of the development and validation of algorithms based on the use of the domain properties are shown. These properties are formulated in terms of semantic relationships that characterize the subject area of the developed algorithm. 2014 Article Разработка и обоснование алгоритмов на основе семантических свойств / С.Л. Крывый, А.Н. Максимец // Проблеми програмування. — 2014. — № 2-3. — С. 151-159. — Бібліогр.: 10 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/113226 51.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 2014
topic_facet Формальні методи програмування
url http://dspace.nbuv.gov.ua/handle/123456789/113226
citation_txt Разработка и обоснование алгоритмов на основе семантических свойств / С.Л. Крывый, А.Н. Максимец // Проблеми програмування. — 2014. — № 2-3. — С. 151-159. — Бібліогр.: 10 назв. — рос.
series Проблеми програмування
work_keys_str_mv AT kryvyjsl razrabotkaiobosnovaniealgoritmovnaosnovesemantičeskihsvojstv
AT maksimecan razrabotkaiobosnovaniealgoritmovnaosnovesemantičeskihsvojstv
first_indexed 2024-03-30T09:26:05Z
last_indexed 2024-03-30T09:26:05Z
_version_ 1796149968837279744