Разработка и обоснование алгоритмов на основе семантических свойств
Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма....
Збережено в:
Дата: | 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 Ukraineid |
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 |