Hints to Specifiers

Author:Jeannette M. Wing

CMU-CS-95-118R. This technical report is a revision of the paper, ``Teaching Mathematics to Software Engineers,'' to appear in Proceedings of AMAST'95, July 1995.


I present a list of hints for writing specifications. I address high-level issues like learning to abstract and low-level issues like getting the details of logical expressions right. This paper should be of interest not only to students of formal methods but also to their teachers.