О возможных основаниях немонотонного дедуктивного синтеза программ
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
О возможных основаниях немонотонного дедуктивного синтеза программ
|
|
| Creator |
Приходько, П.П.
|
|
| Subject |
Теоретические и методологические основы программирования
|
|
| 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. |
|
| Date |
2008-07-25T15:47:46Z
2008-07-25T15:47:46Z 2003 |
|
| Type |
Article
|
|
| Identifier |
О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1333 681.3.06 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|