数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
用变换型方法模拟开发电话交换系统作者：屈婉玲、张乃孝原载：计算机研究与发展，Vol.32 No.7 p11-16，1995.7. 摘要：本文给出了用变换型软件开发方法(Specification+Transformation= Software)模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变 换实现了数据的精化和运算的分解，最终得到可在机器上运行的程序。整个开发 过程是用变换型语言Polya写的。最后提出了对Polya的改进建议。 关键词: 程序变换 语言 软件开发方法 下载：[txt]
论文著作的详细列表
|
|||