1.
LOTOS is a powerful tool to describe concurrent operations,whose composition,operation semantic and precepts are introduced.
介绍了形式化描述语言LOTOS的组成、操作语义和规则;
2.
The main forms and language realization of nonagent-oriented manners of description in German;
德语非施事描述方式的主要形式及其语言实现
3.
configuration description language processor
构形描述语言处理机
4.
The formal specification of railway crossing system based on Real-Time Object-Z
基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
5.
schema DDL skeleton
模式数据描述语言骨架
6.
SVG is a language for describing two-dimensional graphics in XML.
svg是用于在XML中描述二维图形的语言。
7.
To design waveform pulsing with VHDL Hardware DescriPtion Language;
用VHDL硬件描述语言设计波形发生器
8.
This paper formulates the conception of formalization of software engineering, and specifies the requirements of software.
本文阐述了形式化软件工程的基本概念,并采用规格说明语言实现了一个应用软件的形式化描述。
9.
A language element in the formal description of a computer language, for example, the metavariables in an arithmetical expression are constants, variables, operators, etc.
计算机语言的形式描述中的语言元素,如在算术表达式中的元变量是常数、变量、运算符等。
10.
Research on Visualization of Reliability Evaluation Oriented Architecture Description Language
面向可靠性评估的软件架构描述语言图形化研究
11.
Description and Refinement of Distributed Real-time Software Architecture Based on Temporal Logic Language
基于时序逻辑语言的分布式实时软件体系结构描述与精化
12.
It should be completely described via the publication of a formal syntax and semantics.
通过的发表形式化的语法和语义,它应当得到完全的描述。
13.
A pseudocode approach for Particle Swarm Optimization algorithm based on VB;
基于VB语言的粒子群优化算法描述
14.
Architecture Description Language for Aspectual Component Composition--AWright
方面化构件组装体系结构描述语言AWright
15.
Three-dimensional Fractal Graphic Description Language System Based on L-system
基于L-系统的三维分形图形描述语言系统
16.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
17.
C's declaration syntax is designed to help describe data, rather than have the data determine the form of a program.
c语言的说明语法可用来帮助描述数据,而不是让数据来决定程序的形式。
18.
to give an account or representation of in words.
用语言来描述或表现。