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 ).

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.

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

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 ) 将每个实体集映射到适当的表.

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

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

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语言的规范。

This makes natural language a good fit for poetry, but a less good fit for technical specification.

这使得自然语言非常适合用于诗歌，而不适合用在技术规格说明中。

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体系结构中与交换安全信息相关的问题。