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