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: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

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

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)

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)

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)

Clarification of the basic concepts of programming for a virtual process
von: Yu. V. Koval
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)

A model of the basic components in the seismic Vrancea zone
von: Burtiyev, R.Z., 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)

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

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

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

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

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

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

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

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)

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

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)

Digital Program Control and Complex Component Processing in Performance-Driven Production Engineering
von: Petrova, Desislava, et al.
Veröffentlicht: (2025)

Formal and Non-Formal Education in Poland in the Conditions of the European Educational Space
von: T. Maslova
Veröffentlicht: (2018)

Selection of basic components of slag-forming mixture for single-step removal of impurities from cast iron
von: V. H. Kysliakov, et al.
Veröffentlicht: (2022)

Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)

On method of solving the problem of convex programming
von: E. I. Nenakhov
Veröffentlicht: (2018)

Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)

Four-particle formalism of the CDW method in two-electron charge-exchange reactions
von: Yu. Lazur, et al.
Veröffentlicht: (2020)

Methods and tools for developing an information system for validation of non-formal learning outcomes
von: S. M. Pryima, et al.
Veröffentlicht: (2020)

A method of formalizing the making decision process based on the theory of threshold elements
von: Azarova, A. O., et al.
Veröffentlicht: (2018)

Methods and tools for developing an information system for validation of non-formal learning outcomes
von: Pryima, S.M., et al.
Veröffentlicht: (2020)

A method of formalizing the making decision process based on the theory of threshold elements
von: A. O. Azarova, et al.
Veröffentlicht: (2018)

Method of calibration of the СOCOMO model by reduction of the basic equation
von: Batsenko, D.V.
Veröffentlicht: (2015)

The method of calculating the sums stepped coverage as basic tool for controlling service
von: N. M. Mykhailychenko, et al.
Veröffentlicht: (2017)