后置条件 meaning in English
post condition
postcondition
Examples
- The pre - conditions needed to invoke a service and the post conditions that can result are communicated the current state and optional guards , as well as the next state are specified by the transition
呼叫服务需要的前置条件和会产生的后置条件是相通的目前状态和可选的监护以及下一状态都是透过转换指定的。 - For example , if you have in a graphical library an operation that changes the color of a certain pixel on the screen to red , you ' d like to describe a post - condition that says the resulting color is red
例如，你的图形库中有一个操作是将屏幕上某点的颜色设置为红色，这时你一般会用一个后置条件表述该点的最终颜色为红色。 - A precondition is a constraint under which a member function will operate properly , and a postcondition is a property or assertion that will be true after a member function has finished running see
可适用的前提条件和后置条件前提条件是成员函数正确操作的约束，而后置条件是在成员函数完成运行后是否为真的特性或断言（请参阅 - If you have , for example , a routine that adds a certain amount of money to a bank account , obviously the post - condition of this routine is going to have to express that the new balance is related to the old balance
例如，你用某个例程将一定数额的存款累加到一个银行帐户上，那么很明显，这个例程的后置条件必须表述当前余额和过去余额的关系。 - The technical items dependencies , preconditions and postconditions , formal workflow analysis , implementation requirements and notes would come primarily from engineering , with the marketing organization in a consulting role
技术项（依赖性、前置条件和后置条件、正式工作流分析、实现需求和注解）将主要来自工程方，而市场营销组织起咨询角色。