搜索到 篇“ 精化演算 “的相关文章

相关作者

查鸣
作品数：6被引量：5H指数：1
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：精化演算 Z语言 形式化描述语言 软件开发方法 Z
郑国梁
作品数：148被引量：845H指数：16
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计
王云峰
作品数：20被引量：97H指数：5
供职机构：南京大学
研究主题：面向对象 精化演算 Z 软件开发方法 软件开发
庞军
作品数：6被引量：22H指数：2
供职机构：南京大学计算机科学与技术系
研究主题：面向对象 精化演算 计算机 软件开发 COOZ
李必信
作品数：264被引量：444H指数：12
供职机构：东南大学
研究主题：面向对象 软件架构 源代码 架构 WEB服务