您的位置： 专家智库 > >

江西省教育科学“十一五”规划课题(06ZD047)

作品数：2 被引量：10H指数：2
相关作者：易彤吴方君徐升华更多>>
相关机构：江西财经大学更多>>
发文基金：江西省社会科学“十一五”规划项目江西省教育科学“十一五”规划课题江西省自然科学基金更多>>
相关领域：文化科学自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇依赖图
  • 1篇载文
  • 1篇统计分析
  • 1篇作者群
  • 1篇文献计量学
  • 1篇系统依赖图
  • 1篇计量学
  • 1篇Z语言
  • 1篇程序切片
  • 1篇程序依赖图
  • 1篇Z

机构

  • 2篇江西财经大学

作者

  • 1篇徐升华
  • 1篇易彤
  • 1篇吴方君

传媒

  • 1篇情报科学
  • 1篇小型微型计算...

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
《情报学报》1983~1985、1993~1995、2003~2005年载文作者群的统计分析被引量：8
2008年
本文选取《情报学报》自1982年创刊以来的典型年度1983-1985、1993-1995和2003-2005年的数据为统计源,运用文献计量学的方法通过对发文量、各级科研项目论文篇数、发文单位、作者年龄、职称、学历、性别、合作现象、活跃作者、作者的成长历史等进行统计与分析,揭示《情报学报》的成长和发展历史,从某一侧面说明了期刊质量、作者队伍等情况。
易彤
关键词：统计分析文献计量学
用Z形式化描述程序切片被引量：2
2007年
程序切片是一种重要技术,已广泛地应用于软件工程的各个领域,如程序理解、维护、调试、测试、复用、度量等.虽然,越来越多的研究者致力于程序切片工作,然而由于缺少形式化方面的工作导致程序切片可能存在不一致性和模糊性.本文尝试着用Z语言来形式化描述程序切片,考虑了程序切片中诸如程序依赖图和程序切片算法等常用的方面.该形式化描述不仅能帮助人们正确地理解程序切片的含义,而且还能够从比较严格的意义上明确程序切片的应用领域.
吴方君徐升华
关键词：程序切片程序依赖图系统依赖图Z语言
全选 清除 导出
共1页<1>
聚类工具0