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.

Curriculum Model Checking: Declarative Representation and Verification of Properties

BALDONI, Matteo;MARENGO, ELISA
2007

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.
Second European Conference on Technology Enhanced Learning
Creta, Grecia
20-9-2007
Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning
Springer
4753
432
437
978-3-540-75194-6
elearning; modeling; verification; curricula_models
M. BALDONI; E. MARENGO
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/28916
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 2
social impact