片语

Problem Specification Language问题说明语言

General specification for language repeater语言复读机通用规范

Resource Specification Language资源描述语言

SDL Specification Description Language说明与描述语言

Specification andDescription Language SDL规范和描述语言

specification and description languageSpecification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed system

the specification of language form语表具体性

Dialogue Specification Language对话说明语言

Specification Description Language规范描述语言

英汉例句

• the advantage of using a standard specification language like bpel4ws between the two is that it allows both to become pluggable over time.

  在这两者之间使用一种诸如bpel4ws 之类的标準规范语言，这样做的的好处是它允许这两者随着时间的推移变成可插入的。

• xquery combines the flexibility of the xpath specification language to extract individual elements with the ability to easily define functions, loops and programmable elements.

  xquery将xpath规范语言提取单个元素的灵活性与易于定义函数、循环和可编程元素的能力结合在一起。

• z is a formal specification language based on the first order predicate logic and set theory. it can generate concise, accurate and conformable specifications.

  语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明。

• this paper proposes a security policy specification language based on task-role access temporal control mechanism , whose style like first order predicate logic.

  基于任务角色访问控制机制，提出类似一阶谓词逻辑的安全策略定义语言，并具有一定的时序表达功能。

• this article presents attack tree model to describe the attacking scenario. based on the principle of attack tree model, an attack specification language is constructed.

  该文采用攻击树模型来模拟攻击行为，并提出了一个基于攻击树模型原理的攻击规范语言。

• the model-based specification language was used in test specification, and formal description testing data and other testing information for ttf parts was defined with description language z.

  测试规范使用基于模型的规范语言，由描述语言z定义ttf基本部件的形式描述测试数据和其它测试信息。

• requirements from internet of mapping process planning specification language to idl and xml standards were also discussed.

  同时，探讨了网络时代的工艺计划描述语言的网络化特点，即与分布式对象接口标準和xml标準的映射。

• through the domain analysis of gis application system, this paper designed a simple specification language for gis application system, named gasl.

  通过对gis应用系统的分析，设计出一种简易的gis软件规格描述语言gasl。

• a unified access control specification language according to xml criterion is adopted to specify the policy of access control.

  该模型采用一种统一的符合xml规范的策略描述语言描述访问控制策略信息。

• the data model, the form defining language, the application specification language andaset of software tools in a form-oriented application developing system(fads)are de-scribed.

  讨论fads系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。

• rosettanet does not currently use an overall e-business dialogue specification language that can be used to express the entire e-business dialogue.

  现在，rosettanet并不使用全部电子商务规范语言（它可以用来表示整个电子商务对话）。

• the test control data described in the iso standardized specification language - ttcn-3 has to be converted into executable code for test systems.

  本论文研究的主题是如何将用ttcn-3描述的测试控制数据转变为能够被测试系统执行的可执行测试控制数据的技术。

• aaa, an algebraic specification language based on the abstract data type, is introduced first.

  首先给出一种基于抽象数据类型的代数规格说明语言aaa；

• the goal oriented specification language kaos is extended, and a strategy model is added in order to achieve the multi-goal, dynamic strategy adaption requirement specification.

  将面向目标的规约语言（kaos）进行扩展，增加了策略模型，建立支持面向多目标的基于动态策略的适应性需求规约方法。

• the paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.

  利用形式化规格说明语言——b语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。

• software refinement is an important technology with respect to transformation from formal specification language to executable code.

  软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。

• the specification language z is used in this paper.

  模型采用规格说明语言z进行描述。

• lotos is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).

  lotos主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。

• based on this meta-model, a compact role based access control xml policy specification language framework is proposed.

  并在这一元模型的基础上，提出了一种紧凑的基于角色的访问控制xml策略描述语言框架。

• thus, it provides an excellent foundation for correctly understanding the raise specification language and describing its formal semantics.

  从而为準确地理解raise规范语言、正确地描述其形式语义奠定良好的基础。