“我们将受益于SCADE代码生成的认证和不再需要手工检查代码。SCADE能创建完整的无歧异的需求，并产生相应的嵌入式代码。

工作的重心从软件的开发变成了需求确定与验证

除此之外，减少开发周期是伴随着质量控制的改善”