The specification phase is of great importance to the whole process of the software development, which is always considered as part of the requirement system.
软件的规范说明阶段(specification phase)对于软件整体开发过程来说是一个非常重要的阶段,它可以被认为是需求分析的一部分。
B method is one of the most popular formal methods at present,which supports the whole lifecycle of software development process,from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一,它支持从规范说明到代码生成的整个软件开发周期。
With precise mathematical semantics,formal methods support accurate specification and rigor verification for software systems.
B形式化方法支持从规范说明到代码生成的整个软件开发周期。
Through the research on the division standard of active conduct and negative conduct,prohibition criterion and command criterion,the paper thought that criterion theory is right.
刑法中"持有"行为的性质归属是刑法理论争论的焦点问题,通过对作为与不作为的划分标准以及禁止规范与命令规范性质的探讨,认为在规范说的立场上看,第三行为的学说与认识没有存在的余地,"持有"只有在作为与不作为的行为划分中寻找其归属。
Invoking of penalties in contracts where specifications are not met.
对于不符合规范说明的在调用合同中罚款。
User Interface and Application Specification Processing for Embedded Real-time Database;
嵌入式实时数据库的用户接口与应用规范说明处理
The study of specification for abstract datatype (ADT) is important in the development ofobject-oriented software and in program verification.
研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。
The Essence of the Law of the Burden of Proof Modification of "Disuse of Substantial Laws";
证明责任规范的本质论——对"不适用规范说"的修正
This subsection should specify the requirements derived from existing standards or regulations.
本节详细说明需求所采用的标准或规范的来源。
EXPLANATIONS ON THE DESIGN NORM OF FIRE SYSTEM OF HIGH RISE CIVIL BUILDINGS
《高层民用建筑设计防火规范》有关情况说明
The connotation of the insurer′s statement obligation and its nature
保险人说明义务之涵义与规范属性辨析
The Burden of Proof and the Theory of Non-applicability of Legal Regulations--Rosinbeck s Theory and Its Significance;
证明责任与不适用规范说——罗森贝克的学说及其意义
The records shall include an assessment of the impact of out-of-specification condition, statements of conformity to specification after calibration/verification
记录应包括偏离规范状态的影响的评估、在校准/验证后有关符合规范的说明。
specification:document stating requirements
规范: 阐明要求的文件
For overseas training , the training schedule and time required be stated In the technical specification .
关于国外培训,技术规范中对培训日程和所需时间均做了说明。
Explaining of Editing Implement of National Strand 《Design Standard of Parallel Connection Capacitor Device》
国家标准《并联电容器装置设计规范》修订实施说明
Compilation and Introduction of Technical Code for Safety of Cuplock Steel Tubular Scaffolding in Construction JGJ166-2008
《建筑施工碗扣式钢管脚手架安全技术规范》JGJ166-2008的编制及其说明
Quality assurance applications can begin with the online retrieval of specifications, codes, and standards.
质量保证方面的应用可以从说明书、产品规范、法规和标准的联机检索着手。
This book speaks about norms in terms of rules.
本书中所说的规范主要指规则。
School boundaries ?School provides clear rules and consequences.
学校规范——学校制订明确的规定和违规的惩罚。
The request and specification manual for the product
产品需求和规格说明。
declare set number insertion rule
说明设备号插入规则
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号