2) Proof Obligations
证明义务
1.
This paper presents the processes of hierarchical development and proof of method B,depicts its type checking and proof obligations from the construction of abstract machine to refinement and implementation in detail.
本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性。
3) proof obligation
证明义务
1.
This paper analyses the structure of B-method specification systematically,demonstrates the procedure of writing specification with B-method by an example,gives the proof obligation of specification simply,and at the same time refines the specification.
本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化。
4) giving proof
举证义务
1.
From the view of law, we analyse the responsibility principle, components, duty of listing proofs, giving proof, responsibility exemption of auditing responsibilities.
文章从法律视角论述了审计侵权责任的概念,并详细分析了审计侵权责任的归责原则、构成要件、举证义务、免责条件等要素,进而提出了完善我国审计侵权责任的法律构想。
5) documentary obligation
单证义务
6) Warranty
[英]['wɔrənti] [美]['wɔrəntɪ]
保证义务
1.
Research on Warranty of Insurance Law;
保险合同法中的保证义务
补充资料：比喻论证
用打比方形象地对论点进行证明的一种论证方法,又叫喻证法."喻巧而理至",由于这种方法是用容易理解和浅显的事物来说明不易理解和较深的事理,具有形象性,就能将抽象的道理予以具体化,做到深入浅出、平易生动,从而加强对论点的证明.运用时要注意所用的比喻必须恰当.一般说,比喻论证不宜作为一篇文章论证的主要方法,因此要适量.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条