Sciweavers

113 search results - page 7 / 23
» A Self-Paced Introductory Programming Course
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
13 years 9 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
WSC
2004
13 years 11 months ago
Enhancing Simulation Education with a Virtual Presentation Tool
This paper describes a research plan to address the undergraduate learning challenges encountered when teaching an introductory simulation course in Industrial Engineering program...
David He, Pat Banerjee
PPPJ
2003
ACM
14 years 3 months ago
Mass production of individual feedback
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
David Heaney, Charlie Daly
TFM
2004
Springer
118views Formal Methods» more  TFM 2004»
14 years 3 months ago
A Beginner's Course on Reasoning About Imperative Programs
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
Kung-Kiu Lau
SIGCSE
2005
ACM
163views Education» more  SIGCSE 2005»
14 years 3 months ago
Using SeSFJava in teaching introductory network courses
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
Tamer Elsharnouby, A. Udaya Shankar