除了规范化模型以外，还可能创建和管理基于这些模板的文档，以提供驱动分析和设计思路所需的需求输入。

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.

youdao

本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法，它能够较好地满足目前系统设计的要求。

Then the paper addresses the issues that model, active specs and ICD can drive the development of embedded systems effectively during the design phase.

youdao