| 单词 | specification language |
| 释义 | 例句释义: 规范语言,规约语言,规格说明语言,编译器规格语言 1. Software refinement is an important technology with respect to transformation from formal specification language to executable code. 软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。 www.dictall.com 2. With the use of formal specification language language, its safety requirements are represented as a formal specification. 本文使用形式化规格说明语言———Z语言来描述其安全需求，生成形式化规格说明。 www.dictall.com 3. LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language). LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。 www.dictall.com 4. Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets. 过去的机制包括文档风格语义和规范语言以及级联版式。 www.educity.cn 5. At last, discusses the important role of action refinement in specification language's hierarchical descriptions. 最后，探讨了动作细化在规范语言层次化描述中的作用。 www.fabiao.net 6. Trust-Management uses a uniform "Security Policy Specification Language" to describe security policy. 它使用一种统一的“安全策略说明语言”来描述应用的安全策略。 www.fabiao.net 7. PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。 osl.bsw.net.cn 8. The workflow specification language is given, it formalizes the workflow model. 最后给出一个工作流规范说明语言，它形式化了我们提出的工作流模型。 www.ceps.com.tw 9. The advantage of using a standard specification language like BPEL4WS between the two is that it allows both to become pluggable over time. 在这两者之间使用一种诸如BPEL4WS之类的标准规范语言，这样做的的好处是它允许这两者随着时间的推移变成可插入的。 www.ibm.com 10. A unified access control specification language according to XML criterion is adopted to specify the policy of access control. 该模型采用一种统一的符合XML规范的策略描述语言描述访问控制策略信息。 www.fabiao.net 1. It also demands much more stringent use of the specification language. 它还要求对规范语言的更严格的使用。 www.ibm.com 2. Some problems are resulted in because of this. Z is a widely used formal specification language. Z是一种广泛使用的形式化规约语言，Z适合用来精确地表示模型的语法和语义。 epub.cnki.net 3. PSL is processed specification language, which can extends to foundational theories according to users' demand. PSL是面向制造业信息集成的过程规范语言，用户可根据需求对其基本理论进行扩展。 dictsearch.appspot.com 4. What is your perspective on its potential impact on software architecture, specification language, software process and software reuse? 你如何看待其可能产生的影响软件体系结构，规范语言，软件过程和软件重用？ q.sohu.com 5. It is often thought to be something written in a formal specification language 需不需要使用正式的技术语言来写 select.yeeyan.org 6. A Specification Language Used in Manufacturing Information System Integration 用于制造系统过程集成的一种规范语言 ilib.cn 7. A Formal Specification Language Supporting Specification Acquisition 一个支持规约获取的形式规约语言 www.ilib.cn 8. Formulates standard specification language for civil and process engineering projects; 设计土建和工艺工程项目的标准规范 job.tzstudent.com 9. Industrial automation systems and integration--Process specification language--Part 43: Activity ordering and duration extensions 工业自动化系统和集成—过程规范语言—第43部分：活动排序和持续时间扩充 www.tsinfo.js.cn 10. An Embedded Real-Time Software Oriented Requirements Specification Language and Checking Methods 面向嵌入式实时软件的需求规约语言及检测方法 service.ilib.cn 1. Aspect-Oriented Distributed Formal Specification Language 面向方面分布式系统形式化规格说明语言 scholar.ilib.cn 2. Industrial automation systems and integration--Process specification language--Part 13: Duration and ordering theories 工业自动化系统和集成—过程规范语言—第13部分：持续时间和排序理论 www.tsinfo.js.cn 3. Verification of Hardware Circuit with Property Specification Language 用属性说明语言验证硬件电路 ilib.cn 4. Algebraic Verification Method of Data Refinement in Formal Specification Language 形式规范语言数据求精过程的代数验证方法 www.ilib.cn 5. Formal Specification Language for Description of Security Protocol 一种描述安全协议的形式化规范语言 www.ilib.cn 6. Design and Application of Semi-formal Requirement Specification Language 半形式化需求说明语言的设计及应用 service.ilib.cn 7. Property Specification Language of Hardware Circuit 硬件电路的属性说明语言 www.ilib.cn 8. Research on the Application of Process Specification Language 过程规范语言应用分析 ilib.cn 9. Realization-Oriented Protocol Specification Language Based on Temporal Logic 基于时序逻辑的面向实现的协议规范语言 www.ilib.cn 10. Language and Semantic Analysis on Process Specification Language Based on Ontology 基于本体论的过程规范语言的语义分析 ilib.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。