您要查找的是不是：
- array formal specification [计] 数组格式说明
- The research on formal specification for design patterns acts an important role in reuse of design patterns. 设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.
- Formal specification is a complete and accurate description of tasksthat a software system should perform. 形式规约(Formal Specification)是对软件系统所要解决问题的完备、精确的描述。
- Realization of LOTOS formal specification is one of indispensable steps in protocol design. LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。
- A business ontology is a formal specification of business concepts and their interrelationships that facilitates machine reasoning and inference. 业务存在论是业务概念和它们之间关系的正式规范,促进了机器的推理和判断。
- A formal specification of element names that indicates which elements are allowed in an XML document, and in what combinations. 元素名的正式规范,指示XML文档中允许包含的元素以及如何组合。
- An approach to the formal specification of the structure, function and the security principle of a certificate management system is presented. 把认证管理系统的分布式结构抽象为无圈有向图;在图中讨论了如何通过不同的有向道路得到相同的有效证书.
- These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
- The formal spaciflcation of transport protocol using EPr / TN net system is given, and the general methods for the formal specification of OSI network protocol are outlined. 最后用EPr/TN网系统形式描述了运输协议;阐明了OSI网络协议形式描述的一般方法.
- This paper describes a new object-oriented formal specification technology VDM++: an extension of VDM, and presents a simple example of specifying object-oriented system in VDM++. 摘要介绍了一种新的面向对象的形式化规范说明技术VDM++，它是VDM的一种扩充。并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明。
- By simplifying the automatic machine, a formal specification of corresponding real-time system was given, and the system in a more laborsaving way was analyzed. 对自动机的状态进行化简和归并，大大降低了讨论实时调度问题的复杂度。
- Formal specification describing method is brought forward.The describing tool is a transmogrification of Objected-Orient high-level Petri(Coorperative Net). 的研究，针对描述系统服务的原始规范中存在的问题，提出了分布式对象系统动态行为形式化描述方法，形式化工具采用面向对象高阶Petfi网（协 同阿）的一种变形。
- Then, the author designs MDM that is a multimedia document model for broadband application, introducing its feasibility and putting forward its formal specification and advantages. 作者首先研究用户对多媒体文档的主要需求及多媒体文档的特点，分析现有多媒体文档模型的优缺点，提出面向宽带网络应用的多媒体文档模型MDM，分析其可行性、完备性和优越性。
- By extension, an array of any number of dimensions. 广义来说，矩阵可以是任意维数的数组。
- Our troops were drawn up in battle array. 我们的部队已严阵以待。
- The royal couple appeared in splendid array. 王室伉俪身穿盛装出现。
- An array or abundance of gimmicks. 巧妙装置一系列的或大量的别致玩意儿
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- The whole city is in holiday array. 整个城市披上了节日的盛装。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
