同时对该模型的核心模型进行了形式化描述和定义。
The formalized description and definition of the kernel model are also given.
实现了阅卷信息的形式化描述以及对应的语言解释系统。
Formal description system of checking information and its parse system.
目前主流的软件体系结构描述方法有两类，分别是形式化描述和可视化描述。
Now the main methods of software architecture description are formal description and visual description.
文中分别对案例知识和经验知识进行了形式化描述，并建立了相应的诊断模型。
Case and experience knowledge are formally describing, and diagnosing model is built in this article.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
A formal model is proposed to describe time character of constraint in this paper.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
A formal model is proposed to describe time character of constraint in this paper.
应用推荐