J-LO公司

J-LO,Java逻辑观察者。用于运行时检查时态断言的工具。javalogicalobserver是一个用于运行时检查java5应用程序中时态断言的工具。时间属性(见下文)可以在AspectJ切入点上使用线性时间逻辑(LTL)来指定。规范以Java5注释的形式直接在源代码中进行。在用java5兼容的编译器编译了这个源代码之后,Java从字节码中提取这些注释,同时,用适当的运行时检查向应用程序发送指令。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换