The Formal method of Component Basic Programming
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 practic...
Збережено в:
| Дата: | 2015 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2015
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programming| _version_ | 1859477332080721920 |
|---|---|
| author | Grischenko, V.N. |
| author_facet | Grischenko, V.N. |
| author_sort | Grischenko, V.N. |
| baseUrl_str | https://pp.isofts.kiev.ua/index.php/ojs1/oai |
| collection | OJS |
| datestamp_date | 2018-10-02T13:45:15Z |
| 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-07-17T09:38:08Z |
| format | Article |
| fulltext | |
| id | pp_isofts_kiev_ua-article-11 |
| institution | Problems in programming |
| keywords_txt_mv | keywords |
| language | Russian |
| last_indexed | 2025-07-17T09:38:08Z |
| publishDate | 2015 |
| publisher | PROBLEMS IN PROGRAMMING |
| record_format | ojs |
| resource_txt_mv | |
| spelling | pp_isofts_kiev_ua-article-112018-10-02T13:45:15Z The Formal method of Component Basic Programming Формальные модели компонентного программирования Формальні моделі компонентного програмування Grischenko, V.N. 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. Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практикой программирования. Запропоновано підхід до побудови формальних моделей компонентного програмування як основи створення компонентної теорії. Розглянуті моделі компонентів і компонентних середовищ, визначені зовнішня та внутрішня компонентні алгебри. Проаналізовані різні аспекти запропонованих моделей і їх зв’язок з практикою програмування. PROBLEMS IN PROGRAMMING ПРОБЛЕМЫ ПРОГРАММИРОВАНИЯ ПРОБЛЕМИ ПРОГРАМУВАННЯ 2015-07-01 Article Article inode/x-empty https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11 PROBLEMS IN PROGRAMMING; No 2 (2003) ПРОБЛЕМЫ ПРОГРАММИРОВАНИЯ; No 2 (2003) ПРОБЛЕМИ ПРОГРАМУВАННЯ; No 2 (2003) 1727-4907 ru https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11/16 Copyright (c) 2015 ПРОБЛЕМИ ПРОГРАМУВАННЯ |
| spellingShingle | Grischenko, V.N. The Formal method of Component Basic Programming |
| title | The Formal method of Component Basic Programming |
| title_alt | Формальные модели компонентного программирования Формальні моделі компонентного програмування |
| title_full | The Formal method of Component Basic Programming |
| title_fullStr | The Formal method of Component Basic Programming |
| title_full_unstemmed | The Formal method of Component Basic Programming |
| title_short | The Formal method of Component Basic Programming |
| title_sort | formal method of component basic programming |
| topic | |
| topic_facet | |
| url | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11 |
| work_keys_str_mv | AT grischenkovn theformalmethodofcomponentbasicprogramming AT grischenkovn formalʹnyemodelikomponentnogoprogrammirovaniâ AT grischenkovn formalʹnímodelíkomponentnogoprogramuvannâ AT grischenkovn formalmethodofcomponentbasicprogramming |