吉咪

javamodelinglanguage(JML)是一种行为接口规范语言,可用于指定Java模块的行为。它结合了Eiffel的契约式设计方法和Larch接口规范语言家族的基于模型的规范化方法,以及精化演算的一些元素。


zbMATH参考文献(参考 188篇文章 参考)

显示188的结果1到20。
按年份排序(引文)

1 2 ... 8 9 10 下一个

  1. Bao,Yuyan;Leavens,Gary T.;Ernst,Gidon:统一分离逻辑和区域逻辑以实现互操作性(2018)
  2. Broy,Manfred:基于假设/承诺的系统接口规范和架构合同的理论和方法(2018)
  3. 费伦伯格,乌利;Křetínský,Jan;Legay,Axel;Traonouez,Louis Marie:定量规范的组成(2018年)
  4. Alexander Knüppel;Thüm,Thomas;Pardylla,Carsten Immanuel;Schaefer,Ina:理解演绎验证的参数:对key的实证调查(2018)
  5. Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  6. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  7. alpunte,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:通过运行时断言检查和跟踪切片调试Maude程序(2016)
  8. Galán,Francisco J.;Cañete Valdeón,JoséM.:用无限量化检验一类定义的正逻辑程序的综合(2016)
  9. Müller,Peter;Schwerhoff,Malte;Summers,Alexander J.:Viper:基于权限推理的验证基础设施(2016)
  10. Wiik,Jonatan;Boström,Pontus:MATLAB风格矩阵程序的基于合同的验证(2016)
  11. Beneš,Nikola;Křetínský,Jan;Larsen,Kim G.;Moller,Mikael H.;Sickert,Salomon;Srba,Jiří:参数模态转换系统的精化检验(2015)
  12. Mohammaddadegh Dalvandi;Butler,Michael;Rezazadeh,Abdolbaghi:从Event-B模型到Dafny代码合同(2015)ioport公司
  13. Dastani,Mehdi(编辑);Sirjani,Marjan(编辑):软件工程基础。第六届国际会议,FSEN 2015,伊朗德黑兰,2015年4月22日至24日。修订论文选(2015)
  14. Kirchner,Florent;Kosmatov,Nikolai;Prevosto,Virgile;Signoles,Julien;Yakobowski,Boris:Frama-C:软件分析视角(2015)ioport公司
  15. Tschannen,J.;Furia,CA;Nordio,M.;Polikarpova,N.:AutoProof:面向对象程序的自动主动功能验证(2015)阿尔十四
  16. Yu,Jian;Sheng,Quan Z.;Swee,Joshua K.Y.;Han,Jun;Liu,Chengfei;Noor,Talal H.:具有方面和规则的自适应web服务流程的模型驱动开发(2015)ioport公司
  17. Amighi,Afshin;Blom,Stefan;Darabi,Saeed;Huisman,Marieke;Mostowski,Wojciech;Zaharieva Stojanovski,Marina:验证VerCors的并发系统(2014年)
  18. Avalle,Matteo;Pironti,Alfredo;Sisto,Riccardo:安全协议实现的正式验证:调查(2014)ioport公司
  19. Beckert,Bernhard;Bruns,Daniel;Klebanov,Vladimir;Scheben,Christoph;Schmitt,Peter H.;Ulbrich,Mattias:面向对象软件中的信息流(2014)
  20. Damiani,Ferruccio;Dovland,Johan;Broch Johnsen,Einar;Schaefer,Ina:验证特征:细粒度重用的增量证明系统(2014)

1 2 ... 8 9 10 下一个