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