单词 | formal specification | ||||||||||||||||
释义 | formal specification
更多释义 收起释义 例句释义: 形式规约,形式规格说明,形式化描述 1. The production of formal specification of interfaces between components in advance of coding had not previously been done. 在编码没有完成之前生成组件间接口的正式规范。 www.ibm.com 2. Software refinement is an important technology with respect to transformation from formal specification language to executable code. 软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。 www.dictall.com 3. A formal specification of element names that indicates which elements are allowed in an XML document, and in what combinations. 元素名的正式规范,指示XML文档中允许包含的元素以及如何组合。 msdn2.microsoft.com 4. With the use of formal specification language language, its safety requirements are represented as a formal specification. 本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。 www.dictall.com 5. The format of schema files for the validator was designed so that it is a simple task to create from a formal specification. 验证器的架构文件的格式是经过预先设计的,以便从一个正式规范创建架构成为一个简单任务。 www.ibm.com 6. It? s not a formal specification, but a readable introduction to each language feature. 它并不是一个标准规范,而是一本介绍每门语言特性的可读书籍。 www.ibm.com 7. For a formal specification of the verb set XML syntax, see the XML schema. 有关谓词集XML语法的正式规范,请参阅XML模式。 www.ibm.com 8. For a formal specification of the staff query XML syntax, see the corresponding XML schemas. 有关人员查询XML语法的正式规范,请参阅对应的XML模式。 www.ibm.com 9. For a formal specification of the parameterized verb XML syntax, see the XML schema. 有关参数化谓词XML语法的正式规范,请参阅XML模式。 www.ibm.com 10. Some problems are resulted in because of this. Z is a widely used formal specification language. Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。 epub.cnki.net 1. You can find the latest formal specification for JAX-RPC handlers in JSR 921 (see Resources). 您可以在JSR921中找到JAX-RPC处理程序的最新正式规范(请参阅参考资料)。 www.ibm.com 2. It is often thought to be something written in a formal specification language 需不需要使用正式的技术语言来写 select.yeeyan.org 3. The contract is the formal specification, its what the design has to meet and its this that should be used for all forms of testing 契约是正式的规格说明,设计必须满足它,而且各种形式的测试也都应该使用它。 www.infoq.com 4. A Formal Specification Language Supporting Specification Acquisition 一个支持规约获取的形式规约语言 www.ilib.cn 5. An ontology is a formal specification of a shared conceptualization 本体是共享的概念模型的形式化的规范说明 blog.sina.com.cn 6. Formal Specification and Verification for Group Communication Algorithm Suiting Extended Virtual Sy 支持扩展虚拟同步的组通信算法形式描述与验证 www.wenloo.com 7. Dynamic Formal Specification of Fault Tolerant Service on Distributed Object Computing Environment 分布式对象计算环境下系统容错服务的动态行为描述 www.ilib.cn 8. Information technology - Z formal specification notation - Syntax, type system and semantics 信息技术.Z格式规范标志法.语法、形式系统和语义学 www.mapeng.net 9. Aspect-Oriented Distributed Formal Specification Language 面向方面分布式系统形式化规格说明语言 scholar.ilib.cn 10. Formal Specification for Evolution of Algorithm and Its Properties 算法演化的形式归约及其性质 www.ilib.cn 1. Automatic translation from formal specification to system-level state transition diagram 从形式化规范自动生成系统级状态机 service.ilib.cn 2. The Formal Specification and Verification of Transaction Processing in Web Services by Membrane Calculus 基于细胞膜演算的Web服务事务处理形式化描述与验证 www.ilib.cn 3. The Formal Specification and Property Verification of Interactive User Interface 交互式用户界面的形式化描述与性质验证 www.ilib.cn 4. Formal Specification, Designing and Verification of Secure Protocol 安全协议的形式化说明、设计及验证 www.ilib.cn 5. The Formal Specification and Property Verification of the Command and Control 指挥控制的形式化描述与性质验证 ilib.cn 6. Algebraic Verification Method of Data Refinement in Formal Specification Language 形式规范语言数据求精过程的代数验证方法 www.ilib.cn 7. Formal Specification Language for Description of Security Protocol 一种描述安全协议的形式化规范语言 www.ilib.cn 8. Formal Specification and Modeling of Intelligent Traffic Control Signals 智能交通信号灯形式化建模 ilib.cn 9. The Formal Specification of Transaction Processing in Web Services by Rewriting Logic 基于重写逻辑的Web服务事务处理形式化描述 www.ilib.cn 10. Formal Specification of Cryptographic Protocols Using PVS 基于PVS的密码协议形式化规范 service.ilib.cn 1. The formal specification of real-time systems and its analysis 实时调度问题的形式化描述及分析 www.ilib.cn 2. The XLIFF format definition as stated in the formal specification is concise, clear, and practical 正式规范中的XLIFF格式非常精确、清晰和实用 www.ibm.com 3. A Survey on Visual Languages Formal Specification by Grammatical Approach 可视化语言文法形式化描述综述 www.ilib.cn 4. Compiler Support to Implement LOTOS Formal Specification 执行LOTOS形式说明的编译器支持 ilib.cn 5. Formal Specification of Community Health Service System 社区卫生服务系统形式化规格说明 www.ilib.cn 6. A formal specification for authorization policies of usage control 使用控制授权策略的一种形式化表示方法 www.ilib.cn 7. Real-time Control Software's Programming From Formal Specification 从形式化式样出发的实时控制软件开发 www.ilib.cn 8. Formal Specification for Object-oriented Model of Role-based Access Control 对象式基于角色访问控制模型的规范化描述 www.ilib.cn 9. Formal Specification of Security Protocols 安全协议的形式化规范 ilib.cn 10. Overview of Formal Specification Patterns and Their Reuse 形式规约模式及其重用技术研究综述 www.ilib.cn 1. Research on Model formal Specification for System-of-systems Combat Simulation 体系对抗仿真模型形式规范研究 www.ilib.cn 2. Research on Formal Specification of Software Architecture Based on Temporal Logic 基于时序逻辑软件构架形式化方法研究 www.ilib.cn 3. Analysis of Conformance Test Reliability Based on Formal Specification 基于形式规范的协议一致性测试的可靠性分析 www.ilib.cn 4. Formal specification matching based on order-sorting for software component 基于排序形式化规格说明的软构件匹配 ilib.cn 5. Formal specification of IN services and feature interaction detection based on INAP 基于INAP的智能业务形式化描述和冲突检测 www.ilib.cn 6. Object-oriented software testing based on formal specification 基于规约说明语言的面向对象软件测试 www.ilib.com.cn 7. Test Case Design Based on Formal Specification and Classification-tree Method 基于形式规格说明和分类树方法生成软件测试用例 ilib.cn 8. The study of formal specification based on UML 基于UML的形式化规范说明研究 www.ilib.cn |
||||||||||||||||
随便看 |
|
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。