杨宗源
- 作品数：37 被引量：167H指数：7
- 供职机构：华东师范大学信息科学技术学院计算机科学技术系更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 图式程序内部表示的设计与实现
- 1998年
- 文中通过分析图式语言及其图式程序的特征和它们内部表示的特殊要求．提出了一种特殊的村结构来体现和管理图式程序的层次结构，采用结为树与正文相结合的方法来解决图式程序内部表示由于频繁的插入、移动、定位等操作所带来的一系列问题，同时给出这种方法具体的设计和实现。
- 杨宗源李玉茜萧剑平朱姝
- 关键词：图式语言结构树程序设计
- 基于JML的面向对象设计指导测试方法的研究与实现
- 2008年
- 面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Ja-va类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想。研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架。
- 查冰杨宗源
- 关键词：面向对象自动化测试OCL形式语言
- 基于Larch/C的组件形式规范匹配被引量：2
- 2003年
- 主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch/C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover（LP）并通过实例描述了功能匹配的证明过程。
- 嵇海明黄德浩杨宗源
- 关键词：LP
- 基于规则的脚本生成技术被引量：1
- 1998年
- 面向对象技术的兴起，对以脚本生成为中心的需求分析工作提出了更高的要求，为了克服脚本描述所带来的模糊性及不一致性，亟需引入一定的形式化机制。本文通过阐述基于规则的脚本生成技术的基本概念及所具有的功能，给出了实现该技术的原型系统的数据结构和体系结构，并分析了其发展前景。
- 王宇纲杨宗源李玉茜
- 关键词：面向对象软件开发
- 编译实验课程的教学研究与实践被引量：6
- 2009年
- 本文在研究了国内外高校编译实验课程教学情况的基础上,介绍了华东师范大学计算机系"编译原理实践"课的实施情况。教师从教学内容、教学方法、教学手段等方面对该课程进行了深入的研究和改革,提高了学生的动手实践能力,有助于培养学生的"计算机思维能力"。
- 窦亮杨宗源王婷婷
- 关键词：实践教学课程改革
- 求受顶点数限制的最短路径问题的一个算法被引量：13
- 2002年
- 提出了求受顶点数限制的最短路径问题的一个算法,与现有的算法相比,该算法效率较高,时间复杂度为(O(k-2)n2)(k是受限制的顶点数,n是图中顶点总数);而且该算法比较简单,易于描述、实现和理解。
- 孙强杨宗源
- 关键词：最短路径问题顶点数计算机
- 基于B(V)的关系数据库视图增量更新的研究
- 2004年
- 本文给出一种新的关系数据库视图增量更新所基于的理论———B(V)理论,对其进行了充分的阐述和论证,并且通过结合具体例子介绍它的高效运用。
- 朱羚杨宗源
- 关键词：关系数据库数据存储数据仓库数据查询
- 定理证明器Coq与机械语义研究
- 2015年
- 随着证明理论和定理证明器的不断发展与成熟,形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互式定理证明器Coq具备强大的描述能力,可以形式化地描述程序语法和语义,利用其内置函数式编程语言实现对程序语义的复杂操作,通过其证明系统形式地证明操作的正确性。根据形式语义的理论,针对简单类型Lambda演算的操作语义和指称语义,展示了如何利用定理证明器Coq的归纳定义实现它们的形式描述,并对语义的重要属性进行证明,表明机械语义是确保基础软件正确性的基础。
- 窦亮刘强杨宗源
- 关键词：定理证明形式语义
- 编码过程的相关度量及其工具实现
- 2005年
- 基于对编码过程的分析,该文定义了编码时间及模块修改率这两个描述代码生成过程的度量元。并简要描述了在Eclipse平台上实现的一个自动记录编码过程、度量相应模块稳定性的工具。最后通过对一组试验数据的分析,验证了编码时间与开发时间的相关性以及修改次数与错误数之间的相关性。
- 莫杰众杨宗源
- 关键词：代码生成编码过程相关度
- 组件文档的研究
- 2002年
- 本文针对目前组件文档不完备的情况,指出组件文档在CBSE中的重要作用,分析了组件的特点和组件使用中的风险。并从方便开发者选择、装配组件和降低组件使用风险的角度提出了书写组件文档的框架。
- 黄德浩杨宗源
- 关键词：CBSE软件工程软件产品
