Author:
Hazzan Orit,Lapidot Tami,Ragonis Noa
Reference41 articles.
1. Ahrendt W, Bubel R, Hahnle R (2009) Integrated and tool-supported teaching of testing, debugging, and verification. In: Nuno Oliveira (eds) Proceedings of the 2nd International Conference on Teaching Formal Methods (TFM '09), Jeremy Gibbons and Jos\&\#233. Springer-Verlag, Berlin, pp 125–143
2. Arshad N (2009) Teaching programming and problem solving to CS2 students using think-alouds. SIGCSE Bulletin 41, 1(March 2009), pp 372–376
3. Astrachan O, Berry G, Cox L, Mitchener G (1998) Design patterns: an essential component of CS curricula. Proceedings of SIGCSE, pp 153–160
4. Batory D, Sarvela JN, Rauschmayer A (2004) Scaling stepwise refinement. IEEE Trans Softw Eng 30(6):355–371
5. Ben-Ari M, Sajaniemi J (2003) Roles of variables from the perspective of computer science educators. University of Joensuu, Department of Computer Science., Technical. Report, Series A-2003-6