CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishWhen 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.
| Titolo: | Curriculum Model Checking: Declarative Representation and Verification of Properties | |
| Autori Riconosciuti: | ||
| Autori: | M. BALDONI; E. MARENGO | |
| Data di pubblicazione: | 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. | |
| Editore: | Springer | |
| Titolo del libro: | Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning | |
| Volume: | 4753 | |
| Pagina iniziale: | 432 | |
| Pagina finale: | 437 | |
| Nome del convegno: | Second European Conference on Technology Enhanced Learning | |
| Luogo del convegno: | Creta, Grecia | |
| Anno del convegno: | 20-9-2007 | |
| Digital Object Identifier (DOI): | 10.1007/978-3-540-75195-3_33 | |
| ISBN: | 978-3-540-75194-6 | |
| Parole Chiave: | elearning; modeling; verification; curricula_models | |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
http://hdl.handle.net/2318/28916
Copyright © 2022