This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
On Formalism in Specifications
January/February 1985 (vol. 2 no. 1)
pp. 6-26
B. Meyer, University of California
A critique of a natural-language specification, followed by presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications.
Citation:
B. Meyer, "On Formalism in Specifications," IEEE Software, vol. 2, no. 1, pp. 6-26, Jan.-Feb. 1985, doi:10.1109/MS.1985.229776
Usage of this product signifies your acceptance of the Terms of Use.