The Formal method of Component Basic Programming

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2015
1. Verfasser: Grischenko, V.N.
Format: Artikel
Sprache:rus
Veröffentlicht: Інститут програмних систем НАН України 2015
Schlagworte:
Online Zugang:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Problems in programming

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. Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практикой программирования.  Запропоновано підхід до побудови формальних моделей компонентного програмування як основи створення компонентної теорії. Розглянуті моделі компонентів і компонентних середовищ, визначені зовнішня та внутрішня компонентні алгебри. Проаналізовані різні аспекти запропонованих моделей і їх зв’язок з практикою програмування.  Інститут програмних систем НАН України 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 rus 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 rus
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 Інститут програмних систем НАН України
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_ 1837886434621521920

Ähnliche Einträge