摘要
本文给出了用变换型软件开发方法(Specification+Transformation=Software)模拟开发电话交换系统的描述,由抽象的软件规范出发,通过一系列变换实现了数据的精化和操作的分解,最终得到可在机器上运行的程序。整个开发过程是用变换型语言Polya写的。最后提出了对Polya的改进建议。
This paper presents simulation of developing a telephone exchange system by transformational method (Specification+Transformation=Software). Refinement of data and decomposition of operations are done by a series of transformations from specification to program that can run. The whole procedure of developing is described in the transformational language Polya. At last a suggestion of improving Polya is made.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1995年第7期11-16,共6页
Journal of Computer Research and Development
基金
国家自然科学基金
863项目的资助
关键词
程序变换
软件开发
电话交换系统
Transformation of programs, language, method of developing software.