Teaching Mathematics to Software Engineers
Authors:Jeannette Wing
Click here for the
PostScript
version.
Abstract
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.