specification of program的意思|示意

Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.

作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。

First, there is the crosscutting specification, where you should ask yourself what parts of the program the concern affects.

首先是横切规范，它要回答的是关注点影响的是程序的哪些部分。

Maintain financial and credit system and program updates, and financial department in close contact to ensure that all financial and credit program, effective implementation of specification.

维持财务及信用制度和程序的更新，与财务部密切联系确保所有财务和信用程序的有效、规范执行。