specification language的例句大全

Formalizing extended events traces using formal specification language Z

用Z语言形式化扩展事件踪迹图

互联网摘选

This paper addresses the semi-structured query rewriting problem for TSL ( tree specification language), a language for querying semi-structured data.

研究了基于半结构化数据查询语言TSL（Tree Specification Language）的查询重写问题。

互联网摘选

Generate mapping specification language ( MSL ) that maps the SSDL to your conceptual model.

生成将SSDL映射到概念模型的映射规范语言 ( MSL ).

互联网摘选

Formal specification languages Z and Object-Z have used to describe the semantics of programming language.

形式化规范语言Z和Object-Z已经用于描述程序语言语义。

互联网摘选

Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets.

过去的机制包括文档风格语义和规范语言以及级联版式。

互联网摘选

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基本部件的形式描述测试数据和其它测试信息。

互联网摘选

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

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

互联网摘选

Map each entity set to the appropriate table in the mapping specification language ( MSL ).

使用映射规范语言 ( MSL ) 将每个实体集映射到适当的表.

互联网摘选

To realize the semantic description of process information, a semantic mapping rule and procedure based on Process Specification Language ( PSL) ontology was defined and the semantic of PSL ontology was analyzed.

在该模型中，定义了基于流程定义语言本体的语义映射规则及映射的具体过程，对流程定义语言本体进行了语义分析，实现了对流程信息的语义层次描述；

互联网摘选

in the identification of conclusions: to standardize the specification language in conclusions; to establish enquiry and query mechanisms for cross-examination in appraisal reports; to improve the credible mechanisms of identification conclusions.

在鉴定结论方面：规范鉴定结论用语；建立鉴定报告的交叉询问和质询机制；完善鉴定结论的采信机制。

互联网摘选

It points out that ATLAS 2K is the next generation test specification language based on signal component. The paper introduces its character, module architecture and application in modern ATS design.

指出基于信号组件的ATLAS2K是新一代测试标准语言，详细介绍了它的特点、模型结构及在现代ATS设计中的应用。

互联网摘选

Unified Modeling Language is a non-proprietary third-generation modeling and specification language.

统一建模语言是非专利的第三代建模和规约语言。

互联网摘选

JDBC is Java specification language used to how the client program to access the database application program interface.

数据库连接JDBC是是Java语言中用来规范客户端程序如何来访问数据库的应用程序接口。

互联网摘选

A Specification Language Used in Manufacturing Information System Integration

用于制造系统过程集成的一种规范语言

互联网摘选

HPF ( High Performance Fortran) is a parallel language based on data partition specification.

是基于数据划分说明的并行语言。

互联网摘选

But now there are a lots of language specification problems increasingly exposed, which can not but arouse the concern of workers in language and thought.

然而纵观现在各个电视台的综艺节目，主持人在的语言规范使用上存在的问题日益暴露出来，这也不能不引起语言文字工作者的关注和思考。

互联网摘选

CSPDL-a software process language described in this thesis formalizes the process specification by both graph and textual XML.

本文描述的软件过程定义语言CSPDL采用了图形和XML文本相结合的表示方式。

互联网摘选

Find the complete Java language specification from the.

可找到全部java语言的规范。

provided by jukuu

The Security Assertion Markup Language specification ( SAML) is an XML based framework that aims to solve problems associated with exchanging security information in an SOA architecture.

Security Assertion Markup Language规范（SAML）是一个基于XML的框架，旨在解决SOA体系结构中与交换安全信息相关的问题。

互联网摘选

Boogie is used to verify the assembly language against a specification and guarantees safe interaction with the TAL code and hardware.

它还使用Boogie根据规范来验证汇编语言，并确保它可以与TAL代码和硬件安全地交互。

互联网摘选