Sciweavers

620 search results - page 34 / 124
» Computer tutoring for programming education
Sort
View
SIGADA
2007
Springer
14 years 2 months ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
SIGCSE
2004
ACM
112views Education» more  SIGCSE 2004»
14 years 1 months ago
Great principles in computing curricula
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
Peter J. Denning
SIGUCCS
2003
ACM
14 years 1 months ago
Creating a professional development program to support a handheld computing initiative
Indiana State University is providing handheld computers to every faculty member in its School of Education. What started as a small pilot program a year ago has grown into a proj...
Kenneth Janz
SIGCSE
1995
ACM
187views Education» more  SIGCSE 1995»
13 years 11 months ago
A visual simulator for a simple machine and assembly language
We present a package which provides a visually oriented simulation of the execution of machine and assembly language programs on a simple computer. The programs am written for Hyp...
B. Lewis Barnett III
SIGPLAN
2008
13 years 8 months ago
Some thoughts on teaching programming and programming languages
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
John C. Reynolds