除了规范化模型以外,还可能创建和管理基于这些模板的文档,以提供驱动分析和设计思路所需的需求输入。
Documents based on these templates may be created and managed alongside the formal models, providing the requirements input needed to drive analysis and design threads.
本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。
Then the paper addresses the issues that model, active specs and ICD can drive the development of embedded systems effectively during the design phase.
应用推荐