О возможных основаниях немонотонного дедуктивного синтеза программ
Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действе...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1333 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос. |
Репозитарії
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 |