go top

post-condition

  • [计] 后置条件

网络释义专业释义英英释义

  [计] 后置条件

后置条件(Post-condition)主要是针对方法而言的,它规定了方法顺利执行完毕之后必须满足的条件。

基于304个网页-相关网页

  后置前提

一旦经由过程前置前提的校验,办法必须履行,并且必须确保履行成果合适契约,这称之为后置前提(Post-condition)。

基于12个网页-相关网页

  后条件

... pair programming - 结对编程 post-condition - 后条件 pre-condition - 前条件 ...

基于12个网页-相关网页

短语

post condition 后置条件

strongest post-condition 最强后条件

partial strongest post-condition 部分最强后置条件

pre-condition and post-condition 前提条件与后置条件

The Condition of post modernity 后现代的状况 ; 后现代性的条件 ; 后现代性的状况

Post Mold Cure Condition 硬化后条件

post-process condition 后处理条件

post-colonial condition 后殖民状况

post-treatment condition 后处理条件

 更多收起网络短语
  • 后置条件 - 引用次数:6

    参考来源 - 基于开放时态逻辑的面向方面程序形式化验证和模块推理研究

·2,447,543篇论文数据,部分数据来源于NoteExpress

Postcondition

  • abstract: In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself.

以上来源于: WordNet

双语例句权威例句

  • And of course, the post-condition is an obligation for the supplier.

    当然,后置条件是服务端的义务。

    youdao

  • Transparency: The pre - and post-condition code isn't mixed with business logic.

    透明性:前置和后置条件代码不与业务逻辑混合。

    youdao

  • And of course particular contract supplier, the post-condition is an obligation for the supplier.

    条件情况很多当然,后置条件是服务端的义务。

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定