杨朝晖
- 作品数：4 被引量：48H指数：2
- 供职机构：南京大学计算机科学与技术系更多>>
- 发文基金：江苏省自然科学基金国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于切片技术度量Java耦合性的框架被引量：40
- 2001年
- 在研究面向对象的度量问题时 ,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征 ,例如基本度量、CK度量和 Ao Ki度量等 .文中采用一种基于程序切片的方法来度量 Java的耦合性问题 ,通过对 Java源程序中存在的耦合关系的度量 。
- 李必信杨朝晖谭毅朱平李宣东郑国梁
- 关键词：程序切片JAVA语言耦合性程序设计方法
- OOPSE——一种基于C^(++)/Java的程序分析系统被引量：7
- 2001年
- 1 引言
面向对象技术自八十年代以来,在软件的各个领域得到了广泛应用,基于对象技术的面向对象软件开发方法也随之兴起,并被广泛采用.面向对象软件开发方法强调采用面向对象的观点认识客观世界,采用面向对象的方法模拟客观世界,使得软件结构和问题结构相一致,相对降低了软件的复杂性,方便了软件的设计、编程、维护和使用,从而特别适合于大型的、复杂的软件系统的开发.尽管面向对象的软件开发方法具有很多优点,但也存在着一些问题.例如,语言的灵活性、描述能力和程序的可靠性、功能之间难以统一,多态性和动态定连使得运行时很难确定在给定的程序点对象的动态类型,封装与继承的矛盾,以及多继承机制复杂的语义等使得人工管理面向对象的软件开发过程变得困难,同时,这也会导致软件开发效率的降低.
- 刘小东李必信杨朝晖李宣东郑国梁
- 关键词：C^++JAVE面向对象
- 基于COOZ的精化演算支撑工具的设计与实现
- 精化过程可表示为分层结构.精化过程中产生大量要证明的定理.证明也可看成分层结构.窗口推理规范利用了证明的分层结构并能适用于程序精化中,该文着重分析了窗口推理系统,精化和证明的结构和表示,讨论了将两者结合的优点以及如何实现...
- 杨朝晖
- 关键词：分层结构
- 文献传递
- 精化演算支撑工具的分析被引量：1
- 2002年
- 利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。
- 王云峰庞军查鸣杨朝晖郑国梁
- 关键词：计算机
