post-condition
美英
- n.〔计〕后置条件
- 网络后的条件；后续条件；后条件
post-conditionpost-condition
后置条件
（6）后置条件 (Post-Condition)：用例执行完毕后系统可能处于的一组状态。 用例规约基本上是用文本方式来表述的，为了更 …
后的条件
行后的条件(Post-condition)。 而使用注释(Annotation)，这个问题就可以轻而易举的解决了。
后续条件
UML名词中英对照表_新疆二域软件开发网 ... 组合 Composition 后续条件 Post-Condition 具体 Concrete ...
后条件
...强制程序的前条件（pre- condition）、后条件（post-condition）、不变式（invariant）得到保证，并从而使程序接口得到进一 …
后继条件
时钟限制图也可以有效率地做符号式运算以计算状态空间的「后继条件(post-condition)、状态空间的联集、状态空间的交集」等 …
后臵条件
...调用 前臵条件（pre-condition）/后臵条件（post-condition）说明 5.注释规则 示例： /** * Given a Primary Key, finds an EJB…
后继状态
...都存在一个前驱状态（pre-condition）和后继状态（post-condition），前者即方法调用前必须具备的符合的条件，后者即前驱 …
1
2
3
4