Introduction to programming: science or art?

Tun Li,Wanwei Liu,Xiaoguang Mao,Huiping Zhou
DOI: https://doi.org/10.1145/2462476.2462512
2013-01-01
Abstract:ABSTRACTIn this poster, we report our experience in teaching introductory courses on programming based on program derivation using formal method. Based on an ongoing teaching activity, we present some preliminary results on the students' experiences.
What problem does this paper attempt to address?