非线性设计模块NCD模块  nonlinear linear design module NCD module

抽象-抽除  abstract symbol

抽象模式  abstract data type

抽象模型  abstract model; abstract pattern; abstraction model

抽象模型检验  Abstract model checking

抽象模型论  abstract model theory

广义KRA抽象模型  general KRA abstraction model

数据访问对象抽象工厂  data access object and abstract factory

应用—逻辑—算法—物理分层抽象模型  application-logic-algorithm-physics layer abstract model

对象模块格式  OMF Object Module Format

对象模块库更新  OMLU Object Module Library Update

文档对象模块  DOM

组件对象模块  component object model

个性模块模件  personality module

建模模块  modeling module

模块模型  module model

偏序时态模块模式  partial-order temporal module scheme

全序时态模块模式  total order temporal module schemes

三模块模型  three block model