Sciweavers

2896 search results - page 1 / 580
» Curricula Modeling and Checking
Sort
View
AIIA
2007
Springer
13 years 11 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
13 years 5 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
13 years 9 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»
13 years 10 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