杨朝晖
【姓名】 杨朝晖
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】 面向对象技术、形式化方法
【发表文献关键词】 精化演算,耦合度量,程序切片,形式规约,形式化开发方法,Java,面向对象,切片技术,耦合性,COOZ,数据精化,耦合,国家重点实验室,南京大学,计算机软件,组件关系,状态模式,cohesion,南京...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 3 3 1 22 304
中国期刊全文数据库    共找到3篇
[1]王云峰,庞军,查鸣,杨朝晖,郑国梁.一种从面向对象Z规约到代码的精化演算方法[J]软件学报.2000,(08)
[2]杨朝晖;王云峰;郑国梁;.精化演算支撑工具PRT的研究[J]计算机科学.2000,(03)
[3]李必信,杨朝晖,谭毅,朱平,李宣东,郑国梁.一种基于切片技术度量Java耦合性的框架[J]计算机学报.2001,(03)
更多