Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Authors:	Poltoratskyi, M.Yu., Volianiuk, A.S.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	personalized learning educational trajectory verification educational engineering adaptability skills career goal algorithm model course UDC 004.942:37.018.43
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1029
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

Improving the quality of educational process management through the integration of a module based on ERP ODOO in the context of cloud technologies
by: Bida, P.I., et al.
Published: (2025)

Data processing in interactive training methods on the basis of web technologies
by: Morozova, O. I.
Published: (2019)

Developing decision-making procedures for elective course selection considering the competence of participants in the educational process
by: Кудін, В. І., et al.
Published: (2026)

Technological trends & software engineering education: a systematic review study
by: Nesterenko, O.V.
Published: (2023)

Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society
by: Shevchenko, V.V., et al.
Published: (2022)

Masters in environmental science: educational training in Ukraine and Slovakia
by: Mitryasova, Olena, et al.
Published: (2026)

About one method of retracing on a plane
by: Yalovets, A.L.
Published: (2025)

To the problem of pursuit on the plane
by: Yalovets, A.L.
Published: (2025)

Methods of simulation of behavior of agents in multi-agent system “Navigation”
by: Yalovets, A.L.
Published: (2025)

Problem of creation of groups of agents in prosecution/evasion tasks on a plane
by: Yalovets, A.L.
Published: (2025)

About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents
by: Yalovets, A.L.
Published: (2025)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
by: Pryima, S.M., et al.
Published: (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
by: Dyvak, V.V., et al.
Published: (2020)

To the 90th anniversary of the birthday of Professor Marat Samuilovich Soskin
by: Vasnetsov, M.V.
Published: (2019)

Use of semantic technologies for dialogue between labor market subjects
by: Pryima, S.M., et al.
Published: (2018)

Information technology to ensure the survivability of sensor networks
by: Petrivskyi, V.Y., et al.
Published: (2022)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
by: Yalovets, A.L.
Published: (2017)

Application of neural networks in OLAP-systems
by: Nabibayeva, G.Ch.
Published: (2024)

On a problem of high-precision trajectory measurements by optical means
by: Putyatin, V. G., et al.
Published: (2017)

Software system architecture for anthropocentric scheduling of educational workload in higher education institutions
by: Sytnik, O.O.
Published: (2026)

COLONIAL PICOFOSSIL'S OF PRECAMBRIAN HYME-NOPHACOIDES ROBLOT 1964: STAGES OF THEIR REPLICATION AS THE BASIC ARGUMENT OF THEIR BIOGENIC VERIFICATION
by: LOPUKHIN, A. S., et al.
Published: (2011)

Algorithm and software for determining a musical genre by lyrics to create a song hit
by: Triantafillu, A.A., et al.
Published: (2021)

The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials
by: Krak, Yu.V., et al.
Published: (2018)

50 years of software engineering
by: Sydorov, N.A.
Published: (2019)

Features of Software Solutions in the Field of Verification and Validation of Numerical Models
by: Гейко, О. О., et al.
Published: (2025)

Визначення напружень у багатозв’язній анізотропній півплощині на основі модифікованих інтегральних рівнянь
by: Максимович, О. В.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів, et al.
Published: (2018)

Intonation expressiveness of the text at program sounding
by: Shevchenko, V.L., et al.
Published: (2021)

Routing technology based on virtualization software-defined networking concept
by: Kravchenko, Yu.V., et al.
Published: (2024)

Video-based visualization of debugging process
by: Shynkarenko, V.I., et al.
Published: (2024)

The role of establishments of nature protected fund in ecological-educational and recreational-touristic aspects of sustainable development of Zakarpattia region
by: Rybak, M.P., et al.
Published: (2018)

A novel interception and trajectory tracking control approach for a mobile robot
by: Ben Hadj Mohamed, S., et al.
Published: (2026)

Ways of Executive Training in Sphere of State Regulation in Fuel and Energy Complex
by: Novoseltsev A.V.
Published: (1999)

Semantic technologies as a tool of information support for professionalization of andragogues
by: Rogushina, J.V., et al.
Published: (2024)

Modified model of the aggregated dead zone on examples of radionuclide transfer in natural hydrodynamic systems
by: Sizonenko, V.P.
Published: (2024)

APPLICATION OF ARTIFICIAL INTELLIGENCE IN MECHATRONIC SYSTEMS
by: Kot, M. G., et al.
Published: (2013)

Numerical study of particles trajectories in a multifunctional electrostatic separator powered by photovoltaic system
by: Guettaf, N., et al.
Published: (2026)

The expert analytic process for the choice of the organization management actions using corporative knowledge. Part I. Formal analysis of the goals system
by: Ilina, E.P.
Published: (2018)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)