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