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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2015
Автор: Grischenko, V.N.
Формат: Стаття
Мова:Russian
Опубліковано: PROBLEMS IN PROGRAMMING 2015
Теми:
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

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

Схожі ресурси