The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1985 vol.2)
pp: 6-26
B. Meyer , University of California
ABSTRACT
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.
INDEX TERMS
null
CITATION
B. Meyer, "On Formalism in Specifications", IEEE Software, vol.2, no. 1, pp. 6-26, January/February 1985, doi:10.1109/MS.1985.229776
8 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool