О возможных основаниях немонотонного дедуктивного синтеза программ

dc.contributor.author	Приходько, П.П.
dc.date.accessioned	2008-07-25T15:47:46Z
dc.date.available	2008-07-25T15:47:46Z
dc.date.issued	2003
dc.identifier.citation	О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/1333
dc.description.abstract	Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действенных баз данных для задач построения конкретных программ.	en_US
dc.description.abstract	Пропонується підхід до практичної автоматизації синтезу програм з готових програмних складових, що безпосередньо видобуваються з моделей предметних областей. Цей підхід ґрунтується на використанні немонотонних дедуктивних побудов. Розглядається можливість організації дієвих баз даних для задач побудови конкретних програм.	en_US
dc.description.abstract	This Paper reported the Approach to practical automatically Synthesis of Programs from Components, with direct received from Subject Field Model. This Approach is based on using non-monotone deductive Constructions. Potentiality to Organizations real Databases for programming Problems is considered.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Теоретические и методологические основы программирования	en_US
dc.title	О возможных основаниях немонотонного дедуктивного синтеза программ	en_US
dc.title.alternative	Про можливе підґрунтя немонотонного дедуктивного синтезу програм	en_US
dc.title.alternative	Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	681.3.06