Разработка и обоснование алгоритмов на основе семантических свойств
Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма. Examples of the development and validation of algorithms based on the...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2014 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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 |
nasplib_isofts_kiev_ua-123456789-113226 |
|---|---|
| record_format |
dspace |
| spelling |
Крывый, С.Л. Максимец, А.Н. 2017-02-04T18:09:12Z 2017-02-04T18:09:12Z 2014 Разработка и обоснование алгоритмов на основе семантических свойств / С.Л. Крывый, А.Н. Максимец // Проблеми програмування. — 2014. — № 2-3. — С. 151-159. — Бібліогр.: 10 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/113226 51.681.3 Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма. 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. ru Інститут програмних систем НАН України Проблеми програмування Формальні методи програмування Разработка и обоснование алгоритмов на основе семантических свойств Development and substantiation of algorithms based on semantic properties Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Разработка и обоснование алгоритмов на основе семантических свойств |
| spellingShingle |
Разработка и обоснование алгоритмов на основе семантических свойств Крывый, С.Л. Максимец, А.Н. Формальні методи програмування |
| title_short |
Разработка и обоснование алгоритмов на основе семантических свойств |
| title_full |
Разработка и обоснование алгоритмов на основе семантических свойств |
| title_fullStr |
Разработка и обоснование алгоритмов на основе семантических свойств |
| title_full_unstemmed |
Разработка и обоснование алгоритмов на основе семантических свойств |
| title_sort |
разработка и обоснование алгоритмов на основе семантических свойств |
| author |
Крывый, С.Л. Максимец, А.Н. |
| author_facet |
Крывый, С.Л. Максимец, А.Н. |
| topic |
Формальні методи програмування |
| topic_facet |
Формальні методи програмування |
| publishDate |
2014 |
| language |
Russian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Development and substantiation of algorithms based on semantic properties |
| description |
Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/113226 |
| citation_txt |
Разработка и обоснование алгоритмов на основе семантических свойств / С.Л. Крывый, А.Н. Максимец // Проблеми програмування. — 2014. — № 2-3. — С. 151-159. — Бібліогр.: 10 назв. — рос. |
| work_keys_str_mv |
AT kryvyisl razrabotkaiobosnovaniealgoritmovnaosnovesemantičeskihsvoistv AT maksimecan razrabotkaiobosnovaniealgoritmovnaosnovesemantičeskihsvoistv AT kryvyisl developmentandsubstantiationofalgorithmsbasedonsemanticproperties AT maksimecan developmentandsubstantiationofalgorithmsbasedonsemanticproperties |
| first_indexed |
2025-12-07T19:55:28Z |
| last_indexed |
2025-12-07T19:55:28Z |
| _version_ |
1850880639606194176 |