程序员网

时态逻辑（temporal logic）是一种用来描述程序状态如何随时间而更改的形式体系。本文是 Eric Allen 关于时态逻辑和断言的第二篇专栏文章，他讨论了如何通过使用时态逻辑断言防止几种最常见的错误模式。请单击文章顶部或底部的讨论参与本文的论坛，与作者和其他读者分享您关于本文的想法。 尽管传统的断言可以增加对 Java 代码所作的检查次数，但仅用它们，还是有许多检查无法完成。处理这种情况的方法之一就是使用时态逻辑。请回忆上个月的文章“Assertions and temporal logic in Java programming”，时态逻辑有助于提供比程序中的方法更有力的断言，从而有助于增强用其它方式难以正式表达的不变量。 详细请参看： http://www-900.ibm.com/developerWorks/cn/java/j-diag0827/index.shtml <淘宝热门商品：

86.00 元   艾尔微品牌店//九阳豆浆机//女士精品-三钻100%真人拍摄 Disney Mickey 迪斯尼米奇多色手动机芯机械中性手表

88.00 元  【魅力先生】推存！Dior韩国立体裁剪修身小直筒

来源：程序员网