Defaults in specifications

[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI:10.1109/ISRE.1993.324823

M. Ryan

引用次数: 29

Abstract

A formalism is motivated and described for representing defaults in specifications. The formalism is called ordered theory presentations. The ability to represent defaults narrows the gap between a customer's initial requirements and a formal specification, and supports reuse on both a small and a large scale. Issues are illustrated throughout reference to the lift example. The application of the formalism to specification revision is considered.<>

查看原文本刊更多论文

规格中的默认值

形式主义的动机和描述是为了表示规范中的默认值。这种形式被称为有序理论表示。表示默认值的能力缩小了客户初始需求和正式规范之间的差距，并支持小规模和大规模的重用。这些问题都是通过升降机的例子来说明的。考虑了形式化理论在规范修订中的应用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1993] Proceedings of the IEEE International Symposium on Requirements Engineering

自引率

0.00%

发文量