机读格式显示(MARC)

• 000 00712nam0 2200133 450

• 001 0000394120

• 010 __ |a 978-7-118-13655-5 |b 精装 |d CNY128.00

• 101 1_ |a chi |c eng

• 200 1_ |a 系统工程中的验证和确认 |A xi tong gong cheng zhong de yan zheng he que ren |b 专著 |e 评估UML/SysML设计模型 |d Verification and validation in systems engineering |e assessing UML/SysML design models |f (加)穆拉德·德巴比(Mourad Debbabi)[等]编著 |g 江洋溢[等]译 |z eng

• 210 __ |a 北京 |c 国防工业出版社 |d 2025.06

• 215 __ |a 18,229页 |c 图 |d 24cm

• 330 __ |a 本书主要内容包括：绪论；架构框架、模型驱动架构与仿真；统一建模语言；系统建模语言；验证、确认和认证；用于协同验证和确认的自动化方法；系统工程背景下的软件工程量度等。

• 333 __ |a 系统工程研究人员

• 690 __ |a N945 |v 5