1·Formal description system of checking information and its parse system.
实现了阅卷信息的形式化描述以及对应的语言解释系统。
2·And, the expanded RBAC model-ERBAC model and the formal description are given.
给出了扩展的RBAC模型—ERBAC模型，并给出了其形式化描述。
3·A transport protocol and its formal description techniques for local networks are discussed.
本文研讨局部网络的传输协议及其形式描述技术。
4·This paper presents a new hybrid model called FCA for communication protocol formal description.
本文提出了适用于通信协议形式描述的一种新的混合模型，文中称之为FCA混合模型。
5·Alternatively, the model could be processed into a WSDL file — again a formal description of a Web service.
或者模型被处理成wsdl文件，同样是Web服务的正式描述。
6·Now the main methods of software architecture description are formal description and visual description.
目前主流的软件体系结构描述方法有两类，分别是形式化描述和可视化描述。
7·With the formal description of the adaptor generating process, we can automatically generate the adaptor.
通过适配器生成过程的形式化描述可以自动生成该适配器。
8·A formal description of a system, or a detailed plan of the system at component level to guide its implementation.
系统的正式描述，或用于指导其实现的组件级别的系统详细计划。
9·A formal description is designed for process chains, determined by the processing of complex 3d geometry models.
描述了过程链的模型设计，复杂的3 D几何数据模型的制作说明了这些过程链。
10·A formal description of hypercube is given, from which a recursive method of constructing a hypercube is derived.
本文给出了超立方体计算机结构的集合描述，并由此导出了该结构的递归构造法。