Sciweavers

2896 search results - page 1 / 580
» Curricula Modeling and Checking
Sort
View
AIIA
2007
Springer
15 years 3 months ago
Curricula Modeling and Checking
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
WOA
2007
14 years 10 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
FTDCS
1999
IEEE
15 years 1 months ago
Curricula 2001: A Brief Summary
Model curricula are important resources for curricula planning and design. A joint task force between IEEE-CS and ACM wasformed to undertake the responsibility of revising the 199...
Francis C. M. Lau, Carl K. Chang
SIGCSE
2004
ACM
112views Education» more  SIGCSE 2004»
15 years 2 months ago
Great principles in computing curricula
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
Peter J. Denning