南京大学计算机科学与技术系计算机软件研究所
- 作品数：118 被引量：1,022H指数：15
- 相关作者：费宗铭张冠群伊波林向宇戴敏更多>>
- 相关机构：山东师范大学信息科学与工程学院计算机系山东师范大学信息科学与工程学院山东大学威海校区更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术经济管理石油与天然气工程电子电信更多>>
- 程序推导表示的一些研究结果
- 1994年
- 程序推导的表示是软件自动化中的重要研究课题。现有表示机制由于它与规格说明和程序的表示方式的分离,使得程序推导过程难以使用,推导过程的正确性难以证明。本文在程序推导演算的基础上统一了规格说明、程序及其间的推导过程的表示,证明了该演算的表达能力。
- 吕建国徐家福
- 关键词：软件自动化
- 基于概念学习的归纳程序综合
- 1992年
- 本文介绍一种基于概念学习的归纳程序综合方法.假设的形成和证实是归纳过程的两个主要步骤.本文所介绍的方法是利用问题的背景知识、通过推广形成假设,并采用自动构作临界实例技术加以证实.
- 王志坚陆朝俊王军
- 上下文无关语言的一种一般的分析方法
- 殷建平徐家福
- 关键词：语言处理语言学句法
- 基于爬虫的软件缺陷预测
- 2016年
- 随着软件的规模和复杂度持续上升,在软件开发中不可避免地会引入缺陷,而如何对软件进行缺陷预测也成为了软件工程研究的热点领域之一。现有的软件缺陷预测方法主要根据源码结构提取预测信息而忽视了软件缺陷报告的作用,而软件缺陷的相关报告广泛存在于各软件技术论坛上,也是软件缺陷预测的重要依据。因此本文提出了一种基于爬虫的软件缺陷预测方法,其主要手段是通过爬虫获取技术论坛中用户提交的缺陷报告信息,并通过机器学习技术的处理,指导开发人员在开发过程中避免相关缺陷,提高软件质量。
- 杨开懋施小逸汤恩义
- 关键词：网络爬虫
- 自然语言正文的一种形式分析方法
- 殷建平
- 关键词：数据处理语法分析
- 超文本应用软件测试充分性准则初探被引量：4
- 1997年
- 在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正确性，链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。
- 金凌紫朱鸿
- 关键词：测试充分性准则超文本应用程序
- ATMS:一个自治化信任管理系统
- 2013年
- 信任管理技术基于授权凭证签发、通过分布式凭证搜索验证信任关系链,有效实现了开放环境下的分布式授权和访问控制过程。然而,由于开放式环境下信任网络的复杂性和动态性,传统的信任管理系统在凭证搜索、凭证链的建立方面效率不高。针对这一问题,提出了一种自治化的信任管理系统,通过引入权限路由表的概念,使得凭证链建立的过程中,凭证的搜索能够始终导向权限请求的客体。在信任网络比较复杂,权限请求频繁的情况下,自治化的信任管理系统能够提高凭证搜索和凭证链建立的效率。
- 施文波曹春
- 关键词：信任管理自治化信任域
- 可复用软构件的自动获取
- 1993年
- 提出了自动获取软件可复用资源的方法。构造型的获取采用了解释学习的方法,通过分析具体的软件实例,产生刻划其结构的构造型。构件块的获取采用演绎与归纳相结合的方法,逐层构造代码块的功能描述,使之成为系统可自动使用的构件块。系统通过获取这两方面可复用资源,能力得以扩充,并可自动用于解决新的问题。
- 费宗铭吕建张家重
- 关键词：软构件
- 对象、面向对象、面向对象软件开发
- 徐家福王志坚翟成祥
- 关键词：程序设计程序语言软件工程
- 基于后加词典利用句法语义知识的汉语词切分检纠错方法
- 1989年
- 本文通过分析现有词典匹配汉语词切分法及相应切分错误检出与纠正方法的现状及不足,提出了一种基于后加词典,利用句法语义知识的汉语词切分检纠错方法,这种方法旨在将词切分作为汉语理解的有机组成部分,使得检纠切分错误更加有效,同时,利用后加词典,提高了词切分出错后重新切分的效率。
- 杨抒伊波
