О возможных основаниях немонотонного дедуктивного синтеза программ
Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действе...
Saved in:
| Date: | 2003 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1333 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1333 |
|---|---|
| record_format |
dspace |
| spelling |
Приходько, П.П. 2008-07-25T15:47:46Z 2008-07-25T15:47:46Z 2003 О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1333 681.3.06 Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действенных баз данных для задач построения конкретных программ. Пропонується підхід до практичної автоматизації синтезу програм з готових програмних складових, що безпосередньо видобуваються з моделей предметних областей. Цей підхід ґрунтується на використанні немонотонних дедуктивних побудов. Розглядається можливість організації дієвих баз даних для задач побудови конкретних програм. 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. ru Інститут програмних систем НАН України Теоретические и методологические основы программирования О возможных основаниях немонотонного дедуктивного синтеза программ Про можливе підґрунтя немонотонного дедуктивного синтезу програм Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System 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 |
2003 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Про можливе підґрунтя немонотонного дедуктивного синтезу програм Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System |
| description |
Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действенных баз данных для задач построения конкретных программ.
Пропонується підхід до практичної автоматизації синтезу програм з готових програмних складових, що безпосередньо видобуваються з моделей предметних областей. Цей підхід ґрунтується на використанні немонотонних дедуктивних побудов. Розглядається можливість організації дієвих баз даних для задач побудови конкретних програм.
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1333 |
| citation_txt |
О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос. |
| work_keys_str_mv |
AT prihodʹkopp ovozmožnyhosnovaniâhnemonotonnogodeduktivnogosintezaprogramm AT prihodʹkopp promožlivepídgruntânemonotonnogodeduktivnogosintezuprogram AT prihodʹkopp towardsapossiblebackgroundforsynthesisofprogramswithreassignmentofthenonmonotonedeductivesystem |
| first_indexed |
2025-12-07T18:35:11Z |
| last_indexed |
2025-12-07T18:35:11Z |
| _version_ |
1850875588474044416 |