搜索到 篇“ COOZ “的相关文章

相关作者

郑国梁
作品数：148被引量：847H指数：16
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计
袁晓东
作品数：14被引量：62H指数：5
供职机构：南京大学计算机科学与技术系
研究主题：面向对象 程序设计 Z COOZ Z语言
李宣东
作品数：298被引量：836H指数：16
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
王云峰
作品数：20被引量：97H指数：5
供职机构：南京大学
研究主题：面向对象 精化演算 Z 软件开发方法 软件开发
宠军
作品数：1被引量：0H指数：0
供职机构：南京大学
研究主题：COOZ 精化演算