About one Approach for the Verification of Algebraic Computations
The approach to verification of interpreters of multi-sorted algebraic operations by their specifications, based on constructive clarification of expansion concept of multi-sorted algebraic system and provingthe axioms of algebraic system is considered. This approach is illustrated by the examples...
Збережено в:
| Дата: | 2025 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2025
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/823 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)
за авторством: Guba, A.A.
Опубліковано: (2025)
An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)
Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)
за авторством: Panchuk, B.O.
Опубліковано: (2024)
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
One approach for advanced internet-programs creation on example of widget-programs developing
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)
Analysis of the computational resources of personal computers
за авторством: Lopatkin, R.Yu., та інші
Опубліковано: (2017)
за авторством: Lopatkin, R.Yu., та інші
Опубліковано: (2017)
About one method of retracing on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)
за авторством: Glushko, I.M.
Опубліковано: (2025)
Fluid models of dynamic scheduling in computer networks
за авторством: Іgnatenko, O.P.
Опубліковано: (2025)
за авторством: Іgnatenko, O.P.
Опубліковано: (2025)
Algebra for the description of data in the composite schemes of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2015)
за авторством: Akulovskiy, V.G.
Опубліковано: (2015)
Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Designing of the specialized computer system for making pulmonology diagnosis
за авторством: Komlevaya, N.O., та інші
Опубліковано: (2025)
за авторством: Komlevaya, N.O., та інші
Опубліковано: (2025)
About development of an ontological toolkit
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)
Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)
Approaches to realization Yen’s algorithm for systems with the shared memory
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
Conflict controlled network modeling: evolutionary games approach
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)
Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
Approach to the building intelligent decision support systems on the basis of ontology
за авторством: Lytvyn, V.V.
Опубліковано: (2025)
за авторством: Lytvyn, V.V.
Опубліковано: (2025)
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)
за авторством: Kolchin, A.V.
Опубліковано: (2018)
Hibrid approach to processing incomplete stream data in distributed real-time systems
за авторством: Zhyliuk, Y., та інші
Опубліковано: (2025)
за авторством: Zhyliuk, Y., та інші
Опубліковано: (2025)
Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
за авторством: Stepaniuk, M.Yu.
Опубліковано: (2025)
за авторством: Stepaniuk, M.Yu.
Опубліковано: (2025)
About relationship between table algebra of infinite tables and multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2018)
за авторством: Glushko, I.M.
Опубліковано: (2018)
DS-theory. The research of P-data factors formating
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
On the possibility of a systematic study of the production management systems
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
About modifiability and bezanomality of a relational database schema
за авторством: Panchenko, B.E.
Опубліковано: (2015)
за авторством: Panchenko, B.E.
Опубліковано: (2015)
About one approach to automatic creation of formal queries to ontological knowledge bases
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)
Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
The architecture and functionality of the multi-agent system Navigation
за авторством: Yalovets, A.L.
Опубліковано: (2018)
за авторством: Yalovets, A.L.
Опубліковано: (2018)
About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
Scheme of parallel computing of maximum contour SH-stresses on a system of non-circular elastic inclusions in an infinite elastic medium
за авторством: Panchenko, B.E., та інші
Опубліковано: (2025)
за авторством: Panchenko, B.E., та інші
Опубліковано: (2025)