潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

系统工程中的验证和确认:评估UML/SysML设计模型/(加)穆拉德·德巴比(Mourad Debbabi)[等]编著 江洋溢[等]译

出版发行项:

北京:国防工业出版社,2025

ISBN及定价:

978-7-118-13655-5 精装/CNY128.00

载体形态项:

18,229页:图;24cm

并列正题名:

Verification and validation in systems engineering:assessing UML/SysML design models

个人责任者:

德巴比 编著

个人次要责任者:

江洋溢 译

学科主题:

系统工程-研究

中图法分类号:

N945

题名责任附注:

编著者还有：(加)法齐·哈桑(Fawzi Hassaine)、(加)约萨尔·贾拉亚(Yosr Jarraya)、(加)安德烈·索亚努(Andrei Soeanu)、(加)卢埃·埃尔万内(Luay Alawneh)

提要文摘附注:

本书介绍了通过数学方法验证系统模型是否符合预期需求和规范的方法，开展基于系统模型的形式化分析，以期解决高端装备和复杂体系设计与评估问题，确保在各种场景和边界条件下所设计的系统都能正确运行。

豆瓣简介：