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
Published in:PROBLEMS IN PROGRAMMING
Date:2026
Issue:2
Pages:87-96
ISSN:1727-4907
Author Affiliations:
Keywords:індивідуальна освітня траєкторія, формальна верифікація, формальна освіта, навчальні і перевірочні хара- ктеристики, індивідуальні освітні програми, професійна освіта, validation, профільна освіта, стандартизація вищої освіти, автоматизація навчання
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: Pdf

Institution

Problems in programming

Internet

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1029

Similar Items