贾斯

Jass - Java的断言。由Meyer提出的用于EFFEL编程语言的合同设计是一种技术,允许在程序执行期间对规范违反及其处理进行运行时检查。Jass,具有断言的Java,是Java的契约扩展的设计,允许以断言的形式注释Java程序。Jass工具是一个预编译程序,它将注释翻译成纯Java程序,在该程序中动态地遵守规范。除了由经典程序验证(例如,前和后条件,不变量)已知的契约特征的标准设计之外,Jass还支持细化,即子类型、检查和跟踪断言的新概念。跟踪断言被用来监视对象的动态行为的时间。


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

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

  1. 德波尔,Frank S.;de Gouw,STIJN:结合监控与运行时断言检查(2014)
  2. 达席尔瓦,保罗-塞勒姆;德梅洛,Ana C. V.:模型检查合并程序痕迹(2009)
  3. 杜波塞克,Lydie;Nakamura,马萨海德;燕,本;Ikai,Hiroshi:使用形式化方法增加家庭网络系统实施的信心:一个案例研究(2009)伊波尔特
  4. 梁,慧;Dong,金松;孙,Jing;Wong,W. Eric:通过形式规约动画进行软件监控(2009)伊波尔特
  5. M·勒,米迦勒;OrdRog,EnnST-RüDiger-;Rasch,霍格尔;Wehrheim,黑克:用UML和Java将形式化方法集成到软件工程过程中(2008)
  6. 查林:帕特利斯:验证编译器原型匹配用户期望的逻辑基础吗?(2007)
  7. Cheon,Yoonsik;PuruMundLA,AsHaveNe:指定和检查Java程序的调用序列。(2007)伊波尔特
  8. Burdy,丽莲;Con,Yoonsik;COK,David R.;厄恩斯特,Michael D.;Kiniry,Joseph R.;Leaves,Gary T.;LeIo,Pipe;Poopy,Y: JML工具和应用的概述(2005)伊波尔特
  9. Burdy,丽莲;Con,Yoonsik;COK,David R.;厄恩斯特,Michael D.;Kiniry,Joseph R.;Leaves,Gary T.;LeIo,Pipe;Poopy,Y: JML工具和应用的概述(2005)伊波尔特
  10. 陈,冯;Roüu,Gigig:JavaMOP:面向Java的监控编程环境(2005)
  11. Karaorman,穆拉特河;阿伯克龙比,帕克:J承包商:使用反射字节码工具将合同设计引入Java(2005)