These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
The present status of production, process . specification and analysis method of high purity hydrogen peroxide both at home and abroad are introduced.
介绍了国内外高纯过氧化氢生产情况、生产方法、产品质量指标和分析方法。
The service analysis model represents the data structures for service and component specification.
服务分析模型表示服务和组件规范的数据结构。
The goal of a service analysis model is to guide the specification of software components and services in a way that is compatible with the overarching data architecture.
服务分析模型的目的是以一种与最终数据架构相兼容的方式指导软件组件和服务的规范说明。
The various states in the model represent core architectural analysis and specification points.
模型中的各种状态呈现了核心的架构性分析与规划点。
Single Responsibility Principle was introduced Tom DeMarco in his book Structured Analysis and Systems Specification, 1979.
单一责任原则被Tom DeMarco引入，在他的著作“结构化分析和系统规约”中，在1979年。
Litmus testing, subsystem analysis, and component specification tasks were derived from similar tasks in IBM's proprietary version of SOMA;
Litmus测试、子系统分析和组件规范任务源于IBM私有版本的SOMA 的类似任务；
TMap features several techniques, including test strategy development, test point analysis, the testability review of the test basis, and many test specification techniques and checklists.
TMap有多个技术特性，包括测试策略开发、测试点分析、测试的易测性复审和许多测试规格说明技术和检查单。
InfoQ spoke to Julian Hyde, olap4j specification lead, Pentaho lead Architect for Analysis and Mondrian Founder, to find out more about olap4j.
InfoQ有幸采访了olap4 j规范的领导者、Pentaho分析的首席架构师和Mondrian的创始人JulianHyde，以了解olap4j的更多内容。
Model includes business analysis and design (requirements, processes, goals, key performance indicators) and IT analysis and design (service identification and specification).
建模包括业务分析与设计(要求、流程、目标和主要性能指标)及IT分析与设计(服务标识和规范)。
For developing a software product, the development process is divided into5stages:Requirements Analysis &Specification, Design, Coding, Testing, and Maintenance.
就开发软件而言，开发过程分成5步：需求分析及详细计划书，设计，编程，测试和维护。
The analysis of its technical specification and economic performance validates its effectiveness and feasibility.
通过分析其技术指标和经济性能，验证了该方案的有效性。
Through needs analysis, specification systems, purchasing skills, models and accessories to do a targeted note describes.
通过需求分析，规范，选购技巧，对机型及配件做有针对性说明。
Based on the brief analysis and summary of JMS specification, this thesis focuses study on the design of JMS based message-oriented middleware and message filter mechanism in JMS.
论文在分析和总结JMS规范的基础上，对基于JMS的消息中间件的设计及JMS中的消息过滤机制进行了重点研究。
According to the domain analysis testing approach of specification and program, which was reported in the reference, we develop 90 test cases to check 34 version RSDIMU programs.
本文根据文献提出的一种基于规范和程序域分析的软件测试方法，开发出90个测试用例，对34个版本的rsdimu容错软件进行测试。
This paper describes a software toolbox called RAPID, which supports the development of data processing systems in requirement analysis and specification phase.
本文介绍一个软件工具系统RAPID，它支持快速成型法，可用于数据处理系统开发过程中的需求分析和规格说明阶段。
The techniques of the requirement analysis and requirement specification in object-oriented programming are discussed and their relations with later object-oriented design are also considered.
讨论了面向对象程序设计技术中的需求分析、需求说明技术及它们与后继的面向对象设计技术的关联。
The surfacing process test is introduced. Based on the analysis of test results and the calculation of dilution rate of surfacing layer, the reasonable surfacing specification is selected.
介绍了堆焊工艺试验，在分析试验结果、计算堆焊层稀释率的基础上，选定了合理的堆焊工艺规范。
The test scripts must be written against the specification and any architecture, analysis, and design that is discussed in the requirement work item.
您必须根据需求工作项目中所讨论的规格与任何架构、分析与设计，撰写适用的测试指令码。
Partially completed E—R diagram generation produces E—R diagrams from requirements analysis and specification documents.
初步E—R图的生成阐述了从需求分析说明文档中的信息提炼E—R图的方法。
The method provides an integrative framework supporting requirement analysis, model specification and design, model analysis and simulation, and model implementation.
该方法提供了支持需求分析、模型描述和设计、模型分析和仿真，直至模型实现的一体化框架。
This paper introduces the design of Zhenjiang telecom custom service center system, such as user requirement analysis, general specification, CTI platform and software design.
本文从需求分析、总体架构、CTI平台、软件设计等几方面介绍了镇江电信客户服务中心系统的设计方案。
The paper uses Bouguer-Beer law calculating common mathematic expression to protract specification curve of increasing color reaction and depigmentation reaction in spectrophotometry analysis.
介绍了在分光光度法分析中，增色反应和褪色反应的标准曲线绘制用朗伯—比耳定律可推导出一般数学表达形式。
The paper makes a detailed analysis of and introduction to the technical specification and function implementation of the system.
文中对系统的技术指标和功能实现，做了详尽的分析和介绍。
By defining a structured approach to market analysis and requirements specification, this training helps you get it right first time.
通过定义一个市场分析和需求详细说明书的结构化方法，这次培训将帮助你首次就把产品定义做正确。
Five job analysis. 1, shall be responsible for the organization department revised responsibility of the manual, and be responsible for preparing their jobs specification.
工作分析1、负责组织各部门修订岗位职责说明书，并负责编制各岗位的工作说明书。
Serious analysis of the advance action of front cots, consequence thereof and way of location, It is pointed out that the advance value should be smaller than that given in the specification.
紧密围绕前胶辊前冲的前因、后果和确定原则及定位方法进行了分析，指出前冲量的取值应偏小于摇架使用说明书的要求范围。
Statistical population is the specification and quantification of research targets, and starting point and destination of data analysis.
统计总体是研究目的的具体化和定量化，是数据分析的起点和归宿。
A similar and much simpler analysis would be for a single specification limit.
类似的和更简单的分析将是一个单一的规格限制。
A similar and much simpler analysis would be for a single specification limit.
类似的和更简单的分析将是一个单一的规格限制。
应用推荐