杨朝晖 庞军 郑国梁 王云峰 李必信

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

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