1. 5

Bertrand Meyer posits that the correctness of formal specifications can be improved by developing a mathematical model of the problem from which a specification can be derived. The article serves as a nice example of how to reason about a problem more formally. It also provides useful advice on what to look out for when writing a specification, which is generally applicable to other forms of technical writing.

  1.  

  2. 2

    This article has been a positive influence for me since it was first published. It has helped clarify my thinking and writing no matter what programming language used for implementation.