ON FORMALISM IN SPECIFICATIONS.

被引：90

作者：

Meyer, Bertrand ^{[1
]}

机构：

[1] Univ of California, Santa Barbara,, Dep of Computer Science, Santa, Barbara, CA, USA, Univ of California, Santa Barbara, Dep of Computer Science, Santa Barbara, CA, USA

来源：

| 1600年 / 02期

关键词：

AUTOMATA THEORY - Computational Linguistics;

D O I：

10.1109/MS.1985.229776

中图分类号：

学科分类号：

摘要：

Specification is the software life-cycle phase concerned with precise definition of the tasks to be performed by the system. 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. We in no way advocate formal specifications as a replacement for natural-language requirements; rather, we view them as a complement to natural-language descriptions and, as will be illustrated by an example, as an aid in improving the quality of natural-language specifications.

引用