作者：
出版社： 兵器工业出版社
CIP号：2018295138
书号：978-7-5181-0472-7
出版地：北京
出版时间：2018.12
定价：￥100.0
本书介绍了复杂系统需求工程原理，复杂系统需求模型形式化规约方法，复杂系统效能需求模型的形式化验证方法，复杂系统需求验证的可执行体系结构框架，基于FUML的复杂系统需求验证建模语言，基于进程代数的复杂系统需求仿真语言，复杂系统需求验证及仿真过程。本书适合作为军事院校信息系统专业学生的教学参考书，也可作为军事信息系统领域相关科研、工程和管理人员的参考书。