精化演算支撑工具相关论文
<正> 1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程......
利用精化演算的方法开发软件，其过程由巨大数量的小步骤构成，由手工完成极其烦琐，也构容易出错。因此，利用机器辅助工具的支持是必要的......
