post-condition

...强制程序的前条件（pre- condition）、后条件（post-condition）、不变式（invariant）得到保证，并从而使程序接口得到进一 …

时钟限制图也可以有效率地做符号式运算以计算状态空间的「后继条件(post-condition)、状态空间的联集、状态空间的交集」等 …

...调用 前臵条件（pre-condition）/后臵条件（post-condition）说明 5.注释规则 示例： /** * Given a Primary Key, finds an EJB…

...都存在一个前驱状态（pre-condition）和后继状态（post-condition），前者即方法调用前必须具备的符合的条件，后者即前驱 …