Teaching mathematics to software engineers [chapter]

Jeannette M. Wing
1995 Lecture Notes in Computer Science  
Based on my experience in teaching formal methods to practicing and aspiring software engineers, I present some of the common stumbling blocks faced when writing formal specifications. The most conspicuous problem is learning to abstract. I address all these problems indirectly by giving a list of hints to specifiers. Thus this paper should be of interest not only to teachers of formal methods but also to their students.
doi:10.1007/3-540-60043-4_44 fatcat:6bfujov3anc43oz56efpop4ibu