作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为保证统计报表数据的正确性,需要根据表内与表间的校核关系进行判断.针对校核关系程序的开发方法进行分析,通过形式化的定义,实现报表校核程序的自动生成,保证了程序的完整性和正确性.同时采用全组合编码的方式解决了报表选择输出时,校核关系有效性的问题.
推荐文章
应用ETDFA生成CBTC联锁软件形式化模型的方法
CBTC
联锁软件
ETDFA
形式化方法
软件开发的形式化方法在程序测试中的应用
软件工程
形式化方法
程序测试
Delphi控制Excel生成统计报表研究
Delphi
Excel
报表制作
统计报表
并行程序开发平台体系结构的形式化研究
软件体系结构
软件体系结构描述语言
并行计算
形式化描述
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 统计报表校核关系程序形式化生成方法的研究
来源期刊 福建电脑 学科
关键词 报表 校核关系 形式化 全组合编码
年,卷(期) 2014,(6) 所属期刊栏目 基金项目论文
研究方向 页码范围 19-20
页数 2页 分类号
字数 1483字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 郭涛 陇东学院信息工程学院 38 62 4.0 6.0
2 严瑾 陇东学院信息工程学院 11 22 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (10)
共引文献  (6)
参考文献  (4)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(3)
  • 参考文献(0)
  • 二级参考文献(3)
2007(2)
  • 参考文献(0)
  • 二级参考文献(2)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(3)
  • 参考文献(0)
  • 二级参考文献(3)
2010(2)
  • 参考文献(1)
  • 二级参考文献(1)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(1)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
报表
校核关系
形式化
全组合编码
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
福建电脑
月刊
1673-2782
35-1115/TP
大16开
福州市华林邮局29号信箱
1985
chi
出版文献量(篇)
21147
总下载数(次)
86
论文1v1指导