1943 search results - page 47 / 389 » Software and higher education |
167
click to vote
ECLIPSE
2004
ACM
15 years 11 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...
143
Voted
MSE
1999
IEEE
15 years 10 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 ...
194
click to vote
ECTEL
2006
Springer
15 years 9 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 ...
146
click to vote
JCDL
2006
ACM
15 years 11 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...
154
click to vote
IVIC
2009
Springer
16 years 5 days 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...