О возможных основаниях немонотонного дедуктивного синтеза программ
Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действе...
Gespeichert in:
| Datum: | 2003 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2003
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1333 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862722327488233472 |
|---|---|
| author | Приходько, П.П. |
| author_facet | Приходько, П.П. |
| citation_txt | О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T18:35:11Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1333 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T18:35:11Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | О возможных основаниях немонотонного дедуктивного синтеза программ Приходько, П.П. Теоретические и методологические основы программирования |
| title | О возможных основаниях немонотонного дедуктивного синтеза программ |
| title_alt | Про можливе підґрунтя немонотонного дедуктивного синтезу програм Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System |
| title_full | О возможных основаниях немонотонного дедуктивного синтеза программ |
| title_fullStr | О возможных основаниях немонотонного дедуктивного синтеза программ |
| title_full_unstemmed | О возможных основаниях немонотонного дедуктивного синтеза программ |
| title_short | О возможных основаниях немонотонного дедуктивного синтеза программ |
| title_sort | о возможных основаниях немонотонного дедуктивного синтеза программ |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1333 |
| work_keys_str_mv | AT prihodʹkopp ovozmožnyhosnovaniâhnemonotonnogodeduktivnogosintezaprogramm AT prihodʹkopp promožlivepídgruntânemonotonnogodeduktivnogosintezuprogram AT prihodʹkopp towardsapossiblebackgroundforsynthesisofprogramswithreassignmentofthenonmonotonedeductivesystem |