Introduction to programming: science or art?

  • Authors:

  • Tun Li;Wanwei Liu;Xiaoguang Mao;Huiping Zhou

  • Affiliations:

  • National University of Defense Technology, ChangSha, China;National University of Defense Technology, ChangSha, China;National University of Defense Technology, ChangSha, China;National University of Defense Technology, ChangSha, China

  • Venue:
  • Proceedings of the 18th ACM conference on Innovation and technology in computer science education
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

In 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.