您的位置: 专家智库 > >

杨宗源

作品数:37 被引量:167H指数:7
供职机构:华东师范大学信息科学技术学院计算机科学技术系更多>>
发文基金:国家自然科学基金国家教育部博士点基金上海市自然科学基金更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 36篇期刊文章
  • 1篇会议论文

领域

  • 36篇自动化与计算...
  • 2篇文化科学

主题

  • 5篇软件工程
  • 4篇网络
  • 4篇面向对象
  • 4篇COQ
  • 3篇定理证明
  • 3篇软件测试
  • 3篇编程
  • 2篇定理
  • 2篇定理证明器
  • 2篇语义
  • 2篇软件开发
  • 2篇社交
  • 2篇社交网
  • 2篇社交网络
  • 2篇数据库
  • 2篇面向方面编程
  • 2篇关系数据库
  • 2篇UML
  • 2篇测试用例
  • 2篇程序设计

机构

  • 37篇华东师范大学

作者

  • 37篇杨宗源
  • 7篇谢瑾奎
  • 5篇窦亮
  • 5篇黄海涛
  • 4篇黄德浩
  • 4篇嵇海明
  • 2篇朱羚
  • 2篇王婷婷
  • 2篇盛枫
  • 2篇张家利
  • 1篇徐倩颖
  • 1篇谭力
  • 1篇陈玲
  • 1篇周建武
  • 1篇孙强
  • 1篇曾宇
  • 1篇徐国庆
  • 1篇徐琛
  • 1篇查冰
  • 1篇王宇纲

传媒

  • 10篇计算机工程
  • 6篇计算机应用与...
  • 5篇小型微型计算...
  • 4篇微型电脑应用
  • 3篇华东师范大学...
  • 3篇计算机应用研...
  • 2篇计算机科学
  • 1篇计算机工程与...
  • 1篇计算机应用
  • 1篇计算机教育
  • 1篇2004’全...

年份

  • 2篇2017
  • 1篇2016
  • 6篇2015
  • 1篇2013
  • 2篇2010
  • 1篇2009
  • 3篇2008
  • 2篇2007
  • 1篇2006
  • 1篇2005
  • 4篇2004
  • 4篇2003
  • 4篇2002
  • 2篇1999
  • 2篇1998
  • 1篇1996
37 条 记 录,以下是 1-10
排序方式:
图式程序内部表示的设计与实现
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是图中顶点总数);而且该算法比较简单,易于描述、实现和理解。
孙强杨宗源
关键词:最短路径问题顶点数计算机
组件文档的研究
2002年
本文针对目前组件文档不完备的情况,指出组件文档在CBSE中的重要作用,分析了组件的特点和组件使用中的风险。并从方便开发者选择、装配组件和降低组件使用风险的角度提出了书写组件文档的框架。
黄德浩杨宗源
关键词:CBSE软件工程软件产品
吴方法在命题逻辑中的应用被引量:4
2006年
该文将命题逻辑的定理证明转换为多项式方程的求解问题,从而提出了一种基于非子句的代数化方法.在代数化的过程中,以一种形式化的方式给出了命题公式的文法定义,通过语法、语义分析实现了命题公式的代数化.此外,又根据特征列的性质,提出了一种逻辑推论自动生成的方法.
李晶杨宗源
关键词:吴方法命题逻辑上下文无关文法定理证明
社交网络中基于信任的推荐算法被引量:11
2015年
推荐系统作为解决信息过载问题的关键技术,已经引起了国内外研究学者的广泛关注.迄今为止,业界最广受好评的是协同过滤推荐技术.但由于其本身存在着数据稀疏、冷启动等固有问题,而难以应对膨胀的社会网络这一应用场景.本文针对推荐系统所面临的挑战,构建合适的动态信任传递模型,所设计的基于信任的推荐算法是对稀疏性、冷启动等问题的有效解决方案,且对恶意攻击具备一定的抵抗能力.最后在真实社交网络数据中对所设计的算法进行实现,并与传统推荐算法做实验对比,实验结果表明算法相比协同过滤算法在准确性和覆盖率上表现更好,且算法具备的分布式特性在复杂社会网络与大数据环境下实现了推荐实时性的要求.
刘英南谢瑾奎张家利杨宗源
关键词:社交网络信任抗攻击性
轻载软件开发方法被引量:11
2003年
讨论了软件开发中目前可用的重载和轻载开发方法,认为轻载方法适合于中小型项目。重点分析了Extreme Programming 轻载软件开发方法,并对Extreme Programming 方法加以优化,以使其更适合我国的软件开发业。
徐琛杨宗源
关键词:软件维护软件业
共4页<1234>
聚类工具0