Formal model for verification of personalized educational trajectories based on ALLOY

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2026
• Випуск: 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, профільна освіта, стандартизація вищої освіти, автоматизація навчання
• Автори: Poltoratskyi, M.Yu., Volianiuk, A.S.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2026
• Теми: personalized learning; educational trajectory; verification; educational engineering; adaptability; skills; career goal; algorithm; model; course; UDC 004.942:37.018.43
• Онлайн доступ: 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...