作者：
出版社： 国防工业出版社
CIP号：2017312855
书号：978-7-118-11406-5
出版地：北京
出版时间：2017.12
定价：￥79
本书系统描述了面向航天领域的最新的软件工程技术，以及自治性需求工程（ARE）方法，并使用欧洲航天局（ESA）的贝皮可伦坡号(BepiColombo)水星探测任务作为一个实际案例，来说明ARE方法处理自治性需求的能力。重点介绍自治性需求工程方法，包括需求的导出、表达以及验证与确认。