机构名称：
¥ 1.0
系统的使用（即操作描述）及其功能架构。通过使用形式语言而不是文档，目的是提高规范的质量和理解，并处理系统的复杂性。事实上，可以执行正式的分析和验证，减少错误数量并在开发周期的早期发现它们。此前，空客依靠可用且完善的 COTS 工具取得了令人鼓舞的成果，但由于其复杂性，其部署受到限制。因此，新工具的一个关键要求是它必须足够灵活，以适应空客系统工程词汇和概念，并随着流程和方法的逐渐成熟，轻松适应不断变化的需求。
Eclipse Papyrus 案例研究系列
主要关键词
相关文件推荐
