艾菲尔

Eiffel是一种ISO标准化的面向对象编程语言,由bertrandmeyer(面向对象的支持者和面向对象软件构造的作者)和Eiffel软件设计。语言的设计与埃菲尔编程方法密切相关。它们都是基于一套原则,包括契约设计、命令查询分离、统一访问原则、单选原则、开闭原则和选项操作数分离。埃菲尔最初引入的许多概念后来在Java、C#和其他语言中找到了它们的方法。新的语言设计思想,特别是通过Ecma/ISO标准化过程,继续被纳入埃菲尔语言。


zbMATH中的参考文献(引用于 290篇文章 引用,4标准条款)

显示290个结果中的1到20个。
按年份排序(引用)

1 2 ... 13 14 15 下一个

  1. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  2. Apt,Krzysztof R.;Olderog,Ernst-Rüdiger:霍尔逻辑五十年(2019)
  3. Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019)
  4. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  5. Broy,Manfred:基于假设/承诺的系统接口规范和架构合同的理论和方法(2018)
  6. Vincent-Likfa,Bicord-backend;2018年由Vincent-Likfa支持;由Mark-Likfa-backend支持;由Mark-Likfa-backend支持;由Mark-Likfa-backend支持)
  7. Schornbaum,Florian;Rüde,Ulrich:Extreme scale block structured adaptive mesh refinement(2018年)
  8. Swords,Cameron;Sabry,Amr;Tobin Hochstadt,Sam:作为沟通模式的合同监控策略的扩展说明(2018)
  9. Jaghoori,Mohammad Mahdi;de Boer,Frank;Longuet,Delphine;Chothia,Tom;Sirjani,Marjan:基于实时角色的系统的组合可调度性分析(2017)
  10. Nguyèn,Phúc.;Tobin Hochstadt,Sam;Van Horn,David:合同验证和反驳的高阶符号执行(2017)
  11. alpunte,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:通过运行时断言检查和跟踪切片调试Maude程序(2016)
  12. 班克,伯恩德;海因茨,乔斯;马特拉,吉列尔莫;蒙塔尼亚,何塞·路易斯;帕多,路易斯·M.;罗哈斯·帕雷德斯,安德烈斯:智力游戏作为信息隐藏的模型(2016年)
  13. Cyr,Eric C.;Shadid,John N.;Tuminaro,Raymond S.:Teko:Navier Stokes和MHD的具体示例应用程序块预处理能力(2016)
  14. Galán,Francisco J.;Cañete Valdeón,JoséM.:用无限量化检验一类定义的正逻辑程序的综合(2016)
  15. Naumchev,Alexandr;Meyer,Bertrand;Rivera,Victor:《统一需求和代码:示例》(2016)
  16. Schultz,Ulrik Pagh;Axelsen,Holger-Bock:可逆面向对象语言的元素(正在进行的工作报告)(2016)
  17. Caballero,Rafael;黑山,Manuel;Kuchen,Herbert;von Hof,Vincent:使用自动测试用例生成检查Java断言(2015)
  18. Caltais,Georgiana:面向对象语言的基于表达式的别名(2015)
  19. Castro,Pablo F.;Aguirre,Nazareno;Pombo,Carlos L.;Maibaum,T.S.E.:(\mathsfZ)中结构化规范的分类基础(2015)
  20. Din,Crystal Chang;Owe,Olaf:关于具有共享期货的活跃对象的组合推理(2015)

1 2 ... 13 14 15 下一个