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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-092

BibTeX:

@inproceedings{REWERSE-RP-2007-092,
	author = {Matteo Baldoni and Elisa Marengo},
	title = {Curriculum Model Checking: Declarative Representation and Verification of Properties},
	booktitle = {Proceedings of Second European Conference on Technology Enhanced Learning, Crete, Greece (17th--20th September 2007)},
	year = {2007},
	volume = {4753},
	series = {LNCS},
	pages = {432--437},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-092}
}