Cover Image

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...

Full description

Saved in:

Bibliographic Details
Published in:	PROBLEMS IN PROGRAMMING
Date:	2026
Issue:	2
Pages:	3-11
ISSN:	1727-4907
Author Affiliations:	V.G. Akulovskiy — Academy of Customs Service of Ukraine
Main Author:	Akulovskiy, V.G.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 519.683
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/994
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
by: Akulovskiy, V.G.
Published: (2026)

Semantic web and Wiki-systems
by: Glibovets, A.M., et al.
Published: (2025)

Construction concepts of the integrated environment architecture of generative programming
by: Morentsov, Y.I.
Published: (2026)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)

Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)

Block algorithm for Householder transformations for hybrid architecture computers
by: Popov, O.V., et al.
Published: (2025)

Fundamentals of data-based algorithm algebra
by: Akulovsky, V.G.
Published: (2026)

Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

Сoordinated description of algorithms within the framework of algebraic vehicle
by: Akulovskiy, V.G., et al.
Published: (2025)

The completeness of the algorithm algebra with data
by: Akulovskiy, V.G., et al.
Published: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

Development of applications in service-oriented architecture of Semantic Web
by: Deretskiy, V.A.
Published: (2025)

Accelerating algorithms for Bayesian network recovery. Adaptation to structures without cycles
by: Balabanov, O.S.
Published: (2025)

Optimization problems solution for queuing systems with failure under uncertainty
by: Kopytchuk, M.B., et al.
Published: (2025)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
by: Zeitlin, G.E., et al.
Published: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
by: Romm, Ya. E., et al.
Published: (2026)

Method for parallelizing nonlinear tasks
by: Paulin, O.N., et al.
Published: (2026)

The development of an algorithm of evacuation plans in emergencies for client¬server architecture
by: V. E. Arutiunian
Published: (2019)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
by: Zavadskyi, I.O.
Published: (2025)

Synthesis of evolutionary mechanisms in the development of an adaptive optimization algorithm
by: Ivanchuk, Y.V., et al.
Published: (2025)

Modeling of heat transfer processes on hybrid architecture computers
by: Duchenko, O.S., et al.
Published: (2024)

A software simulator of an aerobic cell responses to energy disbalance
by: Grygoryan, R.D., et al.
Published: (2025)

Medical-physiological simulators: the necessity and problems
by: Grygoryan, R.D., et al.
Published: (2025)

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

Methodological Foundations of Modeling Enterprise Architecture in the Context of Life Cycle Ontogeny
by: T. O. Tarasova
Published: (2015)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
by: Nepomniaschaya, A.S.
Published: (2026)

Formal aspects of topological complexity
by: P. Pavesic
Published: (2013)

Formal Aspects of Topological Complexity
by: Pavešić, P., et al.
Published: (2013)

About efficiency of computing algorithms for computers of hybrid architecture
by: O. V. Chystiakov
Published: (2019)

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

DS-theory. Scientific aspects and prospects for development
by: Kolesnyk, V.G.
Published: (2018)

Adaptability measurement of e-learning courses
by: Lyubchenko, V.V.
Published: (2026)