本书系统描述了面向航天领域的最新的软件工程技术, 以及自治性需求工程 (ARE) 方法, 并使用欧洲航天局 (ESA) 的贝皮可伦坡号 (BepiColombo) 水星探测任务作为一个实际案例, 来说明ARE方法处理自治性需求的能力。重点介绍自治性需求工程方法, 包括需求的导出、表达以及验证与确认。