|
|||||
|
|
| 支持软件开发的变换方法 | |
| 作者姓名： | 应晶 吴朝晖 |
| 作者单位： | 浙江大学人工智能研究所，浙江大学人工智能研究所，浙江大学人工智能研究所 杭州 310027，杭州 310027，杭州 310027 |
| 摘 要： | 一、变换的意义 变换方法是指一个较为抽象的定义被重复地变换和细化,通过更加具体形式,直至一个目标系统的生成。其基本目标是实现一个程序到另一个程序的等价转换。近几年来,程序变换一直是计算机研 |
| 关 键 词： | 软件开发 变换方法 计算机 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |