基于JAVA-MOP添加逻辑库的方法和策略

扫码查看

原文链接

NETL
NSTL
维普
万方数据

中文摘要：本文结合作者课题内容,对基于JAVA-MOP工具软件添加逻辑库的方法和机制进行了深入的研究,首先,本文详细介绍了JAVA-MOP工具软件,探讨了其采用反射机制调用逻辑库的机理,并对出现的若干问题如多进程的调试等提出了自己的解决方案,最后作者示例如何添加基于线性时序逻辑三值语义监控器生成的ltl3逻辑库.

作者：

周戈、于康、徐姣

展开 >

作者单位：

国防科学技术大学计算机学院,长沙410073

关键词：

JAVA-MOP 逻辑库反射机制线性时序逻辑三值语义 ltl3逻辑库

出版年：

2014

中国电子商情·通信市场

中国电子器材总公司

中国电子商情·通信市场

影响因子：0.03

ISSN：1006-6675

年,卷(期)：2014.(1)

参考文献量3