| 用变换型方法模拟开发电话交换系统 |
| |
| 引用本文： | 屈婉玲,张乃孝.用变换型方法模拟开发电话交换系统[J].计算机研究与发展,1995,32(7):11-16. |
| |
| 作者姓名： | 屈婉玲 张乃孝 |
| |
| 作者单位： | 北京大学计算机科学技术系 |
| |
| 基金项目： | 国家自然科学基金,863项目的资助 |
| |
| 摘 要： | 本文给出了用变换软件开发方法模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机器上运行的程序，整个开发过程是用变换型语言Ｐｏｌｙａ写的，最后提出了Ｐｏｌｙａ的改进建议。
|
| 关 键 词： | 程序变换 软件开发 电话交换系统 |
SIMULATION OF DEVELOPING A TELEPHONE EXCHANGE SYSTEM BY TRANSFORMATIONAL METHOD |
| |
| Qu Wanling and Zhang Naixiao.SIMULATION OF DEVELOPING A TELEPHONE EXCHANGE SYSTEM BY TRANSFORMATIONAL METHOD[J].Journal of Computer Research and Development,1995,32(7):11-16. |
| |
| Authors: | Qu Wanling and Zhang Naixiao |
| |
| Abstract: | 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. |
| |
| Keywords: | Transformation of programs language method of developing software |
| 本文献已被 CNKI 维普 等数据库收录！ |
