Formal model for verification of personalized educational trajectories based on ALLOY

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2026
• Heft: 2
• Сторінки: 87-96
• ISSN: 1727-4907
• Автори та афіліації: M.Yu. Poltoratskyi — Kherson State University — ORCID: 0000-0001-9861-4438; A.S. Volianiuk — Kherson State University — ORCID: 0000-0002-2890-4787
• Ключові слова: індивідуальна освітня траєкторія, формальна верифікація, формальна освіта, навчальні і перевірочні хара- ктеристики, індивідуальні освітні програми, професійна освіта, validation, профільна освіта, стандартизація вищої освіти, автоматизація навчання
• 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
• Назва журналу: Problems in programming

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