摘要
本文介绍软件工程中模块的代数规范说明概念。模块规范说明包括参数部分、体、输入和输出接口。它的形式语法和语义是用代数方法仔细地定义了的。本文还给出一个简单的图书管理系统的规范说明和对应的Ada程序包做为例子,以展示模块规范说明的实际意义。
An algebraic specification concept for modules in software engineering is introduced here. The specification of modules includes parameter part, body part and I/O interfaces, and it is carefully defined with formal syntax and semantics within the framework of algebraic specificaiton. To show the practical significance, specifications for the modules of simple library system and corresponding Ada packages are presented as an example.
出处
《计算机工程与设计》
CSCD
北大核心
1989年第3期3-11,58,共10页
Computer Engineering and Design
