书目信息 机读格式(MARC)
系统工程中的验证和确认:评估UML/SysML设计模型
| ISBN/价格： | 978-7-118-13655-5:CNY128.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 系统工程中的验证和确认/.(加)穆拉德·德巴比(Mourad Debbabi)[等]编著/.江洋溢[等]译 |
| 出版发行项： | 北京:,国防工业出版社:,2025.06 |
| 载体形态项： | 18,229页:;+图:;+24cm |
| 提要文摘： | 本书介绍了通过数学方法验证系统模型是否符合预期需求和规范的方法，开展基于系统模型的形式化分析，以期解决高端装备和复杂体系设计与评估问题，确保在各种场景和边界条件下所设计的系统都能正确运行。 |
| 并列题名： | Verification and validation in systems engineering eng |
| 题名主题： | 系统工程 研究 |
| 中图分类： | N945 |
| 个人名称等同： | 德巴比 穆拉德 (加) 编著 |
| 个人名称次要： | 江洋溢 译 |
| 记录来源： | CN LCTBU 20250826 |