|
题名:
|
系统工程中的验证和确认 / (加) 穆拉德·德巴比 ... [等] 编著 , 江洋溢, 刘欣, 姜海波, 夏博远, 邓森译 |
|
ISBN:
|
978-7-118-13655-5 价格： CNY128.00 |
|
语种:
|
chi |
|
载体形态:
|
XVIII, 229页 图 25cm |
|
出版发行:
|
出版地： 北京 出版社： 国防工业出版社 出版日期： 2025 |
|
内容提要:
|
本书介绍了通过数学方法验证系统模型是否符合预期需求和规范的方法, 开展基于系统模型的形式化分析, 以期解决高端装备和复杂体系设计与评估问题, 确保在各种场景和边界条件下所设计的系统都能正确运行。内容安排上, 本书前4章是系统工程、体系架构与框架和建模语言等基础内容：从第5章开始, 进入本书的核心内容, 主要介绍了基于系统模型的验证、确认和认证的方法。 |
|
主题词:
|
系统工程 研究 |
|
中图分类法:
|
N945 版次： 5 |
|
其它题名:
|
评估UML/SysML设计模型 |
|
主要责任者:
|
德巴比 编著 |
|
主要责任者:
|
哈桑 编著 |
|
主要责任者:
|
贾拉亚 编著 |
|
次要责任者:
|
江洋溢 译 |
|
次要责任者:
|
刘欣 译 |
|
次要责任者:
|
姜海波 译 |