Формальные модели компонентного программирования
Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практ...
Saved in:
| Date: | 2003 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1302 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальные модели компонентного программирования /В.Н. Грищенко// Проблеми програмування. — 2003. — N 2. — С. 42—57. — Бібліогр.: 18 назв. — рос |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1302 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Формальные модели компонентного программирования |
| spellingShingle |
Формальные модели компонентного программирования Грищенко, В.Н. Теоретические и методологические основы программирования |
| title_short |
Формальные модели компонентного программирования |
| title_full |
Формальные модели компонентного программирования |
| title_fullStr |
Формальные модели компонентного программирования |
| title_full_unstemmed |
Формальные модели компонентного программирования |
| title_sort |
формальные модели компонентного программирования |
| author |
Грищенко, В.Н. |
| author_facet |
Грищенко, В.Н. |
| topic |
Теоретические и методологические основы программирования |
| topic_facet |
Теоретические и методологические основы программирования |
| publishDate |
2003 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Формальні моделі компонентного програмування The Formal method of Component Basic Programming |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1302 |
| citation_txt |
Формальные модели компонентного программирования /В.Н. Грищенко// Проблеми програмування. — 2003. — N 2. — С. 42—57. — Бібліогр.: 18 назв. — рос |
| work_keys_str_mv |
AT griŝenkovn formalʹnyemodelikomponentnogoprogrammirovaniâ AT griŝenkovn formalʹnímodelíkomponentnogoprogramuvannâ AT griŝenkovn theformalmethodofcomponentbasicprogramming |
| first_indexed |
2025-11-28T02:17:17Z |
| last_indexed |
2025-11-28T02:17:17Z |
| _version_ |
1850853206981083136 |