李必信 杨朝晖 郑国梁 查鸣 王云峰

精化工具 精化演算 程序窗口推理 面向对象 数据精化 形式化开发方法 形式化软件开发方法 形式规约

南京大学计算机软件新 解放军理工大学气象学院 南京大学计算机软件新技 解放军理工大学气象学院南京 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室