114 search results - page 10 / 23 » Teaching abstraction in introductory courses |
106
click to vote
ACSE
2000
ACM
15 years 4 months 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...
TFM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
78
Voted
ITICSE
2005
ACM
15 years 5 months ago
2005
ACM
Closed laboratories are becoming an increasingly popular approach to teaching introductory computer science courses. However, as observed in [1], “Considering the prevalence of ...
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we propose a framework for the design of learning activities, which follows the key idea of the “Learning-for-Use” model and adopts characteristics from the exp...
ECEASST
2010
14 years 9 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and