Зображення обкладинки

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.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2015
Теми:
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/11
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Formal and adaptive methods and software tools of parallel programming
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

The algebraic model refactoring of components
за авторством: Grischenko, V.N.
Опубліковано: (2015)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
за авторством: V. V. Mykytenko
Опубліковано: (2022)

Basics of programming in the context of software engineering
за авторством: N. A. Sidorov
Опубліковано: (2019)

Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)

Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Component of programming. Theory and implementation
за авторством: Lavrischeva, K.M.
Опубліковано: (2015)

Clarification of the basic concepts of programming for a virtual process
за авторством: Yu. V. Koval
Опубліковано: (2018)

Formalization of innovative and marketing component of potential of machine-building enterprise
за авторством: Yu. Kucherova
Опубліковано: (2014)

Formal estimation of the random component in global maps of total electron content
за авторством: Choliy, V.Ya.
Опубліковано: (2016)

Basics programs of Jewish political parities and the issue of national minorities
за авторством: M. Tunyk
Опубліковано: (2011)

Formal estimation of the random component in global maps of total electron content
за авторством: Ya. Choliy
Опубліковано: (2016)

The Basic Component of Budget Capacity of Capital City
за авторством: Ye. I. Volkovskyi, та інші
Опубліковано: (2014)

Formalized method for solving multicriteria problems
за авторством: A. M. Voronin, та інші
Опубліковано: (2022)

A model of the basic components in the seismic Vrancea zone
за авторством: Burtiyev, R.Z., та інші
Опубліковано: (2020)

A model of the basic components in the seismic Vrancea zone
за авторством: R. Z. Burtiev, та інші
Опубліковано: (2020)

Formal methods of parallel software design automation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2020)

Formal methods of parallel software design automation
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Treat algorithm implementation by the basic match algorithm based on CLIPS programming environment
за авторством: O. A. Mazhara
Опубліковано: (2015)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Constitutional legality as the basic component of ensuring the principle of legality in Ukraine
за авторством: O. V. Skrypniuk, та інші
Опубліковано: (2016)

The dual method of programming
за авторством: A. M. Voronin, та інші
Опубліковано: (2022)

The Method of Color Formalization of the Level of Information Security Risk
за авторством: V. M. Zvaritch, та інші
Опубліковано: (2019)

Formal and functional-semantic correlation of categories of tens and method
за авторством: V. Barchuk
Опубліковано: (2011)

Metal complexes of b-diketone as basic components of nanocomposite systems
за авторством: E. K. Trunova, та інші
Опубліковано: (2015)

Assembly programming component and service-oriented applied software systems
за авторством: Andon, P.I., та інші
Опубліковано: (2018)

The Economic and Socio-Psychological Components of Efficiency of the Programs for Operator Development
за авторством: T. A. Pinchuk
Опубліковано: (2017)

Assembly programming component and service-oriented applied software systems
за авторством: P. I. Andon, та інші
Опубліковано: (2017)

Assessing the Efficiency of the Financial Component of the Implementation of Targeted Programs in Ukraine
за авторством: O. A. Kanova
Опубліковано: (2021)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

A geopolitical component in programs of &quot;Cossack” parties of Ukraine
за авторством: S. Poltavets
Опубліковано: (2011)

Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)

Basics of squeezing zone depth determination method
за авторством: A. V. Molodetskij, та інші
Опубліковано: (2012)