Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
Hauptverfasser:	Alekseev, V.A., Tereshchenko, V.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/979
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

The registration and accounting of the information about events in specialized informational-telecommunication systems
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)

Problem of automation of situational management of protection of zones of the responsibility
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)

Approach to design software applications of use Web Service
von: Deretsky, V.A., et al.
Veröffentlicht: (2026)

Estimation of reliability of modular software
von: Antsypov, A.V., et al.
Veröffentlicht: (2026)

Algorithmic algebra tools on the Web 2.0 platform
von: Iovchev, V.A., et al.
Veröffentlicht: (2026)

Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

Support for the management of variability in the family of software systems
von: Kolesnik, A.L.
Veröffentlicht: (2015)

Features of implementation of toolkit for transformational synthesis of parallel algorithms
von: Mohnitsa, A.S., et al.
Veröffentlicht: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

An improvement for software families’ development with agile methodologies’ elements
von: Koval, G.I., et al.
Veröffentlicht: (2026)

Conception of industry scientific software to decision scientific tasks
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

Technological aspects of viable software development using generative programming
von: Ignatenko, P.P., et al.
Veröffentlicht: (2026)

Methods of automated algorithms schemes transformation
von: Shkulipa, I.Yu., et al.
Veröffentlicht: (2026)

Genetic algorithm for solving routing problems in networks
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2026)

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
von: Ivanenko, P.A., et al.
Veröffentlicht: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

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

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

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

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

About one technique for forming an object representation of relational data
von: Likhatsky, I.A.
Veröffentlicht: (2025)

Approach to programming of applications with using of Semantic Web-services
von: Deretsky, V.A.
Veröffentlicht: (2026)

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

Development of applications in service-oriented architecture of Semantic Web
von: Deretskiy, V.A.
Veröffentlicht: (2025)

Virtualization of models of technical plants in educational and research problems in the development of control systems
von: Zherebko, V.A.
Veröffentlicht: (2017)

Semantics role in integration of applications on the basis of Web services
von: Andon, P.I., et al.
Veröffentlicht: (2026)

The practical approach for realization Semantic Web applications
von: Deretskiy, V.A., et al.
Veröffentlicht: (2026)

Axiomatic models and methods used to design of language translators
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

On some technology of project modeling of stochastic manufacturing technological processes
von: Maksimey, I.V., et al.
Veröffentlicht: (2015)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

About some approaches to calculating uncertainties
von: Provotar, A.I., et al.
Veröffentlicht: (2026)

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

The problem of interoperability of heterogeneous objects, components and systems. Approaches to its solution
von: Lavrischeva, E.M.
Veröffentlicht: (2026)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)

Approach to improve efficiency of service-oriented systems using estimation and distribution of load
von: Tulika, E.M.
Veröffentlicht: (2026)

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

Cyberakmeology concept and principles projection programm-technology systems
von: Antonov, V.M., et al.
Veröffentlicht: (2026)