希茨

异构工具集。HETS是一个分析、静态分析和证明管理工具,它包含各种不同的语言和不同的规范语言,从而为异构规范提供了工具。逻辑翻译是一流公民。


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

显示结果1至20的54。
按年份排序(引文
  1. Rabe,弗洛里安;Sharoda,Yasmine:MMT中的图组合器(2019)
  2. Azzi,Guilherme Grochau;贝塞拉,Jonas Santos;里贝罗,Leila;科斯塔,安德列;罗德里格斯,Po.;,γ:图变换的顶点系统(2018)
  3. EPPE,曼弗雷德;麦克莱恩,Ewen;TopaloNeRi,罗伯托;Kutz,奥利弗;Schorlemmer,马珂;普拉萨,恩里克;Kunnbger-Fube:概念混合的计算框架(2018)
  4. Mossakowski,直到Kieer-Br.CKNER,贝尔恩德:DOL(2018)泛型的部分推出语义
  5. 苔藓,Peter D.:与Don Sannella的COFI(2018)
  6. Maletzky,亚力山大;WordSigige,沃尔夫冈:Vikry拍卖的形式化:伊莎贝尔和定理2017中两种方法的比较(上)
  7. RiSeCo,阿德里安,OgATA,Kazuhiro;FutaTuGi,KKICHI:一个用于CAFEOBO的Mod环境(2017)
  8. Raggi,丹尼尔;邦迪,艾伦;Grov,Gudmund;Pease,艾丽森:离散数学证明的自动表示变化(扩展版)(2016)
  9. 鲍梅斯特,休伯特;Bettaz,穆罕默德;MouChe,Mourad;MuestghaneMi,M'HAME:一个具有继承性和多态性的Objo Z的机构(2015)
  10. 克里斯托夫,苏丹那,Nik;保尔森,Lawrence C.;泰希,弗兰克:高阶证明器Tr.ScCulo II(2015)
  11. 卡斯特罗,Pablo F.;阿吉雷,纳萨雷努;庞博,Carlos L.;MaiaBum,T. S. E.:(MathSFZ)结构化规范的分类基础(2015)
  12. Knapp,亚力山大;CunARle,MARIA Victoria:OCL类表达语言的机构(2015)
  13. Knapp,亚力山大;MasakokSkyto,Rejnbbh,Markus:面向UML的异构形式化开发的机构框架。——一份立场文件——(2015)
  14. Madeira、亚历山大、马丁斯、Manuel A.、巴博萨、卢、S、Hennicker、罗尔夫:混合机构中的求精(2015)
  15. Raggi,丹尼尔;邦迪,艾伦;Grov,Gudmund;Pease,艾丽森:离散数学中证明的自动表示变化(2015)
  16. 杰姆斯,菲利浦;RangnbbAh,Markus:在领域特定语言中封装形式化方法:验证铁路计划方案的一种解决方案(2014)
  17. 马丁斯,Manuel A.;马德拉群岛,亚历山大;巴博萨,卢·S:逻辑解释在程序开发中的作用(2014)
  18. Mossakowski,直到;爪哇OWSKI,WieS.AW;Shanela,唐纳德;TaelkKi,ANDRZJ: CAFEOBO逻辑的分页(2014)
  19. 兰格,克里斯托夫;CAMNATI,Marco B.;Kerber,曼弗雷德;莫萨科夫斯,直到;RavAT,柯林;文策尔,Pig;WordSigiger-Y:四个定理证明者对基本拍卖理论适用性的定性比较(2013)
  20. Rabe,弗洛里安;Kohlhase,米迦勒:一个可扩展的模块系统(2013)