114 search results - page 10 / 23 » Teaching abstraction in introductory courses |
ACSE
2000
ACM
13 years 11 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
14 years 2 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...
ITICSE
2005
ACM
14 years 29 days 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
14 years 21 days 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
13 years 4 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and