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...
Saved in:
| Date: | 2015 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
PROBLEMS IN PROGRAMMING
2015
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programming| id |
pp_isofts_kiev_ua-article-11 |
|---|---|
| record_format |
ojs |
| fulltext |
|
| 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 ПРОБЛЕМИ ПРОГРАМУВАННЯ |
| institution |
Problems in programming |
| baseUrl_str |
https://pp.isofts.kiev.ua/index.php/ojs1/oai |
| datestamp_date |
2018-10-02T13:45:15Z |
| collection |
OJS |
| language |
Russian |
| topic |
|
| spellingShingle |
Grischenko, V.N. The Formal method of Component Basic Programming |
| topic_facet |
|
| format |
Article |
| author |
Grischenko, V.N. |
| author_facet |
Grischenko, V.N. |
| author_sort |
Grischenko, V.N. |
| title |
The Formal method of Component Basic Programming |
| title_short |
The Formal method of Component Basic Programming |
| 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_sort |
formal method of component basic programming |
| title_alt |
Формальные модели компонентного программирования Формальні моделі компонентного програмування |
| 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. |
| publisher |
PROBLEMS IN PROGRAMMING |
| publishDate |
2015 |
| 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 |
| first_indexed |
2025-07-17T09:38:08Z |
| last_indexed |
2025-07-17T09:38:08Z |
| _version_ |
1850409926366593024 |