|
| 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
| ASCII Text | x | ||
| B. Meyer, "On Formalism in Specifications," IEEE Software, vol. 2, no. 1, pp. 6-26, January/February, 1985. | |||
| BibTex | x | ||
| @article{ 10.1109/MS.1985.229776, author = {B. Meyer}, title = {On Formalism in Specifications}, journal ={IEEE Software}, volume = {2}, number = {1}, issn = {0740-7459}, year = {1985}, pages = {6-26}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.1985.229776}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - On Formalism in Specifications IS - 1 SN - 0740-7459 SP6 EP26 EPD - 6-26 A1 - B. Meyer, PY - 1985 KW - null VL - 2 JA - IEEE Software ER - | |||
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.