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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автори:	Alekseev, V.A., Tereshchenko, V.S.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 681.3
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/979
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)

The registration and accounting of the information about events in specialized informational-telecommunication systems
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)

Problem of automation of situational management of protection of zones of the responsibility
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)

Approach to design software applications of use Web Service
за авторством: Deretsky, V.A., та інші
Опубліковано: (2026)

Estimation of reliability of modular software
за авторством: Antsypov, A.V., та інші
Опубліковано: (2026)

Algorithmic algebra tools on the Web 2.0 platform
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)

Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Support for the management of variability in the family of software systems
за авторством: Kolesnik, A.L.
Опубліковано: (2015)

Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)

An improvement for software families’ development with agile methodologies’ elements
за авторством: Koval, G.I., та інші
Опубліковано: (2026)

Conception of industry scientific software to decision scientific tasks
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Technological aspects of viable software development using generative programming
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)

Methods of automated algorithms schemes transformation
за авторством: Shkulipa, I.Yu., та інші
Опубліковано: (2026)

Genetic algorithm for solving routing problems in networks
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2026)

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

An estimation of efficiency of algorithms of cryptographic compression of built is on basis of tree of Shterna - Broko
за авторством: Glinchuk, L.Ya.
Опубліковано: (2026)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Model program, systems and operational environments
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
за авторством: Voznyuk, T.G.
Опубліковано: (2025)

About one technique for forming an object representation of relational data
за авторством: Likhatsky, I.A.
Опубліковано: (2025)

Approach to programming of applications with using of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
за авторством: Shekhovtsov, V.A.
Опубліковано: (2026)

Approach to determination of completeness of composition of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)

Approach to composition of Web-services on basis of specification of functional semantics
за авторством: Deretsky, V.A.
Опубліковано: (2026)

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

Virtualization of models of technical plants in educational and research problems in the development of control systems
за авторством: Zherebko, V.A.
Опубліковано: (2017)

Semantics role in integration of applications on the basis of Web services
за авторством: Andon, P.I., та інші
Опубліковано: (2026)

The practical approach for realization Semantic Web applications
за авторством: Deretskiy, V.A., та інші
Опубліковано: (2026)

High level facilities for design automation of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

On some technology of project modeling of stochastic manufacturing technological processes
за авторством: Maksimey, I.V., та інші
Опубліковано: (2015)

The approach of cluster system interfaces implementation
за авторством: Marianovskyi, V.A., та інші
Опубліковано: (2026)

Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

About some approaches to calculating uncertainties
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)

Methodology for developing an automated information system for the recording and forward planning of sanatorium, spa and rehabilitation treatment for victims
за авторством: Chadyuk, A.V., та інші
Опубліковано: (2026)