Buchumschlag

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:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 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

Ähnliche Einträge

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Formal and adaptive methods and software tools of parallel programming
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

The algebraic model refactoring of components
von: Grischenko, V.N.
Veröffentlicht: (2015)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2010)

Basics of programming in the context of software engineering
von: N. A. Sidorov
Veröffentlicht: (2019)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
von: V. V. Mykytenko
Veröffentlicht: (2022)

Basics of programming in the context of software engineering
von: Sydorov, М.О.
Veröffentlicht: (2019)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)

Component of programming. Theory and implementation
von: Lavrischeva, K.M.
Veröffentlicht: (2015)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Clarification of the basic concepts of programming for a virtual process
von: Yu. V. Koval
Veröffentlicht: (2018)

Formalization of innovative and marketing component of potential of machine-building enterprise
von: Yu. Kucherova
Veröffentlicht: (2014)

Basics programs of Jewish political parities and the issue of national minorities
von: M. Tunyk
Veröffentlicht: (2011)

The Basic Component of Budget Capacity of Capital City
von: Ye. I. Volkovskyi, et al.
Veröffentlicht: (2014)

Formal estimation of the random component in global maps of total electron content
von: Choliy, V.Ya.
Veröffentlicht: (2016)

A model of the basic components in the seismic Vrancea zone
von: Burtiyev, R.Z., et al.
Veröffentlicht: (2020)

Formal estimation of the random component in global maps of total electron content
von: Ya. Choliy
Veröffentlicht: (2016)

Formalized method for solving multicriteria problems
von: A. M. Voronin, et al.
Veröffentlicht: (2022)

A model of the basic components in the seismic Vrancea zone
von: R. Z. Burtiev, et al.
Veröffentlicht: (2020)

Constitutional legality as the basic component of ensuring the principle of legality in Ukraine
von: O. V. Skrypniuk, et al.
Veröffentlicht: (2016)

Treat algorithm implementation by the basic match algorithm based on CLIPS programming environment
von: O. A. Mazhara
Veröffentlicht: (2015)

Formal methods of parallel software design automation
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Formal methods of parallel software design automation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2020)

The dual method of programming
von: A. M. Voronin, et al.
Veröffentlicht: (2022)

Metal complexes of b-diketone as basic components of nanocomposite systems
von: E. K. Trunova, et al.
Veröffentlicht: (2015)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

The Method of Color Formalization of the Level of Information Security Risk
von: V. M. Zvaritch, et al.
Veröffentlicht: (2019)

Formal and functional-semantic correlation of categories of tens and method
von: V. Barchuk
Veröffentlicht: (2011)

The Economic and Socio-Psychological Components of Efficiency of the Programs for Operator Development
von: T. A. Pinchuk
Veröffentlicht: (2017)

Assembly programming component and service-oriented applied software systems
von: P. I. Andon, et al.
Veröffentlicht: (2017)

Assessing the Efficiency of the Financial Component of the Implementation of Targeted Programs in Ukraine
von: O. A. Kanova
Veröffentlicht: (2021)

Assembly programming component and service-oriented applied software systems
von: Andon, P.I., et al.
Veröffentlicht: (2018)

Basics of squeezing zone depth determination method
von: A. V. Molodetskij, et al.
Veröffentlicht: (2012)

Thomas Hobbes&#039;s philosophy of freedom: basic components and modern contexts
von: D. V. Usov
Veröffentlicht: (2021)

A geopolitical component in programs of &quot;Cossack” parties of Ukraine
von: S. Poltavets
Veröffentlicht: (2011)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)