In this work, we present a constrained-based representation for specifying the goals of "course design", that we call curricula model, and introduce a graphical language, grounded into Linear Time Logic, to design curricula models which include knowledge of proficiency levels. Based on this representation, we show how model checking techniques can be used to verify that the user's learning goal is supplied by a curriculum, that a curriculum is compliant to a curricula model, and that competence gaps are avoided. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Baldoni, M., Baroglio, C., & Marengo, E. (2007). Curricula modeling and checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4733 LNAI, pp. 471–482). Springer Verlag. https://doi.org/10.1007/978-3-540-74782-6_41
Mendeley helps you to discover research relevant for your work.