post-condition

1.	后置条件（6）后置条件 (Post-Condition)：用例执行完毕后系统可能处于的一组状态。用例规约基本上是用文本方式来表述的，为了更 … www.cnblogs.com\|基于316个网页
2.	后的条件行后的条件(Post-condition)。而使用注释(Annotation)，这个问题就可以轻而易举的解决了。 www.javanb.com\|基于44个网页
3.	后续条件 UML名词中英对照表_新疆二域软件开发网 ... 组合 Composition 后续条件 Post-Condition 具体 Concrete ... www.k8w.net\|基于5个网页

4.	后条件 ...强制程序的前条件（pre- condition）、后条件（post-condition）、不变式（invariant）得到保证，并从而使程序接口得到进一 … hi.baidu.com\|基于3个网页
5.	后继条件时钟限制图也可以有效率地做符号式运算以计算状态空间的「后继条件(post-condition)、状态空间的联集、状态空间的交集」等 … www.mem.com.tw\|基于3个网页
6.	后臵条件 ...调用前臵条件（pre-condition）/后臵条件（post-condition）说明 5.注释规则示例： / * Given a Primary Key, finds an EJB… www.docin.com\|基于2个网页**
7.	后继状态 ...都存在一个前驱状态（pre-condition）和后继状态（post-condition），前者即方法调用前必须具备的符合的条件，后者即前驱 … blog.donews.com\|基于 1 个网页