D. L.帕纳斯著
ACM通讯，1983年1月，第26卷第1期，第75-78页
10.1145/357980.358011
评论
本文提出了一种编写软件系统各部分规范的方法。主要目标是提供足够精确和完整的规范，以便编写其他软件片段与指定的部分交互，而不需要额外的信息。第二个目标是在规范中只包含满足第一个目标所需的信息。通过教程系统中的各种示例说明了该技术。
这篇文章的全文是优质内容
没有找到条目
登录阅读全文
需要访问吗?
请选择以下其中一个选项以访问优质内容和功能。
创建一个网络帐户
如果您已经是ACM会员，通信订阅用户，或数码图书馆订阅用户，请设立网上帐户，以便阅览本网站的优质内容。
加入ACM
成为ACM会员可以充分利用ACM卓越的计算信息资源、网络机会和其他优势。
订阅ACM杂志通讯
获得完全访问超过50年的CACM内容，并每月收到印刷版杂志。
购买物品
非会员可以购买这篇文章或它出现的杂志的副本。
