规格说明

规范编程系统是开发和维护高质量软件的一种更具成本效益的新尝试。本文描述了SPEC编程系统的目标和体系结构,包括面向对象的规范编程语言、规范编译器和BoGee静态程序验证器。该语言包括用于编写规范的结构,这些规范捕获程序员关于如何使用方法和数据的意图,编译器发出运行时检查来执行这些规范,并且验证者可以检查程序与其规范之间的一致性。

这个软件也是同行评审通过期刊toms.


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

显示结果1至20的117。
按年份排序(引文
  1. Bouillaguet,昆廷;BoBOT,弗兰Sou-OIS;SigieRayu,MiHela;Yakobowski,鲍里斯:利用演绎分析记忆模型中的指针分析(2019)
  2. 鲍,Yuyan;莱文,Gary T.;厄恩斯特,吉顿:统一分离逻辑和允许互操作的区域逻辑(2018)
  3. Broy,曼弗雷德:基于假设/承诺的系统接口规范和体系结构契约的理论与方法(2018)
  4. KN Puppl,亚力山大;Thμm,托马斯;PAREDLA,Carsten Immanuel;舍费尔,INA:理解演绎验证的参数:KEY(2018)的实证研究
  5. 刀剑、卡梅伦、Sabry、AMR、Tobin Hochstadt、山姆:作为通信模式的合同监控策略的扩展说明(2018)
  6. Arrnt,沃尔夫冈;奇门托,Jes s Mauricio;Posit,Gordon J.;Schneider,Gerardo:验证数据和面向控制的属性,结合静态和运行时验证:理论和工具(2017)
  7. 阿明,Nada;RMPF,TIARK:LMS验证:没有后悔的验证系统编程(2017)
  8. 卢卡努,多瑞尔;鲁苏,弗拉德;Arusoaie,安德列:象征执行的一般框架:共归纳法(2017)
  9. Belo Louren·索奥,Clasuudio;Jo Sang-O Frad,玛丽亚;Sousa Pinto,豪尔赫:形式化单指派程序验证:一种适应完全方法(2016)
  10. Galan,Francisco J.;Calneeta Valdn,JeséM.:用无限量化检验一类定义的正逻辑程序的合成(2016)
  11. Mü勒,彼得;Schwerhoff,Malte;萨默斯,Alexander J.:蝰蛇:基于权限的推理验证基础设施(2016)
  12. Wiik,JONATAN;波斯特罗姆,庞特斯:基于Matlab风格的矩阵程序的基于契约的验证(2016)
  13. 笪律安迪,Mohammadsadegh;巴特勒,米迦勒;ReZaZADh,AbdoBaji:从Evest-B模型到DAFNY码契约(2015)
  14. Dastani,Mehdi(ED);Sirjani,Marjan(ED):软件工程基础。第六届国际会议,FSEN 2015,德黑兰,伊朗,4月22日- 24, 2015。修订论文(2015)
  15. 莱诺,K. Rustan M.;卢西奥,Paqui:自然合并的稳定性和正确性的断言证明(2015)
  16. Tschannen,J;Fura,CA;Norddio,M.;Polikarpova,N:自动验证:面向对象程序的自动主动功能验证(2015)阿西夫
  17. 阿米吉,阿夫辛;布洛姆,斯特凡;Darabi,赛义德;Huisman,Marieke;莫斯多夫斯基,沃吉切克;Zaharieva Stojanovski,玛丽娜:用ViCORs验证并发系统(2014)
  18. David R. Cok:OpenJML:使用JML、OpenJDK和Eclipse(2014)对Java 7进行软件验证阿西夫
  19. Din,Crystal Chang;WO,奥拉夫:一个完整的异步通信的完整的推理系统(2014)
  20. 伊扎克,Shachar;班纳吉,安迪亚;Immerman,尼尔;拉哈夫,梧里;Nanevski,Aleksandar;萨吉夫,莫利:通过有效命题公式对堆路径的模块化推理(2014)