NOTES ON ALGEBRAIC SPECIFICATIONS

被引：2

作者：

BRADLEY, IM

机构：

[1] Newcastle upon Tyne Polytechnic, United Kingdom

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 1989年 / 31卷 / 07期

关键词：

Computer Software--Software Engineering;

D O I：

10.1016/0950-5849(89)90157-2

中图分类号：

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

学科分类号：

0812 ;

摘要：

The method of creating algebraic specifications is described. A specification for a simple library system is then developed. Finally, the use of such specifications is discussed.

引用

页码：357 / 365

页数：9