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: | Grischenko, V.N. |
| 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 programmingSimilar Items
The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)
by: Lavrischeva, K.M., et al.
Published: (2025)
Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017)
by: Yu. Doroshenko, et al.
Published: (2017)
Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)
by: Doroshenko, А.Yu., et al.
Published: (2018)
Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)
by: Peschanenko, V.S., et al.
Published: (2018)
The algebraic model refactoring of components
by: Grischenko, V.N.
Published: (2015)
by: Grischenko, V.N.
Published: (2015)
Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010)
by: Shilov, N.V., et al.
Published: (2010)
Typification of Sustainable Management Systems and Formalization of Their Basic Models
by: V. V. Mykytenko
Published: (2022)
by: V. V. Mykytenko
Published: (2022)
Basics of programming in the context of software engineering
by: N. A. Sidorov
Published: (2019)
by: N. A. Sidorov
Published: (2019)
Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)
by: Sydorov, М.О.
Published: (2019)
Use of metods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V., et al.
Published: (2018)
by: Peschanenko, V., et al.
Published: (2018)
Use of metods of algebraic programming for the formal verification of legal acts
by: V. Peschanenko, et al.
Published: (2018)
by: V. Peschanenko, et al.
Published: (2018)
Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Component of programming. Theory and implementation
by: Lavrischeva, K.M.
Published: (2015)
by: Lavrischeva, K.M.
Published: (2015)
Clarification of the basic concepts of programming for a virtual process
by: Yu. V. Koval
Published: (2018)
by: Yu. V. Koval
Published: (2018)
Formalization of innovative and marketing component of potential of machine-building enterprise
by: Yu. Kucherova
Published: (2014)
by: Yu. Kucherova
Published: (2014)
Basics programs of Jewish political parities and the issue of national minorities
by: M. Tunyk
Published: (2011)
by: M. Tunyk
Published: (2011)
Formal estimation of the random component in global maps of total electron content
by: Choliy, V.Ya.
Published: (2016)
by: Choliy, V.Ya.
Published: (2016)
Formal estimation of the random component in global maps of total electron content
by: Ya. Choliy
Published: (2016)
by: Ya. Choliy
Published: (2016)
The Basic Component of Budget Capacity of Capital City
by: Ye. I. Volkovskyi, et al.
Published: (2014)
by: Ye. I. Volkovskyi, et al.
Published: (2014)
Formalized method for solving multicriteria problems
by: A. M. Voronin, et al.
Published: (2022)
by: A. M. Voronin, et al.
Published: (2022)
A model of the basic components in the seismic Vrancea zone
by: Burtiyev, R.Z., et al.
Published: (2020)
by: Burtiyev, R.Z., et al.
Published: (2020)
A model of the basic components in the seismic Vrancea zone
by: R. Z. Burtiev, et al.
Published: (2020)
by: R. Z. Burtiev, et al.
Published: (2020)
Formal methods of parallel software design automation
by: Doroshenko, A.Yu., et al.
Published: (2020)
by: Doroshenko, A.Yu., et al.
Published: (2020)
Formal methods of parallel software design automation
by: Yu. Doroshenko, et al.
Published: (2020)
by: Yu. Doroshenko, et al.
Published: (2020)
Treat algorithm implementation by the basic match algorithm based on CLIPS programming environment
by: O. A. Mazhara
Published: (2015)
by: O. A. Mazhara
Published: (2015)
Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)
by: Kolchin, A.V., et al.
Published: (2015)
Constitutional legality as the basic component of ensuring the principle of legality in Ukraine
by: O. V. Skrypniuk, et al.
Published: (2016)
by: O. V. Skrypniuk, et al.
Published: (2016)
The dual method of programming
by: A. M. Voronin, et al.
Published: (2022)
by: A. M. Voronin, et al.
Published: (2022)
The Method of Color Formalization of the Level of Information Security Risk
by: V. M. Zvaritch, et al.
Published: (2019)
by: V. M. Zvaritch, et al.
Published: (2019)
Formal and functional-semantic correlation of categories of tens and method
by: V. Barchuk
Published: (2011)
by: V. Barchuk
Published: (2011)
Metal complexes of b-diketone as basic components of nanocomposite systems
by: E. K. Trunova, et al.
Published: (2015)
by: E. K. Trunova, et al.
Published: (2015)
Assembly programming component and service-oriented applied software systems
by: Andon, P.I., et al.
Published: (2018)
by: Andon, P.I., et al.
Published: (2018)
The Economic and Socio-Psychological Components of Efficiency of the Programs for Operator Development
by: T. A. Pinchuk
Published: (2017)
by: T. A. Pinchuk
Published: (2017)
Assembly programming component and service-oriented applied software systems
by: P. I. Andon, et al.
Published: (2017)
by: P. I. Andon, et al.
Published: (2017)
Assessing the Efficiency of the Financial Component of the Implementation of Targeted Programs in Ukraine
by: O. A. Kanova
Published: (2021)
by: O. A. Kanova
Published: (2021)
Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)
by: Kolchin, A.V.
Published: (2018)
A geopolitical component in programs of "Cossack” parties of Ukraine
by: S. Poltavets
Published: (2011)
by: S. Poltavets
Published: (2011)
Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018)
by: A. Kolchin
Published: (2018)
Basics of squeezing zone depth determination method
by: A. V. Molodetskij, et al.
Published: (2012)
by: A. V. Molodetskij, et al.
Published: (2012)
Similar Items
-
The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025) -
Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017) -
Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018) -
Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018) -
The algebraic model refactoring of components
by: Grischenko, V.N.
Published: (2015)