王云峰
- 作品数：20 被引量：97H指数：5
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金“九五”国家科技攻关计划江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术天文地球文化科学经济管理更多>>
- 有限区域数值模式中的地形动力效应及气压梯度力算法试验
- 王云峰
- 面向对象Z的子类型继承和推理规则被引量：5
- 2000年
- 讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 E.Cusack等人的方法相比 ,具有可构造性 ,并且比L
- 王云峰seg.nju.edu.cn李必信郑国梁
- 关键词：面向对象子类型软件开发方法
- 现有Z的工具的比较被引量：6
- 1999年
- 一引言软件开发过程需要大量的工具支撑,如编辑工具,编译工具,调试工具等。这些工具的使用不仅方便了软件的开发,而且合适的工具保证了软件开发的质量,它将使软件开发人员的注意力集中到设计工作本身,而不耗费在设计的相关工作上。形式化方法为计算机系统的规约、实现和验证提供了合理的数学基础,首先对系统进行独立于实现的、基于一定形式化语义的抽象描述。
- 庞军王云峰郑国梁
- 关键词：软件开发面向对象计算机
- 面向对象的类型-子类型分析及推理规则被引量：1
- 1999年
- 1 引言面向对象的方法中,对象是作为现实世界中事物的自然映射。为了表达事物的分类关系,在面向对象领域中引入类型的概念,同一类对象具有相同的类型,不同类对象属于不同的类型。另一方面,在面向对象的软件开发的早期阶段,我们可能只知道某个数据抽象的部分操作和行为,随着软件开发过程的进展,对原有的数据抽象又有了新的要求,必须增加新的操作,从而产生新的数据抽象。新的数据抽象可看成是由老的数据抽象精化而来,它们分别由两种类型来描述,这两种类型之间存在子类型关系,而且这种精化过程可以重复多次,从而形成一个层次的子类型结构,它反映了程序各部分的不同要求。以层次方式来设计类型可以控制设计错误的影响范围,把握设计过程以及对实现给予指导。另外,满足子类型关系的继承还可以实现软件的设计重用,往往重用设计比重用代码更有利于软件开发。所以,为了进一步表达事物分类关系的层次性。
- 李必信王云峰李宣东郑国梁
- 关键词：软件开发面向对象子类型
- 一种集成形式化方法与面向对象技术的软件开发方法
- UML已经成为面向对象建模语言的标准.为了使UML更加精确,同时发挥形式化方法的优势,增加形式化方法在软件开发中的实际作用,研究人员提出了形式化方法与面向对象方法结合软件开发方法.该文使用COOZ描述UML的静态和动态的...
- 王云峰
- 关键词：UML面向对象软件开发COOZ
- 文献传递
- 对象类型与对象子类型研究被引量：1
- 2001年
- 本文揭示了对象类型的子类型关系,给出对象子类型的性质及规范,分析了对象子类型关系存在的语法条件、语义条件、充要条件,阐述了对象子类型与程序精化的联系,最后给出对象子类型的推理规则。
- 李必信王云峰李宣东郑国梁
- 关键词：程序设计语言面向对象
- 四维变分资料同化技术的理论研究及数值试验
- 该论文的第一章中,总结了顺序资料同化方法(卡尔门滤波法、扩展卡尔门滤波法、牛顿松弛法等等)的致使缺点,概述比较并得出了四维变分资料同化技术的优点.第二章具体介绍了四维变分资料同化技术的基本原理和运动技巧,并根据线性系统的...
- 王云峰
- 关键词：四维变分资料同化
- 文献传递
- 基于简化系统依赖图的静态粗粒度切片方法被引量：14
- 2001年
- 基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省略了那些表示输入参数和输出参数的结点和概括边 .同时 ,还定义了一种面向对象程序的粗粒度切片概念 ,讨论了它的性质 ,分析了它与细粒度切片的关系 ,并基于简化的系统依赖图计算面向对象程序的粗粒度切片 .最后还讨论了切片技术的简单实现 .
- 李必信王云峰张勇翔郑国梁
- 关键词：系统依赖图面向对象程序切片
- 一种在静态类型面向对象语言中构造VFCG的方法被引量：1
- 2000年
- 阐述了在静态类型面向对象语言中构造虚函数调用图 (VFCG)的方法 :先构造可见方法类层次图 (VM CHG) ,再计算继承集、改写集 ,确定改写边界 ,最后利用VM CHG和改写边界构造VFCG .
- 李必信王云峰李宣东郑国梁
- 一种精化演算支撑工具的分析与设计
- 2000年
- 利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行了需求分析和功能分析 .在精化工具的设计中 ,讨论了作为定理证明器和精化引擎基础的窗口推理系统和用于程序精化推理的程序窗口推理系统 ,同时分析了设计中的设计目标 ,总体结构 ,精化与证明的表示方法 ,用户界面和工具的扩充性等问题 .对于工具的理论基础做了较为详细的分析 。
- 王云峰李必信庞军查鸣郑国梁
- 关键词：精化演算软件工程
