构件匹配依靠精确描述构件的语义，而形式规格说明基于严格的数学概念和理论。

Components matching depends on precisely describing the semantics of components, and formal specification is based on strict mathematic concept and theory.

youdao

构件匹配依靠精确描述构件的语义，而形式规格说明基于严格的数学概念和理论。

Components matching depends on precisely describing the semantics of components, and formal specification is based on strict mathematic concept and theory.

youdao