Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	PROBLEMS IN PROGRAMMING
Дата:	2026
Випуск:	2
Сторінки:	3-11
ISSN:	1727-4907
Автори та афіліації:	V.G. Akulovskiy — Academy of Customs Service of Ukraine
Автор:	Akulovskiy, V.G.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 519.683
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/994
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)

Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)

Construction concepts of the integrated environment architecture of generative programming
за авторством: Morentsov, Y.I.
Опубліковано: (2026)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)

Fundamentals of data-based algorithm algebra
за авторством: Akulovsky, V.G.
Опубліковано: (2026)

Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
за авторством: Kolchin, A.V.
Опубліковано: (2026)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)

The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Development of applications in service-oriented architecture of Semantic Web
за авторством: Deretskiy, V.A.
Опубліковано: (2025)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

Accelerating algorithms for Bayesian network recovery. Adaptation to structures without cycles
за авторством: Balabanov, O.S.
Опубліковано: (2025)

Optimization problems solution for queuing systems with failure under uncertainty
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
за авторством: Zeitlin, G.E., та інші
Опубліковано: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
за авторством: Romm, Ya. E., та інші
Опубліковано: (2026)

Method for parallelizing nonlinear tasks
за авторством: Paulin, O.N., та інші
Опубліковано: (2026)

The development of an algorithm of evacuation plans in emergencies for client¬server architecture
за авторством: V. E. Arutiunian
Опубліковано: (2019)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)

Synthesis of evolutionary mechanisms in the development of an adaptive optimization algorithm
за авторством: Ivanchuk, Y.V., та інші
Опубліковано: (2025)

Modeling of heat transfer processes on hybrid architecture computers
за авторством: Duchenko, O.S., та інші
Опубліковано: (2024)

A software simulator of an aerobic cell responses to energy disbalance
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)

Medical-physiological simulators: the necessity and problems
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)

Software architectural design for the interactive learning of sign language
за авторством: Kryvonos, Yu.G., та інші
Опубліковано: (2025)

Methodological Foundations of Modeling Enterprise Architecture in the Context of Life Cycle Ontogeny
за авторством: T. O. Tarasova
Опубліковано: (2015)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
за авторством: Nepomniaschaya, A.S.
Опубліковано: (2026)

Formal aspects of topological complexity
за авторством: P. Pavesic
Опубліковано: (2013)

Formal Aspects of Topological Complexity
за авторством: Pavešić, P., та інші
Опубліковано: (2013)

About efficiency of computing algorithms for computers of hybrid architecture
за авторством: O. V. Chystiakov
Опубліковано: (2019)

Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

Adaptability measurement of e-learning courses
за авторством: Lyubchenko, V.V.
Опубліковано: (2026)