期刊文献+

煤矿面向领域的软件需求一致性验证方法研究

Coal Mining Face in Field of Software Requirements Consistency Test Method Research
下载PDF
导出
摘要 在煤矿行业中,对面向领域的软件需求一致性验证,成为目前重要的研究课题之一。文章通过简要介绍面向领域的软件需求一致性验证方法,根据煤矿需求一致性验证存在的问题,选择合适的验证方法进行需求一致性验证。 In coal mine industry, about the consistency of the face in the field of software requirements, become one of the important research subject at present. This paper through the brief introduction to the field of software requirements consistency verification method, according to the coal demand consistency problems existing in the validation, and choose the right method to demand consistency test.
作者 周安辉
出处 《煤炭技术》 CAS 北大核心 2013年第9期196-197,共2页 Coal Technology
关键词 煤矿 需求一致性 验证方法 形式化 The field demand consistency validation methods formal
  • 相关文献

参考文献2

二级参考文献11

  • 1张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取[J].软件学报,2007,18(1):50-61. 被引量:16
  • 2荣辉桂,陈志刚,陈浩,刘立.基于特征的敏捷界面原型驱动开发过程框架[J].湖南大学学报(自然科学版),2007,34(7):67-72. 被引量:1
  • 3RAKITIN S R.Software verification and validation for practitioners and managers[M].于秀山,包晓露,译.2nd ed.北京:电子工业出版社,2001.
  • 4徐家福 朱鸿.从需求定义到形式化功能规约-一个自动转换方法.中国科学,1995,38:28-43.
  • 5LIN Y C,CHIANG T H,WANG H M,et al.The design of a multi-domain mandarin chinese spoken dialogue system[C]// Proceedings of 5th International Conference on Spoken Language Processing(ICSLP'98).Sydney:[s.n.],1998:41-44.
  • 6DUR(A)N A,RUIZ-CORT(E)S A,CORCHUELO R,et al.Supporting requirements verification using XSLT[C]// Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering.Washington,DC:IEEE Computer Society,2002:165-172.
  • 7WEIGERS K E.软件需求[M].刘伟琴,刘洪涛,译.2nd ed.北京:清华大学出版社,2006.
  • 8ITU-T.ITU-T recommendation Z.120:Message Sequence Chart (MSC)[S].Geneva:ITU-T, 1999.
  • 9Christoph Damas,Bernard Lambeau,Pierre Dupont,and Axel van Lamswerde.Generating Annotated Behavior Models from End- User Scenatrios[J].IEEE Trans.on software Engineering,2005.31 (12):1056-1073
  • 10金凌紫,朱鸿,张朝良,火清宁,白赣洪,徐家福.情形实例驱动的软件需求模型自动生成[J].计算机学报,1998,21(8):673-681. 被引量:4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部