| 一种精化演算支撑工具的分析与设计 |
| |
| 引用本文： | 王云峰,李必信,庞军,查鸣,郑国梁.一种精化演算支撑工具的分析与设计[J].南京大学学报(自然科学版),2000,36(5):560-567. |
| |
| 作者姓名： | 王云峰 李必信 庞军 查鸣 郑国梁 |
| |
| 作者单位： | 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系,江苏南京,210093
|
| |
| 基金项目： | 国家自然科学基金!(6 96 730 0 6 )，国家“九五”攻关项目基金!(98 780 0 1 0 7 0 6 ) |
| |
| 摘 要： | 利用精化演算的方法开发软件，其过程由巨大数量的小步骤构成，由手工完成极其烦琐，也极容易出错，因此利用机器辅助工具的支持是必要的，在分析现有的精化工具的基础上，提出了一个用于软件形式化开发的精化工具，并对其进行了需求分析和功能分析，在精化工具的设计中，讨论了作为定理证明器和精化引擎基础的窗口推理系统和用于程序精化推理的程序窗口推理系统，同时分析了设计中的设计目标，总体结构，精化与证明的表示方法，用户
|
| 关 键 词： | 形式方法 精化演算 精化工具 软件工程 |
ON ANALYSIS AND DESIGN FOR A REFINEMENT CALCULUS SUPPORTING TOOL |
| |
| WANG Yun-feng,LI Bi-xin,PANG Jun,ZHA Ming,ZHENG Guo-liang.ON ANALYSIS AND DESIGN FOR A REFINEMENT CALCULUS SUPPORTING TOOL[J].Journal of Nanjing University: Nat Sci Ed,2000,36(5):560-567. |
| |
| Authors: | WANG Yun-feng LI Bi-xin PANG Jun ZHA Ming ZHENG Guo-liang |
| |
| Abstract: | |
| |
| Keywords: | formal method refinement calculus refinement tool windows inference |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
