Formal model for verification of personalized educational trajectories based on ALLOY
The article addresses the problem of verification of personalized educational trajectories in modern educa tional engineering under the conditions of digitalization of the educational process. The necessity of verifying the correctness of learning pathways formed with regard to individual educationa...
Збережено в:
| Дата: | 2026 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2026
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1029 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Improving the quality of educational process management through the integration of a module based on ERP ODOO in the context of cloud technologies
за авторством: Bida, P.I., та інші
Опубліковано: (2025)
за авторством: Bida, P.I., та інші
Опубліковано: (2025)
Data processing in interactive training methods on the basis of web technologies
за авторством: Morozova, O. I.
Опубліковано: (2019)
за авторством: Morozova, O. I.
Опубліковано: (2019)
Developing decision-making procedures for elective course selection considering the competence of participants in the educational process
за авторством: Кудін, В. І., та інші
Опубліковано: (2026)
за авторством: Кудін, В. І., та інші
Опубліковано: (2026)
Technological trends & software engineering education: a systematic review study
за авторством: Nesterenko, O.V.
Опубліковано: (2023)
за авторством: Nesterenko, O.V.
Опубліковано: (2023)
Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society
за авторством: Shevchenko, V.V., та інші
Опубліковано: (2022)
за авторством: Shevchenko, V.V., та інші
Опубліковано: (2022)
Masters in environmental science: educational training in Ukraine and Slovakia
за авторством: Mitryasova, Olena, та інші
Опубліковано: (2026)
за авторством: Mitryasova, Olena, та інші
Опубліковано: (2026)
About one method of retracing on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
To the problem of pursuit on the plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
Methods of simulation of behavior of agents in multi-agent system “Navigation”
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
Problem of creation of groups of agents in prosecution/evasion tasks on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
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)
Development of the information system for semantic identification and documentation of the results of non-formal and informal education
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
Scientific substantiation and practical testing of the use of information and communication technologies in the development of economic competence of heads of secondary education institutions
за авторством: Dyvak, V.V., та інші
Опубліковано: (2020)
за авторством: Dyvak, V.V., та інші
Опубліковано: (2020)
To the 90th anniversary of the birthday of Professor Marat Samuilovich Soskin
за авторством: Vasnetsov, M.V.
Опубліковано: (2019)
за авторством: Vasnetsov, M.V.
Опубліковано: (2019)
Use of semantic technologies for dialogue between labor market subjects
за авторством: Pryima, S.M., та інші
Опубліковано: (2018)
за авторством: Pryima, S.M., та інші
Опубліковано: (2018)
Information technology to ensure the survivability of sensor networks
за авторством: Petrivskyi, V.Y., та інші
Опубліковано: (2022)
за авторством: Petrivskyi, V.Y., та інші
Опубліковано: (2022)
Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)
за авторством: Panchuk, B.O.
Опубліковано: (2024)
Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2017)
за авторством: Yalovets, A.L.
Опубліковано: (2017)
Application of neural networks in OLAP-systems
за авторством: Nabibayeva, G.Ch.
Опубліковано: (2024)
за авторством: Nabibayeva, G.Ch.
Опубліковано: (2024)
On a problem of high-precision trajectory measurements by optical means
за авторством: Putyatin, V. G., та інші
Опубліковано: (2017)
за авторством: Putyatin, V. G., та інші
Опубліковано: (2017)
Software system architecture for anthropocentric scheduling of educational workload in higher education institutions
за авторством: Sytnik, O.O.
Опубліковано: (2026)
за авторством: Sytnik, O.O.
Опубліковано: (2026)
COLONIAL PICOFOSSIL'S OF PRECAMBRIAN HYME-NOPHACOIDES ROBLOT 1964: STAGES OF THEIR REPLICATION AS THE BASIC ARGUMENT OF THEIR BIOGENIC VERIFICATION
за авторством: LOPUKHIN, A. S., та інші
Опубліковано: (2011)
за авторством: LOPUKHIN, A. S., та інші
Опубліковано: (2011)
Algorithm and software for determining a musical genre by lyrics to create a song hit
за авторством: Triantafillu, A.A., та інші
Опубліковано: (2021)
за авторством: Triantafillu, A.A., та інші
Опубліковано: (2021)
The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials
за авторством: Krak, Yu.V., та інші
Опубліковано: (2018)
за авторством: Krak, Yu.V., та інші
Опубліковано: (2018)
50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)
за авторством: Sydorov, N.A.
Опубліковано: (2019)
Features of Software Solutions in the Field of Verification and Validation of Numerical Models
за авторством: Гейко, О. О., та інші
Опубліковано: (2025)
за авторством: Гейко, О. О., та інші
Опубліковано: (2025)
Визначення напружень у багатозв’язній анізотропній півплощині на основі модифікованих інтегральних рівнянь
за авторством: Максимович, О. В.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів, та інші
Опубліковано: (2018)
за авторством: Максимович, О. В.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів, та інші
Опубліковано: (2018)
Intonation expressiveness of the text at program sounding
за авторством: Shevchenko, V.L., та інші
Опубліковано: (2021)
за авторством: Shevchenko, V.L., та інші
Опубліковано: (2021)
Routing technology based on virtualization software-defined networking concept
за авторством: Kravchenko, Yu.V., та інші
Опубліковано: (2024)
за авторством: Kravchenko, Yu.V., та інші
Опубліковано: (2024)
Video-based visualization of debugging process
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
The role of establishments of nature protected fund in ecological-educational and recreational-touristic aspects of sustainable development of Zakarpattia region
за авторством: Rybak, M.P., та інші
Опубліковано: (2018)
за авторством: Rybak, M.P., та інші
Опубліковано: (2018)
A novel interception and trajectory tracking control approach for a mobile robot
за авторством: Ben Hadj Mohamed, S., та інші
Опубліковано: (2026)
за авторством: Ben Hadj Mohamed, S., та інші
Опубліковано: (2026)
Ways of Executive Training in Sphere of State Regulation in Fuel and Energy Complex
за авторством: Novoseltsev A.V.
Опубліковано: (1999)
за авторством: Novoseltsev A.V.
Опубліковано: (1999)
Semantic technologies as a tool of information support for professionalization of andragogues
за авторством: Rogushina, J.V., та інші
Опубліковано: (2024)
за авторством: Rogushina, J.V., та інші
Опубліковано: (2024)
Modified model of the aggregated dead zone on examples of radionuclide transfer in natural hydrodynamic systems
за авторством: Sizonenko, V.P.
Опубліковано: (2024)
за авторством: Sizonenko, V.P.
Опубліковано: (2024)
APPLICATION OF ARTIFICIAL INTELLIGENCE IN MECHATRONIC SYSTEMS
за авторством: Kot, M. G., та інші
Опубліковано: (2013)
за авторством: Kot, M. G., та інші
Опубліковано: (2013)
Numerical study of particles trajectories in a multifunctional electrostatic separator powered by photovoltaic system
за авторством: Guettaf, N., та інші
Опубліковано: (2026)
за авторством: Guettaf, N., та інші
Опубліковано: (2026)
The expert analytic process for the choice of the organization management actions using corporative knowledge. Part I. Formal analysis of the goals system
за авторством: Ilina, E.P.
Опубліковано: (2018)
за авторством: Ilina, E.P.
Опубліковано: (2018)
Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)