Curriculum model checking: Declarative representation and verification of properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4753 LNCS, Issue , 2007, Pages 432-437

  Baldoni, Matteo ^a   Marengo, Elisa ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Competence gaps; Formal model for curricula description; Model checking; Verification of properties

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CURRICULA; LEARNING SYSTEMS;

COMPETENCE GAPS; COURSE DESIGN; CURRICULA DESCRIPTIONS; GRAPHICAL LANGUAGES;

MODEL CHECKING;

EID: 38349195436     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75195-3_33     Document Type: Conference Paper

References (13)

1. Baldoni, M., Baroglio, C., Brunkhorst, I., Marengo, E., Patti, V.: Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In: Duval, E., Klamma, R., Wolpers, M. (eds.) EC-TEL 2007. LNCS, vol. 4753, Springer, Heidelberg (2007)
2. Baldoni, M., Baroglio, C., Henze, N.: Personalization for the Semantic Web. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 173-212. Springer, Heidelberg (2005)
3. Baldoni, M., Baroglio, C., Marengo, E.: Curricula Modeling and Checking. In: Basili, R., Pazienza, M.T. (eds.) APIA 2007. LNCS (LNAI), vol. 4733, Springer, Heidelberg (2007)
4. Baldoni, M., Baroglio, C., Patti, V.: Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions. Artificial Intelligence Review 22(1), 3-39 (2004)
5. Brusilovsky, P., Vassileva, J.: Course sequencing techniques for large-scale web-based education. Int. J. Cont. Engineering Education and Lifelong learning 13(1/2), 75-94 (2003)
6. De Coi, J.L., Herder, E., Koesling, A., Lofi, C., Olmedilla, D., Papapetrou, O., Sibershi, W.: A model for competence gap analysis. In: Proc. of WEBIST 2007, INSTICC Press (2007)
7. Emerson, E.A.: Temporal and model logic. Handbook of Theoretical Computer Science B, 997-1072 (1990)
8. Farrell, R., Liburd, S.D., Thomas, J.C.: Dynamic assebly of learning objects. In: Proc. of WWW 2004, New York, USA (2004)
9. Henze, N., Krause, D.: Personalized access to web services in the semantic web. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, Springer, Heidelberg (2006)
10. Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)
11. Melia, M., Pahl, C.: Automatic Validation of Learning Object Compositions. In: Proc. of IT&T'2005: Doctoral Symposium, Carlow, Ireland (2006)
12. Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40-47 (1998)
13. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, Springer, Heidelberg (2006)