期刊文献+

C^4ISR系统军事需求模型并行开发与一致性检验 被引量:1

The Concurrent Development and Consistence Validation of Requirement Models for C^4ISR System
下载PDF
导出
摘要 介绍了C4ISR系统军事需求模型的概念、特点及其开发的并行性,并根据我军联合作战指挥信息系统的需求开发实践需要,针对C4ISR系统军事需求模型的模块划分以及分组建模过程进行分析,在此基础上给出了一个C4ISR系统军事需求模型并行开发过程的参考模型,并探讨了并行开发过程在系统需求周期内的一致性检验问题,包括了需求模型的语法、语义和语用一致性检验的过程和方法。 Introduce the conception, characteristics and concurrency of Requirement Mode of C^4ISR System. According to the experiences in requirement development of C2 information system for jointed operations, this paper analyzes the module partition methods and grouping modeling process of requirement development for C^4ISR system, and proposes a novel concurrent development and consistence validation methods of the requirement development for C^4ISR system ,including the syntax, semantic and pragmatic validation process and method for Requirement Mode.
机构地区 国防科技大学C
出处 《火力与指挥控制》 CSCD 北大核心 2009年第2期97-100,共4页 Fire Control & Command Control
基金 武器装备基金资助项目(514060105KG0140)
关键词 C^4ISR系统 需求模型 并行开发 C^4ISR system,requirement model ,concurrent development
  • 相关文献

参考文献20

  • 1Carl A C, Elsa L G,Michael J et al. A Reference Model for Requirements and Specifications [J]. IEEE Software, 2000, 17(3) :21-26.
  • 2朱雪峰,金芝.关于软件需求中的不一致性管理[J].软件学报,2005,16(7):1221-1231. 被引量:24
  • 3陈洪辉,罗雪山.C^4ISR系统需求模型[J].火力与指挥控制,2006,31(12):44-47. 被引量:4
  • 4段采宇,余滨,杨晓明,刘剑锋.作战活动分析方法与建模[J].火力与指挥控制,2006,31(11):34-37. 被引量:15
  • 5Klaus O, Herbert W, Michael G. Concurrent Requirements Engineering [ R ]. Tag der wissenschaftlichen Aussprache : 2,2001.
  • 6Boehm. A Spiral Model of Software Development and Enhancement Software Requirements Engineering [M]. IEEE Computer Society Press, 1997.
  • 7Forsberg K ,Mooz H. System Engineering Overview[M]. IEEE Computer Society Press, 1997.
  • 8Goguen J, Linde C. Techniques for Requirements Elicitation [M]. IEEE Computer Society Press, 1997.
  • 9Van A I., Darimont R, Letier E. Managing Conflicts in Goal-Driven Requirements Engineering IEEE Transactions on Software Engineering [R]. Special Issue on Managing Inconsistency in Software Development IEEE November,1998.
  • 10Klaus O, Herbert W, Michael G. Concurrent Requirements Engineering[R]. Tag der wissenschaftlichen Aussprache :2,2001.

二级参考文献17

  • 1王燕,余滨,段采宇.作战信息交换分析与建模[J].火力与指挥控制,2005,30(2):48-50. 被引量:8
  • 2段采宇,余滨,杨晓明,刘剑锋.作战活动分析方法与建模[J].火力与指挥控制,2006,31(11):34-37. 被引量:15
  • 3王君英,段广洪.基于IDEF0的CIMS底层控制Petri网模型的自动生成方法[J].自动化学报,1997,23(3):400-403. 被引量:15
  • 4C^4ISR Architecture Framework 2.0[R].DoD,1997,12.
  • 5David C H.Requirements Analysis:From Business Views to Architecture[M].Prentice Hall PTR,2003.
  • 6Alexander H L,Lee W.Developing a Process for C4ISR Architecture Design 1[R].System Architectures Laboratory,C3I Center,MSN 4D2,George Mason University,2000.
  • 7Michael P B,Insub S,Alexander H L.An Object-Oriented Approach Architecture Design 1[R].System Architectures Laboratory,C3I Center,MSN 4D2,George Mason University,2000.
  • 8Karl E.Wiegers软件需求第二版(6-7)[M].北京:清华大学出版社,2004.
  • 9Chairman of the Joint Chiefs of Staff Instruction[R].2004.
  • 10马军,王聪,王智学.军事电子信息系统需求建模的轻量级形式化方法[A].军事电子信息系统体系结构框架高级研讨班论文集[C].2005.

共引文献40

同被引文献1

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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