zbMATH参考文献(57篇文章引用)

显示第1到第20个结果,共57个。
按年份排序(引用)
  1. 哈夫雷恩,马格纳;罗根巴赫,马库斯:用句法理论函子指定(2020)
  2. 拉贝,弗洛里安;沙罗达,亚斯敏:MMT中的图表组合(2019)
  3. Daniel Raggi;Aaron Stockdill;Jamnik,Mateja;Garcia Garcia,Grecia;Sutherland,Holly E.A.;Cheng,Peter C.-H.:检查和选择陈述(2019年)
  4. Azzi,Guilherme Grochau;Bezerra,Jonas Santos;Ribeiro,Leila;Costa,Andrei;Rodrigues,Leonardo Marques;Machado,Rodrigo:图形转换的Verigraph系统(2018)
  5. 曼弗雷德·埃佩(Eppe);麦克莱恩(Ewen);康法罗尼埃里(Roberto);库茨(Kutz),奥利弗(Oliver);斯科勒默(Schorlemmer),马尔科(Marco);普拉斯(Plaza),恩里克(Enric);凯·乌韦(Kai-Uwe):概念融合的计算框架(2018年)
  6. Mossakowski,Till;Krieg Brückner,Bernd:DOL中泛型的部分推出语义(2018)
  7. 莫斯,彼得·D.:科菲与唐·桑内拉(2018)
  8. 《沃尔夫泰格与维克瑟尔基两种拍卖方法之比较:沃夫泰格与维克瑟尔基的两种拍卖方法》
  9. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017)
  10. Raggi,Daniel;Bundy,Alan;Grov,Gudmund;Pease,Alison:《离散数学证明的自动转换表示法》(扩展版)(2016年)
  11. Baumeister,Hubert;Bettaz,Mohamed;Maouche,Mourad;Mosteghanemi,M'hamed:具有遗传和多态性的Object-Z研究所(2015)
  12. Benzmüller,Christoph:高阶自动定理证明器(2015)
  13. Benzmüller,Christoph;Sultana,Nik;Paulson,Lawrence C.;Theiß,Frank:The higher-order prover\textscLeo II(2015年)
  14. Castro,Pablo F.;Aguirre,Nazareno;Pombo,Carlos L.;Maibaum,T.S.E.:(\mathsfZ)中结构化规范的分类基础(2015)
  15. 克纳普,亚历山大克纳普;塞加拉,马利亚维多利亚:类OCL表达语言的机构(2015)
  16. Knapp,Alexander;Mossakowski,Till;Roggenbach,Markus:迈向UML中异构形式开发的组织框架。--立场文件——(2015)
  17. Madeira,Alexandre;Martins,Manuel A.;Barbosa,Luís s.;Hennicker,Rolf:《杂交机构的改进》(2015年)
  18. Raggi,Daniel;Bundy,Alan;Grov,Gudmund;Pease,Alison:离散数学中证明的自动转换表示(2015)
  19. James,Phillip;Roggenbach,Markus:在特定领域语言中封装形式化方法:验证铁路方案计划的解决方案(2014)
  20. 《马丁德拉在程序发展中的作用》(Alexa,Barís,2014);马丁德拉(Manues Lu,2014)在逻辑上的作用