网站首页  词典首页

请输入您要查询的英文单词：

　

单词 postconditions
释义

postconditions

  • 网络后置条件；后条件；后验条件

网络释义

1.
后置条件
后置条件（postconditions）：方法运行之后将会有哪些状态发生。程序的返回结构必须检查，伴随产生的副作用也必须检查。
blog.csdn.net
2.
后条件
...经被调用者满足了,那么该例程必须确保当它完成时所有后条件(postconditions)(以及任何不变式)皆为真."
www.5doc.com
3.
后验条件
良好的规约定义了用于强制对象状态的不变约束（invariants）以及描述操作影响的后验条件（postconditions）。通常我们不会 …
blog.163.com
4.
后置状态
　C) 检查前置状态(Preconditions)、后置状态(Postconditions)、类别不变量(Class Invariants)　　　前置状态--进入 method 前该达到的 …
www.dk101.com
5.
堆栈不变
... Output: 栈顶元素的数据值 \ Postconditions: 堆栈不变 Data 数据项 ...
cs.fjzs.edu.cn
6.
队列为空
... Output: 返回被删除元素 Postconditions: 队列为空 Preconditions: 堆栈非空 ...
cs.fjzs.edu.cn
7.
后状况
...时代，文化需要被不断重新发现。我们这个时代是一个“后状况（postconditions）”的时代，是“后现代的”，“后殖民主义的”、 …
www.literature.org.cn
8.
后处理
1. 使用assert来检查private和protected函数中的参数预处理（preconditions）和后处理（postconditions）。2. 使用assert来检 …
www.blogjava.net

例句

释义:
后置条件,后条件,后验条件
随便看

　

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/8/14 12:52:00