Формальные модели компонентного программирования
Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практ...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1302 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Формальные модели компонентного программирования /В.Н. Грищенко// Проблеми програмування. — 2003. — N 2. — С. 42—57. — Бібліогр.: 18 назв. — рос |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862602221635502080 |
|---|---|
| author | Грищенко, В.Н. |
| author_facet | Грищенко, В.Н. |
| citation_txt | Формальные модели компонентного программирования /В.Н. Грищенко// Проблеми програмування. — 2003. — N 2. — С. 42—57. — Бібліогр.: 18 назв. — рос |
| collection | DSpace DC |
| description | Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практикой программирования.
Запропоновано підхід до побудови формальних моделей компонентного програмування як основи створення компонентної теорії. Розглянуті моделі компонентів і компонентних середовищ, визначені зовнішня та внутрішня компонентні алгебри. Проаналізовані різні аспекти запропонованих моделей і їх зв’язок з практикою програмування.
The approach to construction of formal models of component programming, as
bases of component theory creation, is offered. The models of components, component environments and external and internal component algebra are considered. The various aspects of these models and their relations with practice of programming are analysed.
|
| first_indexed | 2025-11-28T02:17:17Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1302 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-28T02:17:17Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Грищенко, В.Н. 2008-07-24T16:51:43Z 2008-07-24T16:51:43Z 2003 Формальные модели компонентного программирования /В.Н. Грищенко// Проблеми програмування. — 2003. — N 2. — С. 42—57. — Бібліогр.: 18 назв. — рос 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1302 681.3 Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практикой программирования. Запропоновано підхід до побудови формальних моделей компонентного програмування як основи створення компонентної теорії. Розглянуті моделі компонентів і компонентних середовищ, визначені зовнішня та внутрішня компонентні алгебри. Проаналізовані різні аспекти запропонованих моделей і їх зв’язок з практикою програмування. The approach to construction of formal models of component programming, as
 bases of component theory creation, is offered. The models of components, component environments and external and internal component algebra are considered. The various aspects of these models and their relations with practice of programming are analysed. ru Інститут програмних систем НАН України Теоретические и методологические основы программирования Формальные модели компонентного программирования Формальні моделі компонентного програмування The Formal method of Component Basic Programming Article published earlier |
| spellingShingle | Формальные модели компонентного программирования Грищенко, В.Н. Теоретические и методологические основы программирования |
| title | Формальные модели компонентного программирования |
| title_alt | Формальні моделі компонентного програмування The Formal method of Component Basic Programming |
| title_full | Формальные модели компонентного программирования |
| title_fullStr | Формальные модели компонентного программирования |
| title_full_unstemmed | Формальные модели компонентного программирования |
| title_short | Формальные модели компонентного программирования |
| title_sort | формальные модели компонентного программирования |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1302 |
| work_keys_str_mv | AT griŝenkovn formalʹnyemodelikomponentnogoprogrammirovaniâ AT griŝenkovn formalʹnímodelíkomponentnogoprogramuvannâ AT griŝenkovn theformalmethodofcomponentbasicprogramming |