Informality in Program Specifications
Informality in Program Specifications
复制标题
程序规范中的非正式性
DOI：
10.1109/tse.1978.231480
复制
发表时间：
1899
影响因子：
7.4
通讯作者：
D. Wile
中科院分区：
文献类型：
--
作者：
R. Balzer;N. Goldman;D. Wile
本文关注的是对基于计算机的工具的需求，这些工具可以帮助人类设计师制定正式的面向过程的规范。它首先确定合适的面向过程的规范语言的一些属性，然后检查在没有制定工具的情况下，用这种语言编写规范仍然困难的原因。克服这些困难的关键似乎是仔细引入基于部分而不是完整描述的非正式性，以及使用基于计算机的工具，在构建格式良好的规范的过程中广泛使用上下文来完成这些描述。给出了通过在一些非正式示例规范上运行这种基于计算机的工具的原型所获得的一些结果，并且最后讨论了该原型系统所使用的一些技术。
This paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the reasons why specifications would still be difficult to write in such a language in the absence of formulation tools. The key to overcoming these difficulties seems to be the careful introduction of informality based on partial, rather than complete, descriptions and the use of a computer-based tool that uses context extensively to complete these descnrptions during the process of constructing a well-formed specification. Some results obtained by a running prototype of such a computer-based tool on a few informal example specifications are presented and, finaliy, some of the techniques used by this prototype system are discussed.