Curriculum Model Checking: Declarative Representation and Verification of Properties

Authors:
Matteo Baldoni;Elisa Marengo
Affiliations:
Dipartimento di Informatica -- Università degli Studi di Torino, C.so Svizzera, 185 -- I-10149 Torino, Italy);Dipartimento di Informatica -- Università degli Studi di Torino, C.so Svizzera, 185 -- I-10149 Torino, Italy)
Venue:
EC-TEL '07 Proceedings of the 2nd European conference on Technology Enhanced Learning: Creating New Learning Experiences on a Global Scale
Year:
2007

Citing 0
Cited 5

Curricula Modeling and Checking

AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Original papers: Model-checking for adventure videogames

Information and Software Technology
Language engineering techniques for the development of e-learning applications

Journal of Network and Computer Applications
An architectural specification for a system to adapt to learning patterns

Education and Information Technologies
Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture

EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale

Quantified Score

Hi-index	0.00

Visualization

Abstract

When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum is compliant w.r.t. the course design goals, specified by the institution that offers it, and that the sequence of courses that defines the curriculum does not have competency gaps. In this work, we present a constrained-based representation for specifying the goals of "course design" and introduce a design graphical language, grounded into Linear Time Logic.