On Formalism in Specifications 论文
1985IEEE Software引用 288
Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and Knowledge
摘要
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.