Sciweavers

450 search results - page 6 / 90
» Experience with an analytic approach to teaching programming...
Sort
View
VL
2003
IEEE
126views Visual Languages» more  VL 2003»
15 years 2 months ago
Preserving non-programmers' motivation with error-prevention and debugging support tools
A significant challenge in teaching programming to disadvantaged populations is preserving learners’ motivation and confidence. Because programming requires such a diverse set o...
Andrew Jensen Ko
SIGADA
2007
Springer
15 years 3 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
CC
2005
Springer
115views System Software» more  CC 2005»
15 years 3 months ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh...
SIGADA
1999
Springer
15 years 1 months ago
Integrating a software engineering approach into an Ada closed laboratory
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
Ming Wang
ADAEUROPE
2003
Springer
15 years 2 months ago
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design
Abstract. We study two textbooks for teaching undergraduate softineering, both focusing on software design and data abstraction in particular. We describe the differences in their...
Ehud Lamm