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

dc.contributor.author	Крывый, С.Л.
dc.contributor.author	Максимец, А.Н.
dc.date.accessioned	2017-02-04T18:09:12Z
dc.date.available	2017-02-04T18:09:12Z
dc.date.issued	2014
dc.identifier.citation	Разработка и обоснование алгоритмов на основе семантических свойств / С.Л. Крывый, А.Н. Максимец // Проблеми програмування. — 2014. — № 2-3. — С. 151-159. — Бібліогр.: 10 назв. — рос.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/113226
dc.description.abstract	Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Формальні методи програмування	uk_UA
dc.title	Разработка и обоснование алгоритмов на основе семантических свойств	uk_UA
dc.title.alternative	Development and substantiation of algorithms based on semantic properties	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	51.681.3