75 search results - page 8 / 15 » Experiences using SPARK in an undergraduate CS course |
MSE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
ACE
2003
13 years 9 months ago
2003
Groupwork has a large and important role in computer science courses. Moreover, groupwork skills are among the most important generic attributes students should develop during the...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
ACSE
2000
ACM
14 years 4 days ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...