Sciweavers

CSEDU
2010
109views Education» more  CSEDU 2010»
15 years 1 months ago
Teaching Programming with Formal Models in Greenfoot
Moritz Balz, Michael Goedicke
107
Voted
CSEDU
2010
132views Education» more  CSEDU 2010»
15 years 1 months ago
The Model Railroad as an Example Avoiding Tacit Knowledge in Microelectronics Studies
Wiebke Schwelgengräber, Ralf Salomon, Ralf Jo...
84
Voted
CSEDU
2010
103views Education» more  CSEDU 2010»
15 years 1 months ago
An Infrastructure for Mechanised Grading
Queinnec Christian
78
Voted
CSEDU
2010
89views Education» more  CSEDU 2010»
15 years 1 months ago
Intention-based Corrective Feedback Generation using Context-aware Model
Sungjin Lee, Cheongjae Lee, Jonghoon Lee, Hyungjon...
CSEDU
2010
101views Education» more  CSEDU 2010»
15 years 1 months ago
Computer Support for a Cross-discipline Research Consortium
William B. Frakes, Gabriella Belli, Julián ...
50
Voted
CORR
2010
Springer
60views Education» more  CORR 2010»
15 years 1 months ago
Dialectica Interpretation with Marked Counterexamples
G
Trifon Trifonov