版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
用变换型方法模拟开发电话交换系统
SIMULATION OF DEVELOPING A TELEPHONE EXCHANGE SYSTEM BY TRANSFORMATIONAL METHOD作者机构：北京大学计算机科学技术系
出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期：1995年第32卷第7期
页 面：11-16页
核心收录：
学科分类：0810[工学-信息与通信工程] 08[工学] 081001[工学-通信与信息系统]
摘 要：本文给出了用变换型软件开发方法（Ｓｐｅｃｉｆｉｃａｔｉｏｎ＋Ｔｒａｎｓｆｏｒｍａｔｉｏｎ＝Ｓｏｆｔｗａｒｅ）模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机器上运行的程序。整个开发过程是用变换型语言Ｐｏｌｙａ写的。最后提出了对Ｐｏｌｙａ的改进建议。
