1943 search results - page 47 / 389 » Software and higher education |
ECLIPSE
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
MSE
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper presents a PC based software running on PC dedicated to the training in sub-micron CMOS VLSI design. The software firstly consists in a HDL-based schematic editor with ...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
Requirements for educational software could be based on an analysis of existing learning situations. In order to obtain useful information about teaching practices, an explorative ...
JCDL
2006
ACM
14 years 1 months ago
2006
ACM
The implications of using digital library software in educational contexts, for both the students and the software developers, are discussed in the light of two case studies of co...
IVIC
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes our work in examining the question of whether providing a visual informatics application in an educational scenario, in particular, providing video content ana...