艾菲尔

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