Cover Image

Multivariance of the notations of representation of algorithms of operation of software as path to their verification

The various variants of the notations of representation of algorithms of the application tasks in information systems are considered, that enables before their program implementation to lead(carry out) verification of the accepted solutions on their construction, using for this purpose various tools...

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Authors:	Alekseev, V.A., Tereshchenko, V.S.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/979
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

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 registration and accounting of the information about events in specialized informational-telecommunication systems
by: Alekseev, V.A., et al.
Published: (2025)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
by: Alekseev, V.A., et al.
Published: (2015)

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

Approach to design software applications of use Web Service
by: Deretsky, V.A., et al.
Published: (2026)

Estimation of reliability of modular software
by: Antsypov, A.V., et al.
Published: (2026)

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

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

Cybernetics, Informatics and Software Engineering: Aspects of Development
by: Lavrischeva, K.M.
Published: (2025)

Support for the management of variability in the family of software systems
by: Kolesnik, A.L.
Published: (2015)

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

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

An improvement for software families’ development with agile methodologies’ elements
by: Koval, G.I., et al.
Published: (2026)

Conception of industry scientific software to decision scientific tasks
by: Lavrischeva, K.M.
Published: (2025)

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

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

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

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
by: Ivanenko, P.A., et al.
Published: (2026)

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

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)

An estimation of efficiency of algorithms of cryptographic compression of built is on basis of tree of Shterna - Broko
by: Glinchuk, L.Ya.
Published: (2026)

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

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

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
by: Voznyuk, T.G.
Published: (2025)

About one technique for forming an object representation of relational data
by: Likhatsky, I.A.
Published: (2025)

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

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
by: Shekhovtsov, V.A.
Published: (2026)

Approach to determination of completeness of composition of Semantic Web-services
by: Deretsky, V.A.
Published: (2026)

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

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

Virtualization of models of technical plants in educational and research problems in the development of control systems
by: Zherebko, V.A.
Published: (2017)

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

The practical approach for realization Semantic Web applications
by: Deretskiy, V.A., et al.
Published: (2026)

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

Axiomatic models and methods used to design of language translators
by: Parasyuk, I.N., et al.
Published: (2015)

On some technology of project modeling of stochastic manufacturing technological processes
by: Maksimey, I.V., et al.
Published: (2015)

The approach of cluster system interfaces implementation
by: Marianovskyi, V.A., et al.
Published: (2026)

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

About some approaches to calculating uncertainties
by: Provotar, A.I., et al.
Published: (2026)

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)