爪哇拖把

Java MOP:一个面向监控的Java编程环境。提出了一个基于Java的工具支持的软件开发和分析框架,其中监控是一个基本的原则。表达式需求规范可以通过逻辑插件被包括在框架中,允许一个不仅引用当前状态,而且还引用过去和将来的状态。


ZBMaX中的参考文献(17篇)1标准条款

显示结果1至17的17。
按年份排序(引文

  1. Aceto,卢卡;Achilleos,安东尼;Francalanza,阿德里安;ING LFSD-TTIR,安娜;KJARTANSSON,S var VR RN:用递归法确定HML的监视器(2020)
  2. 哈代尔Frangkel. Grimbg,Orn.Shanvald,Sarai:无限数据域模型检查系统和规范的自动机理论方法(2019)
  3. El Hokayem,安托万;法尔科内,Yieles;贾比尔,Mohamad:模块化基于组件的系统中的行为和体系结构横切关注点——应用于行为交互优先级框架(2018)
  4. Arrnt,沃尔夫冈;奇门托,Jes s Mauricio;Posit,Gordon J.;Schneider,Gerardo:验证数据和面向控制的属性,结合静态和运行时验证:理论和工具(2017)
  5. MITSCH,斯特凡;PARTZER,ANDRIE:MODELPLEX:已验证的网络物理系统模型的运行时验证(2016)
  6. 盆地,戴维;克拉特克,菲利克斯;Mü勒,塞缪尔;Z.LieSeCu,欧根:监测度量一阶时间性质(2015)
  7. 贝尔科维奇,Shay;BoNakDaLo浇,Borzoo;Fischmeister,塞巴斯蒂安:通过并行最小入侵的运行时验证(2015)
  8. Francalanza,阿德里安;塞尔切尔,奥尔德林:合成正确的并发运行监视器(2015)
  9. Bonakdarpour,Borzoo;纳瓦布,Samaneh;Fischmeister,塞巴斯蒂安:时间触发运行时验证(2013)
  10. Rigu,Gigigor:安全性能及其监测(2012)
  11. 罗氏,格里戈雷;陈,冯:参数监测的语义和算法(2012)
  12. Seyster,贾斯廷;迪克西,Ketan;黄,Xiaowan;Grosu,拉杜;Havelund,克劳斯;SMOLKA,Scott A.;Pig,Y.;Zadok,ErEZ:\Tr.ExcStutous:面向方面的GCC仪器(2012)
  13. 索科尔斯基,奥列格(ED),Roüu,格里戈雷(ED):运行时验证的特殊问题介绍(2012)
  14. Tabakov,Deian;罗齐尔,Kristin Y.;瓦迪,Moshe Y.:StimCC的优化时态监视器(2012)
  15. Aktug,Irem;大坝,MADS;Gurov,迪莲:可证明正确的运行时间监控(2009)
  16. 陈,冯;Roüu,Gigig:JavaMOP:面向Java的监控编程环境(2005)
  17. HalbWaCs,尼古拉斯(ED);朱克,Lenore D.(ED):用于系统的构建和分析的工具和算法。第十一届国际会议,TACAS 2005,作为欧洲软件理论与实践的联合欧洲会议的一部分,ETAP 2005,爱丁堡,英国,4月4日- 8, 2005。诉讼程序。(2005)


进一步的出版物可以在:HTTP//FSL.CS.ILIONIS.EDU/NOXX.PHP/FSLI出版物