通过软件架构恢复进行设计验证 电子书下载

原名:Design verification through software architecture recovery
作品简介:架构、数据流图和软件架构描述..这在汽车、航天器、机车和战斗机等领域已成为现实。ComP 包含用于访问硬件的硬件抽象层..广泛应用于文献和其他软件标准，例如 AUTOSAR [ 24]……