2007 · 17 citations · 14 references
Mathematics EducationEngineeringProgram AnalysisProgram ComprehensionConcurrent ProgrammingFormal MethodsEducationSoftware EngineeringConcurrency (Computer Science)Concurrent ProgramComputer ScienceConcurrent Programming CourseConcurrent SystemProgramming MethodologySoftware AnalysisProgramming Language TeachingSoftware Design
This paper describes a qualitative, explorative study of how students understand some concepts in concurrent programming. The study is based on interviews with students regarding the final programming assignment in a concurrent programming course. We use phenomenography to analyse the students' statements about tuple spaces, the concurrent data structures on which the assignments are based, and to find the different ways in which they understand writing and debugging a concurrent program. We then discuss the effects of these understandings on how students construct concurrent programs, how teaching can be improved to form more useful understandings and how software tools can be designed to support the development of concurrent programs.
14
Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.7K citations
Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.3K citations