您要查找的是不是:
- The dissertation extends DisCo formal description language to precisely describe design pattern. 本文扩展了DisCo形式化描述语言,使其能很好地描述设计模式。
- Abstract: LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language). 摘 要: LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。
- Linear temporal logic is a formal description language of the dynamic semantics by of the concurrent or the reactive program.It suits for precisely representing the dynamic semantics of a model. 线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。
- Research on the Formal Description Language for Military Conceptual Modeling 军事概念建模形式化描述语言比较分析
- Design and Implementation for Compiler of Formal Description Language ASN.1 形式描述语言ASN.;1及其编译器的设计与实现
- An Interactive Generating Method for Protocol Formal Description Language Estelle 协议形式描述语言Estelle的交互生成方法
- formal description language 形式描述语言
- The paper introduces formal description techniques and SDL. 介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。
- A language element in the formal description of a computer language, for example, the metavariables in an arithmetical expression are constants, variables, operators, etc. 计算机语言的形式描述中的语言元素,如在算术表达式中的元变量是常数、变量、运算符等。
- In this paper the ISO & CCITT formal description techniques will be introduced. 本篇文章中,将介绍ISO和CCITT的形式描述技术。
- A language element in the formal description of a computer language,for example,the metavariables in an arithmetical expression are constants,variables,operators,etc. 计算机语言的形式描述中的语言元素,如在算术表达式中的元变量是常数、变量、运算符等。
- CDL is a wide-spreading computer hardware description language. CDL语言是国际上广泛使用的计算机硬件描述语言,CDL/MP是CDL语言的扩充。
- Describes basic policy description language conventions and guidelines. 描述策略描述语言的基本约定和准则。
- IC VHDL: Very high speed integrated circuit Hardware Description Language. 超高速集成电路硬件描述语言。
- This paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description, and we have implemented a partial evaluator for like-PASCAL. 摘要提出一种应用于过程式语言的动静态结合的部分求值技术,并给出该方法的形式描述。采用该方法,实现一个实验性的部分求值系统。
- This flag is computed; there is no Object Description Language for the flag. 派生。此标志为计算所得,没有此标志的对象描述语言。
- The OIM is a formal description of metadata constructs organized by subject area. OIM是按主题区域组织的元数据构造的正式说明。
- Design a kind of Abstract Description Language of Class Hierarchy Adloch. 设计了一种类层次结构抽象描述语言Adloch。
- Ultimately, the UML model is converted into an XML schema, which is a very formal description of the XML vocabulary. 最后,UML模型转化成XML模式,这是XML词汇表非常正式的描述。
- An 8 bits SCM was designed with VHSIC hardware description language (VHDL). 课题采用硬件描述语言VHDL设计了8位单片机系统。