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

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

Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действе...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2003
Автор: Приходько, П.П.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2003
Теми:
Теоретические и методологические основы программирования
Онлайн доступ:http://dspace.nbuv.gov.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
id irk-123456789-1333
record_format dspace
spelling irk-123456789-13332008-07-28T12:00:44Z О возможных основаниях немонотонного дедуктивного синтеза программ Приходько, П.П. Теоретические и методологические основы программирования Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действенных баз данных для задач построения конкретных программ. Пропонується підхід до практичної автоматизації синтезу програм з готових програмних складових, що безпосередньо видобуваються з моделей предметних областей. Цей підхід ґрунтується на використанні немонотонних дедуктивних побудов. Розглядається можливість організації дієвих баз даних для задач побудови конкретних програм. 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. 2003 Article О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1333 681.3.06 ru Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Теоретические и методологические основы программирования
Теоретические и методологические основы программирования
spellingShingle Теоретические и методологические основы программирования
Теоретические и методологические основы программирования
Приходько, П.П.
О возможных основаниях немонотонного дедуктивного синтеза программ
description Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действенных баз данных для задач построения конкретных программ.
format Article
author Приходько, П.П.
author_facet Приходько, П.П.
author_sort Приходько, П.П.
title О возможных основаниях немонотонного дедуктивного синтеза программ
title_short О возможных основаниях немонотонного дедуктивного синтеза программ
title_full О возможных основаниях немонотонного дедуктивного синтеза программ
title_fullStr О возможных основаниях немонотонного дедуктивного синтеза программ
title_full_unstemmed О возможных основаниях немонотонного дедуктивного синтеза программ
title_sort о возможных основаниях немонотонного дедуктивного синтеза программ
publisher Інститут програмних систем НАН України
publishDate 2003
topic_facet Теоретические и методологические основы программирования
url http://dspace.nbuv.gov.ua/handle/123456789/1333
citation_txt О возможных основаниях немонотонного дедуктивного синтеза программ / П.П. Приходько // Проблеми програмування. — 2003. — N 4. — С. 5—23. — Бібліогр.: 18 назв. — рос.
work_keys_str_mv AT prihodʹkopp ovozmožnyhosnovaniâhnemonotonnogodeduktivnogosintezaprogramm
first_indexed 2023-03-24T08:21:29Z
last_indexed 2023-03-24T08:21:29Z
_version_ 1796138880057999360

Схожі ресурси