Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
Hauptverfasser:	Poltoratskyi, M.Yu., Volianiuk, A.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	personalized learning educational trajectory verification educational engineering adaptability skills career goal algorithm model course UDC 004.942:37.018.43
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1029
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

Data processing in interactive training methods on the basis of web technologies
von: Morozova, O. I.
Veröffentlicht: (2019)

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

Technological trends & software engineering education: a systematic review study
von: Nesterenko, O.V.
Veröffentlicht: (2023)

Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society
von: Shevchenko, V.V., et al.
Veröffentlicht: (2022)

Masters in environmental science: educational training in Ukraine and Slovakia
von: Mitryasova, Olena, et al.
Veröffentlicht: (2026)

About one method of retracing on a plane
von: Yalovets, A.L.
Veröffentlicht: (2025)

To the problem of pursuit on the plane
von: Yalovets, A.L.
Veröffentlicht: (2025)

Methods of simulation of behavior of agents in multi-agent system “Navigation”
von: Yalovets, A.L.
Veröffentlicht: (2025)

Problem of creation of groups of agents in prosecution/evasion tasks on a plane
von: Yalovets, A.L.
Veröffentlicht: (2025)

About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents
von: Yalovets, A.L.
Veröffentlicht: (2025)

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

To the 90th anniversary of the birthday of Professor Marat Samuilovich Soskin
von: Vasnetsov, M.V.
Veröffentlicht: (2019)

Use of semantic technologies for dialogue between labor market subjects
von: Pryima, S.M., et al.
Veröffentlicht: (2018)

Information technology to ensure the survivability of sensor networks
von: Petrivskyi, V.Y., et al.
Veröffentlicht: (2022)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
von: Yalovets, A.L.
Veröffentlicht: (2017)

Application of neural networks in OLAP-systems
von: Nabibayeva, G.Ch.
Veröffentlicht: (2024)

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

Software system architecture for anthropocentric scheduling of educational workload in higher education institutions
von: Sytnik, O.O.
Veröffentlicht: (2026)

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

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

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

50 years of software engineering
von: Sydorov, N.A.
Veröffentlicht: (2019)

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

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

Intonation expressiveness of the text at program sounding
von: Shevchenko, V.L., et al.
Veröffentlicht: (2021)

Routing technology based on virtualization software-defined networking concept
von: Kravchenko, Yu.V., et al.
Veröffentlicht: (2024)

Video-based visualization of debugging process
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)

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

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

Ways of Executive Training in Sphere of State Regulation in Fuel and Energy Complex
von: Novoseltsev A.V.
Veröffentlicht: (1999)

Semantic technologies as a tool of information support for professionalization of andragogues
von: Rogushina, J.V., et al.
Veröffentlicht: (2024)

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

APPLICATION OF ARTIFICIAL INTELLIGENCE IN MECHATRONIC SYSTEMS
von: Kot, M. G., et al.
Veröffentlicht: (2013)

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

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

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2010)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)