FORMAL SPECIFICATION AS A DESIGN TOOL.

被引：0

作者：

Guttag, John

Horning, J.J.

机构：

来源：

Conference Record of the Annual ACM Symposium on Principles of Programming Languages | 1980年

基金：

美国国家科学基金会;

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The formulation and analysis of a design specification is almost always of more utility than the verification of the consistency of a program with its specification. Good specification tools can assist in this process, but have generally not been proposed and evaluated in this light. An outline is given of a specification language combining algebraic axioms and predicate transformers, present part of a non-trivial example (the specification of a high-level interface to a display), and finally discuss the analysis of this specification.

引用

页码：251 / 261