Some aspects of formalization of an architectural development cycle of algorithms
The approach to formalization of some aspects of an architectural development cycle of algorithms within the framework of which solve the tasks of representation of algorithm as connection of subsystems, specification of the data process able by subsystems, and the specification of information subsy...
Gespeichert in:
| Veröffentlicht in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Datum: | 2026 |
| Heft: | 2 |
| Сторінки: | 3-11 |
| ISSN: | 1727-4907 |
| Автори та афіліації: |
|
| 1. Verfasser: | Akulovskiy, V.G. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2026
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/994 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |
|
Institution
Problems in programmingÄhnliche Einträge
Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)
von: Akulovskiy, V.G.
Veröffentlicht: (2026)
Semantic web and Wiki-systems
von: Glibovets, A.M., et al.
Veröffentlicht: (2025)
von: Glibovets, A.M., et al.
Veröffentlicht: (2025)
Construction concepts of the integrated environment architecture of generative programming
von: Morentsov, Y.I.
Veröffentlicht: (2026)
von: Morentsov, Y.I.
Veröffentlicht: (2026)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
Block algorithm for Householder transformations for hybrid architecture computers
von: Popov, O.V., et al.
Veröffentlicht: (2025)
von: Popov, O.V., et al.
Veröffentlicht: (2025)
Fundamentals of data-based algorithm algebra
von: Akulovsky, V.G.
Veröffentlicht: (2026)
von: Akulovsky, V.G.
Veröffentlicht: (2026)
Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)
Test scenarios generation based on formal model
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)
A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
von: Kolchin, A.V.
Veröffentlicht: (2026)
von: Kolchin, A.V.
Veröffentlicht: (2026)
Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)
von: Shilov, N.V., et al.
Veröffentlicht: (2026)
Сoordinated description of algorithms within the framework of algebraic vehicle
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)
The completeness of the algorithm algebra with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2018)
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2018)
Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)
von: Palagin, O.V., et al.
Veröffentlicht: (2025)
Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)
Development of applications in service-oriented architecture of Semantic Web
von: Deretskiy, V.A.
Veröffentlicht: (2025)
von: Deretskiy, V.A.
Veröffentlicht: (2025)
Accelerating algorithms for Bayesian network recovery. Adaptation to structures without cycles
von: Balabanov, O.S.
Veröffentlicht: (2025)
von: Balabanov, O.S.
Veröffentlicht: (2025)
Optimization problems solution for queuing systems with failure under uncertainty
von: Kopytchuk, M.B., et al.
Veröffentlicht: (2025)
von: Kopytchuk, M.B., et al.
Veröffentlicht: (2025)
Environmental aspects of reprezantation knowlend in algebra of algorithmic
von: Zeitlin, G.E., et al.
Veröffentlicht: (2026)
von: Zeitlin, G.E., et al.
Veröffentlicht: (2026)
Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
von: Romm, Ya. E., et al.
Veröffentlicht: (2026)
von: Romm, Ya. E., et al.
Veröffentlicht: (2026)
Method for parallelizing nonlinear tasks
von: Paulin, O.N., et al.
Veröffentlicht: (2026)
von: Paulin, O.N., et al.
Veröffentlicht: (2026)
The development of an algorithm of evacuation plans in emergencies for client¬server architecture
von: V. E. Arutiunian
Veröffentlicht: (2019)
von: V. E. Arutiunian
Veröffentlicht: (2019)
Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
von: Zavadskyi, I.O.
Veröffentlicht: (2025)
von: Zavadskyi, I.O.
Veröffentlicht: (2025)
Synthesis of evolutionary mechanisms in the development of an adaptive optimization algorithm
von: Ivanchuk, Y.V., et al.
Veröffentlicht: (2025)
von: Ivanchuk, Y.V., et al.
Veröffentlicht: (2025)
Modeling of heat transfer processes on hybrid architecture computers
von: Duchenko, O.S., et al.
Veröffentlicht: (2024)
von: Duchenko, O.S., et al.
Veröffentlicht: (2024)
A software simulator of an aerobic cell responses to energy disbalance
von: Grygoryan, R.D., et al.
Veröffentlicht: (2025)
von: Grygoryan, R.D., et al.
Veröffentlicht: (2025)
Medical-physiological simulators: the necessity and problems
von: Grygoryan, R.D., et al.
Veröffentlicht: (2025)
von: Grygoryan, R.D., et al.
Veröffentlicht: (2025)
Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)
Methodological Foundations of Modeling Enterprise Architecture in the Context of Life Cycle Ontogeny
von: T. O. Tarasova
Veröffentlicht: (2015)
von: T. O. Tarasova
Veröffentlicht: (2015)
Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
von: Nepomniaschaya, A.S.
Veröffentlicht: (2026)
von: Nepomniaschaya, A.S.
Veröffentlicht: (2026)
Formal aspects of topological complexity
von: P. Pavesic
Veröffentlicht: (2013)
von: P. Pavesic
Veröffentlicht: (2013)
Formal Aspects of Topological Complexity
von: Pavešić, P., et al.
Veröffentlicht: (2013)
von: Pavešić, P., et al.
Veröffentlicht: (2013)
About efficiency of computing algorithms for computers of hybrid architecture
von: O. V. Chystiakov
Veröffentlicht: (2019)
von: O. V. Chystiakov
Veröffentlicht: (2019)
Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)
von: Kolesnyk, V.G.
Veröffentlicht: (2018)
Adaptability measurement of e-learning courses
von: Lyubchenko, V.V.
Veröffentlicht: (2026)
von: Lyubchenko, V.V.
Veröffentlicht: (2026)
Ähnliche Einträge
-
Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026) -
Semantic web and Wiki-systems
von: Glibovets, A.M., et al.
Veröffentlicht: (2025) -
Construction concepts of the integrated environment architecture of generative programming
von: Morentsov, Y.I.
Veröffentlicht: (2026) -
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025) -
Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)