艾菲尔

埃菲尔是一个ISO标准化的面向对象的编程语言,由Bertrand Meyer(面向对象软件开发的面向对象的支持者和作者)和艾菲尔软件设计。语言的设计与埃菲尔程序设计方法有着密切的联系。两者都是基于一系列原则,包括按合同设计、命令查询分离、统一访问原则、单选择原则、开闭原则和选择操作数分离。最初由埃菲尔引入的许多概念后来进入Java、C语言和其他语言。新的语言设计理念,特别是通过ECMA/ISO标准化过程,继续被纳入埃菲尔语言。


ZBMaX中的参考文献(105篇)2篇标准文章

显示结果1至20的105。
按年份排序(引文
  1. 福斯特,西蒙;卡瓦尔坎蒂,阿纳河;坎纳姆,塞缪尔;伍德考克,吉姆;泽达,弗兰克:反应设计合同的统一理论(2020)
  2. Schneider、Gerardo、阿伦特、沃尔夫冈、Bartocci、Ezio、比安库利、多梅尼科、科伦坡、克里斯蒂安、法尔科内、伊利亚斯、Francalanza、法尔科内、克尔斯蒂、斯拉安、洛伦萨、琼·奥米;埃尔、德扬、佩斯、阿;鲁菲诺、Signoles;亚力山大:从高级应用程序域(软件之外)对运行时验证的挑战的调查(2019)
  3. Rahli,文森特;科恩,LRIN;BikFrand,马克:由单调库支持的验证定理证明器后端(2018)
  4. 刀剑、卡梅伦、Sabry、AMR、Tobin Hochstadt、山姆:作为通信模式的合同监控策略的扩展说明(2018)
  5. Jaghoori,Mohammad Mahdi;德波尔,弗兰克;Longuet,德尔菲娜;Couthia.Tom;Sirji,MARJA:实时基于行为系统的组成可调度性分析(2017)
  6. 恩盖恩,P·C·C.;Tobin Hochstadt,山姆;范霍恩,戴维:合同验证与反驳的高阶符号执行(2017)
  7. Galan,Francisco J.;Calneeta Valdn,JeséM.:用无限量化检验一类定义的正逻辑程序的合成(2016)
  8. Naumchev,亚历山大,迈耶,贝特朗;里维拉,维克托:统一要求和代码:一个例子(2016)
  9. CalTIS,Georgiana:面向对象语言的基于表达式的别名(2015)
  10. Tschannen,J;Fura,CA;Norddio,M.;Polikarpova,N:自动验证:面向对象程序的自动主动功能验证(2015)阿西夫
  11. Ghezzi,Carlo;MOCCI,安德列;Sangrigo,马里奥:无限状态抽象的合成及其在软件验证中的应用(2014)伊波尔特
  12. 舒,秦;邱,Zongyan;王,舒灵:包裹物体的限制框架(2013)
  13. B.Z,MiHaaLy;PokOLL B,ZOLTAN:在.NET应用程序中基于公理的测试生成(2012)
  14. Bierman,Gavin M.;戈登,Andrew D.;HiR.Cu,C.T.Lin;兰沃西,戴维:SMT求解器的语义子类型(2012)
  15. Chin,Wei Ngan;戴维,克里斯蒂娜;阮,Huu Hai;秦,盛超:分离逻辑中用户定义谓词的形状、大小和袋性质的自动验证(2012)
  16. Degen,Markus;蒂曼,彼得;Wehr,斯特凡:契约与懒惰的互动(2012)
  17. 曼努埃尔,Logozzo,弗朗西斯科:检查浮点比较操作中比特大小的兼容性(2012)
  18. 格林伯格,米迦勒;Pierce,Benjamin C.;韦利奇,斯蒂芬妮:合同订立清单(2012)
  19. Kourie、Derrick G.、沃森、Bruce W.:程序构造法的正确性(2012)
  20. Orb An,Gy OrrGy;KoZMA,Lasssl:在软件开发中用不同的工具定义合同(2012)