DocumentCode :
1208256
Title :
On Formalism in Specifications
Author :
Meyer, Bertrand
Author_Institution :
University of California
Volume :
2
Issue :
1
fYear :
1985
Firstpage :
6
Lastpage :
26
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.
Keywords :
Computer industry; Computer languages; Documentation; Formal specifications; Software performance; Software systems;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/MS.1985.229776
Filename :
1695257
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1208256
