爪哇拖把

javamop:一个面向监控的Java编程环境。提出了一个基于Java的软件开发与分析框架,其中监控是一个基本原则。表达性需求规范形式可以通过逻辑插件包含到框架中,这样不仅可以引用当前状态,还可以引用过去和将来的状态。


zbMATH参考文献(参考 18篇文章 参考,1标准件)

显示第1至18个结果,共18个。
按年份排序(引用)

  1. Aceto,Luca;Achilleos,Antonis;Francalanza,Adrian;Ingólfsdóttir,Anna;Kjartansson,Sævarèrn:用递归确定HML监视器(2020年)
  2. Frenkel,Hadar;Grumberg,Orna;Sheinvald,Sarai:无限数据域上模型检查系统和规范的自动机理论方法(2019)
  3. El Hokayem,Antoine;Falcone,Yliès;Jaber,Mohamad:正式基于组件的系统中模块化行为和架构横切关注点——行为交互优先框架的应用(2018)
  4. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  5. Francalanza,Adrian:持续检测监视器(2017)
  6. Mitsch,Stefan;Platzer,André:ModelPlex:验证的网络物理系统模型的运行时验证(2016)
  7. Basin,David;Klaedtke,Felix;Müller,Samuel;Zălinescu,Eugen:监测公制一阶时间特性(2015)
  8. Berkovich,Shay;Bonakdarpour,Borzoo;Fischmeister,Sebastian:通过并行实现最小入侵的运行时验证(2015)
  9. Francalanza,Adrian;塞舌尔,Aldrin:合成正确的并发运行时监视器(2015)
  10. Bonakdarpour,Borzoo;Navabbour,Samaneh;Fischmeister,Sebastian:时间触发运行时验证(2013)
  11. Roşu,Grigore:安全性能及其监测(2012)
  12. Roşu,Grigore;Chen,Feng:参数监控的语义和算法(2012)
  13. Seyster,Justin;Dixit,Ketan;Huang,Xiaowan;Grosu,Radu;Havelund,Klaus;Smolka,Scott A;Stoller,Scott D.;Zadok,Erez:\ textsinteraspect:面向方面的GCC仪器(2012)
  14. Sokolsky,Oleg(编辑);Roşu,Grigore(编辑):运行时验证专题介绍(2012)
  15. Tabakov,Deian;Rozier,Kristin Y.;Vardi,Moshe Y.:SystemcC的优化时间监视器(2012)
  16. Aktug,Irem;Dam,Mads;Gurov,Dilian:可证明正确的运行时监控(2009)
  17. 陈峰;罗şu,Grigore:javamop:Java面向监控的编程环境(2005)
  18. Halbwachs,Nicolas(编辑);Zuck,Lenore D.(编辑):系统构造和分析的工具和算法。第11届国际会议,TACAS 2005,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2005,英国爱丁堡,2005年4月4日至8日。诉讼程序。(2005年)


更多出版物请访问:http://fsl.cs.illinois.edu/index.php/fsl\u出版物