Cover Image

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms

An approach to formalized development of parallel programs using ontologies and algebra-algorithmic facilities is proposed. Ontology gives opportunity to describe the skeleton of the program representing main objects in the given subject domain – data, functions and relations between functions. Once...

Full description

Saved in:

Bibliographic Details
Published in:	PROBLEMS IN PROGRAMMING
Date:	2026
Issue:	4
Pages:	94-103
ISSN:	1727-4907
Author Affiliations:	A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine E.A. Yatsenko — Institute of Software Systems NAS of Ukraine
Main Authors:	Doroshenko, A.Yu., Yatsenko, E.A.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1019
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

High level facilities for design automation of parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2026)

Facilities for service-oriented programming of parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2026)

Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

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

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
by: Berezovsky, K.A., et al.
Published: (2026)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)

Features of implementation of toolkit for transformational synthesis of parallel algorithms
by: Mohnitsa, A.S., et al.
Published: (2026)

Methods of automated algorithms schemes transformation
by: Shkulipa, I.Yu., et al.
Published: (2026)

analysis of parallel algorithm for constructing 2D Voronoi diagram
by: Berezovskiy, K.A.
Published: (2026)

Development of highly-parallel applications for graphical processing units using rewriting rules
by: Doroshenko, A.Yu., et al.
Published: (2026)

Construction of parallel algorithm for numeric solving multidimensional problem of environmental modeling
by: Chernish, R.I., et al.
Published: (2026)

Algorithmic algebra tools on the Web 2.0 platform
by: Iovchev, V.A., et al.
Published: (2026)

Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
by: A. E. Doroshenko, et al.
Published: (2017)

Financial and economic ontology of information storage
by: Melashchenko, A.O., et al.
Published: (2026)

Generayive programming of program systems and their families
by: Lavrisheva, K.M.
Published: (2026)

Using ontological knowledge in recommender systems
by: Rogushina, J.V.
Published: (2025)

Design of ontological system of terms and their cognitive models in scientific research
by: Rogushina, J.V., et al.
Published: (2026)

Problem of automation of situational management of protection of zones of the responsibility
by: Alekseev, V.A., et al.
Published: (2025)

Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)

Technological Model for the Process of Software Automated Production
by: Slabospitska, O.O.
Published: (2025)

Automated program design for solution of weather forecasting problem
by: Doroshenko, A.Yu., et al.
Published: (2018)

Approach to programming of applications with using of Semantic Web-services
by: Deretsky, V.A.
Published: (2026)

Model program, systems and operational environments
by: Lavrischeva, K.M.
Published: (2025)

The automation of the stages of elaboration and exploitation of the imitation models of transport systems
by: Maksimey, I.V., et al.
Published: (2026)

Parallel non-negative sparse extra-large matrix factorization
by: Nasirov, E.M.
Published: (2025)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2020)

Methodology for developing an automated information system for the recording and forward planning of sanatorium, spa and rehabilitation treatment for victims
by: Chadyuk, A.V., et al.
Published: (2026)

Technological aspects of viable software development using generative programming
by: Ignatenko, P.P., et al.
Published: (2026)

AWP – instrument for project and programming complex systems on the base system analisys
by: Antonov, V.M., et al.
Published: (2026)

Genetic algorithm for solving routing problems in networks
by: Pogorilyy, S.D., et al.
Published: (2026)

Semantics role in integration of applications on the basis of Web services
by: Andon, P.I., et al.
Published: (2026)

Approach to composition of Web-services on basis of specification of functional semantics
by: Deretsky, V.A.
Published: (2026)

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

Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments
by: Alekseev, V.A., et al.
Published: (2026)

The program technological complex of decision making in industrial enterprise management on early stages of crises changes
by: Masalitina, N.N., et al.
Published: (2025)

Agent model of information retrieval on the basis of beehive metaphor
by: Remarovich, S.S.
Published: (2025)

Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
by: Назиров, Ш. А., et al.
Published: (2016)