1270 search results - page 30 / 254 » IF Validation Environment Tutorial |
INTERACT
2003
13 years 11 months ago
2003
: This paper introduces a new version of Ergonomic Criteria for HVEIs which have been tested for validity. An assignment experiment (Ergonomic Criteria X Usability Problems) has be...
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
ITICSE
2010
ACM
14 years 3 months ago
2010
ACM
This paper describes the integration of the Alice 3D virtual worlds environment into many disciplines in elementary school, middle school and high school. We have developed a wide...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
ETS
2000
IEEE
13 years 10 months ago
2000
IEEE
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...