您的位置: 专家智库 > >

费宗铭

作品数:13 被引量:23H指数:3
供职机构:南京大学计算机科学与技术系计算机软件研究所更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 13篇中文期刊文章

领域

  • 13篇自动化与计算...

主题

  • 6篇软件开发
  • 4篇软件自动化
  • 4篇自动化
  • 2篇人工智能
  • 1篇定义语言
  • 1篇软构件
  • 1篇软件复用
  • 1篇图形化
  • 1篇自动化系
  • 1篇自动化系统
  • 1篇自学习
  • 1篇逻辑
  • 1篇开发环境
  • 1篇二次开发
  • 1篇复用
  • 1篇并发
  • 1篇程序设计

机构

  • 13篇南京大学
  • 2篇山东师范大学
  • 1篇山东大学

作者

  • 13篇费宗铭
  • 6篇张家重
  • 5篇徐家福
  • 3篇吕建
  • 3篇王志坚
  • 2篇陈道蓄
  • 1篇金凌紫
  • 1篇钱树人
  • 1篇丁琴
  • 1篇朱鸿
  • 1篇王岩冰
  • 1篇肖宁
  • 1篇董丽君
  • 1篇朱迎春
  • 1篇张幼松

传媒

  • 3篇计算机学报
  • 3篇计算机科学
  • 2篇计算机研究与...
  • 2篇软件学报
  • 1篇高技术通讯
  • 1篇小型微型计算...
  • 1篇计算机工程与...

年份

  • 2篇1995
  • 2篇1994
  • 2篇1993
  • 3篇1992
  • 2篇1991
  • 1篇1990
  • 1篇1989
13 条 记 录,以下是 1-10
排序方式:
基于二次并发的动态源级调试技术
1990年
本文阐述了采用二次开发策略来实现源级动态调试功能是可行和有效的,着重说明了动态源调试技术中的两个主要技术要点,并且简要介绍了CDBG关系。
钱树人费宗铭贾雷
关键词:软件开发二次开发程序设计
HOS规格说明的功能理解及其应用
1995年
本文给出了HOS方法学中基本控制结构JOIN、INCLUDE、OR和复合控制结构COJOIN、COINCLUDE及COOR的语义构造规则.以此为基础,提出了一种层次武功能理解方法,并讨论了其在HOS规格说明的语义验证和复用方面的应用.
吕建费宗铭
关键词:软件开发
可复用软构件的自动获取
1993年
提出了自动获取软件可复用资源的方法。构造型的获取采用了解释学习的方法,通过分析具体的软件实例,产生刻划其结构的构造型。构件块的获取采用演绎与归纳相结合的方法,逐层构造代码块的功能描述,使之成为系统可自动使用的构件块。系统通过获取这两方面可复用资源,能力得以扩充,并可自动用于解决新的问题。
费宗铭吕建张家重
关键词:软构件
基于算法构架的软件自动产生被引量:1
1992年
算法构架作用机制——基于算法构架的软件自动产生,是自学习软件自动化系统NDSAIL的一个组成部分.本文通过实例,介绍了算法构架作用机制的基本过程,以期反映算法构架用于软件自动产生的效用.
张家重费宗铭
关键词:软件自动化
程序转换规则的自动获取
1993年
本文给出了一个自动获取程序转换规则的方法,通过对用户提供的一个具体程序转换过程的分析,运用解释学习的方法,总结其一般性,得出反映这一过程的转换规则,该规则可用于一类问题的转换,提高了系统的自动化程度。
费宗铭
关键词:软件开发
自学习软件自动化系统NDSAIL的设计与实现被引量:3
1992年
本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并针对一类问题解决了归纳学习结果的正确性问题以及unfold/fold转换技术的完全自动化问题.
徐家福陈道蓄吕建王志坚费宗铭张家重张幼松丁琴朱迎春
关键词:软件自动化
软件需求定义语言NDRDL被引量:11
1995年
NDRDL语言是一种图形化的软件需求定义语言,用于书写软件需求定义。其特点是:形象直观、表达力强、实用性好、可靠性高。本文是该语言的试用文本。
董丽君费宗铭朱鸿金凌紫
关键词:图形化
关于解释学习逻辑构架的一些扩充
1991年
近来,在机器学习研究领域中,解释学习倍受重视,而其中心机制——解释推广却受限于一阶逻辑,为支持高阶对象和模态概念,本文介绍了两种扩充 Horn 逻辑表示域的方法,并通过例子说明了解释推广在扩充表示域中的实现。
张家重费宗铭王岩冰
关键词:人工智能逻辑
算法分解结构的学习及其效用
1992年
为提高软件自动化系统的算法自动设计能力,本文提出了将解释学习方法用于学习算法设计策略的思想。文中介绍了算法分解结构的学习模型,以及反映学习效用的问题求解机制,并通过例子说明了经过学习,系统能够解决原来不能解决的问题。
张家重王岩冰费宗铭徐家福
关键词:软件自动化
基于解释的算法构架的学习被引量:1
1994年
本文提出了将解释学习方法用于学习算法构架的思想,以提高软件自动化系统从功能规格说明转换到设计规格说明的能力.文中给出了算法构架的表示,操作性的定义及其处理方法.系统从用户给出的一个问题的解中学习算法构架,用于解决一类问题,系统的学习效果表现为通过学习能够解决原来不能解的问题.
费宗铭张家重徐家福
关键词:软件开发
共2页<12>
聚类工具0