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

Скорочена інформація про документ
dc.contributor.authorКрывый, С.Л.
dc.contributor.authorМаксимец, А.Н.
dc.date.accessioned2017-02-04T18:09:12Z
dc.date.available2017-02-04T18:09:12Z
dc.date.issued2014
dc.description.abstractПриводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.uk_UA
dc.description.abstractExamples 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.uk_UA
dc.identifier.citationРазработка и обоснование алгоритмов на основе семантических свойств / С.Л. Крывый, А.Н. Максимец // Проблеми програмування. — 2014. — № 2-3. — С. 151-159. — Бібліогр.: 10 назв. — рос.uk_UA
dc.identifier.issn1727-4907
dc.identifier.udc51.681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/113226
dc.language.isoruuk_UA
dc.publisherІнститут програмних систем НАН Україниuk_UA
dc.relation.ispartofПроблеми програмування
dc.statuspublished earlieruk_UA
dc.subjectФормальні методи програмуванняuk_UA
dc.titleРазработка и обоснование алгоритмов на основе семантических свойствuk_UA
dc.title.alternativeDevelopment and substantiation of algorithms based on semantic propertiesuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
19-Kryvyi.pdf
Розмір:
732.59 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2014, № 2-3