JML

Java建模语言(JML)是一种行为接口规范语言,可以用来指定Java模块的行为。它结合了EFFEL的合同设计方法和基于接口的规范语言LARCH族的基于模型的规范方法,以及精化演算的一些元素。


ZBMaCT中的参考文献(188篇文章中引用)

显示结果1至20的188。
按年份排序(引文
  1. 鲍,Yuyan;莱文,Gary T.;厄恩斯特,吉顿:统一分离逻辑和允许互操作的区域逻辑(2018)
  2. Broy,曼弗雷德:基于假设/承诺的系统接口规范和体系结构契约的理论与方法(2018)
  3. Fahrenberg,ULI;K.E.NSK,J.Leay,阿克塞尔;Trouououz,Louis Marie:定量规范的组合性(2018)
  4. KN Puppl,亚力山大;Thμm,托马斯;PAREDLA,Carsten Immanuel;舍费尔,INA:理解演绎验证的参数:KEY(2018)的实证研究
  5. Müü勒,彼得(ED);舍费尔,INA(ED.):原则性软件开发。在他第六十岁生日的时候,献给阿瑟德。基于论文集的论文,德国凯撒斯劳滕,2018年11月(2018)
  6. Arrnt,沃尔夫冈;奇门托,Jes s Mauricio;Posit,Gordon J.;Schneider,Gerardo:验证数据和面向控制的属性,结合静态和运行时验证:理论和工具(2017)
  7. Frechina,弗朗西斯科,SAPI NIA,朱丽亚:通过运行时断言检查和跟踪切片调试MODUD程序(2016)
  8. Galan,Francisco J.;Calneeta Valdn,JeséM.:用无限量化检验一类定义的正逻辑程序的合成(2016)
  9. Mü勒,彼得;Schwerhoff,Malte;萨默斯,Alexander J.:蝰蛇:基于权限的推理验证基础设施(2016)
  10. Wiik,JONATAN;波斯特罗姆,庞特斯:基于Matlab风格的矩阵程序的基于契约的验证(2016)
  11. 尼古拉,K.E.NSK,J.;拉森,Kim G.;M·勒勒,Mikael H.;Sickert,萨洛蒙;SRBA,Jiii:参数模态转换系统的精化检验(2015)
  12. 笪律安迪,Mohammadsadegh;巴特勒,米迦勒;ReZaZADh,AbdoBaji:从Evest-B模型到DAFNY码契约(2015)
  13. Dastani,Mehdi(ED);Sirjani,Marjan(ED):软件工程基础。第六届国际会议,FSEN 2015,德黑兰,伊朗,4月22日- 24, 2015。修订论文(2015)
  14. 基什内尔,Florent;Kosmatov,尼古莱;普雷沃斯,维吉尔;符号,朱利安;Yakobowski,鲍里斯:FrAMA-C:软件分析透视(2015)伊波尔特
  15. Tschannen,J;Fura,CA;Norddio,M.;Polikarpova,N:自动验证:面向对象程序的自动主动功能验证(2015)阿西夫
  16. 余,Jian;Sheng,Quan Z.;Swite,Joshua K. Y.;韩军,军;刘,Chengfei;Noor,Talal H.:模型驱动的自适应Web服务过程的发展与方面和规则(2015)伊波尔特
  17. 阿米吉,阿夫辛;布洛姆,斯特凡;Darabi,赛义德;Huisman,Marieke;莫斯多夫斯基,沃吉切克;Zaharieva Stojanovski,玛丽娜:用ViCORs验证并发系统(2014)
  18. Avalle,Matteo;PrimTi,阿尔弗雷多;Sisto,里卡尔多:安全协议实现的形式化验证:综述(2014)伊波尔特
  19. 贝克特,伯恩哈德;布伦斯,丹尼尔;克列巴诺夫,弗拉迪米尔;谢本,克里斯托夫;Schmitt,Schmitt;UBRICH,MatTias:面向对象软件中的信息流(2014)
  20. 达米亚尼,FaluCio;Dovland,Johan;Broch Johnsen,Eiar;舍费尔,INA:验证特征:细粒度重用的增量证明系统(2014)