Teaching Mathematics to Software Engineers
Click here for the
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.