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)

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: N. A. Sidorov
Veröffentlicht: (2019)

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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)

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

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

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

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