Sciweavers

138 search results - page 3 / 28
» Using literate programming to teach good programming practic...
Sort
View
SIGADA
2007
Springer
13 years 11 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
SIGSOFT
2004
ACM
14 years 6 months ago
How a good software practice thwarts collaboration: the multiple roles of APIs in software development
The principle of information hiding has been very influential in software engineering since its inception in 1972. This principle prescribes that software modules hide implementat...
Cleidson R. B. de Souza, David F. Redmiles, Li-Te ...
CSEE
2006
Springer
13 years 7 months ago
Viope as a Tool for Teaching Introductory Programming: An Empirical Investigation
In this paper we describe the use of a tool from Viope for teaching introductory programming. We have noticed in our previous courses that the students often have trouble connecti...
Jeffrey C. Carver, Lisa Henderson
SIGCSE
1998
ACM
112views Education» more  SIGCSE 1998»
13 years 9 months ago
Experience with an analytic approach to teaching programming languages
Through the use of interpreters it is possible to teach programming languages in an analytic way without the mathematical overhead associated with other formal methods. This is a ...
Christopher T. Haynes
SIGCSE
2004
ACM
101views Education» more  SIGCSE 2004»
13 years 10 months ago
PL-detective: a system for teaching programming language concepts
The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, p...
Amer Diwan, William M. Waite, Michele H. Jackson