CASL

由COFI开发的规范语言被称为CASL:通用代数规范语言。它的主要特点如下:CASL是基于对已知构造的关键选择。它是一种表达的、简单的、实用的语言。它适用于指定常规软件包的要求和设计,它对各种子语言有限制。它具有高阶、基于状态、并发和其他语言的扩展。工具的使用支持了Casl的使用。


ZBMaX中的参考文献(168篇)1标准条款

显示结果1至20的168。
按年份排序(引文
  1. Rabe,弗洛里安;Sharoda,Yasmine:MMT中的图组合器(2019)
  2. EPPE,曼弗雷德;麦克莱恩,Ewen;TopaloNeRi,罗伯托;Kutz,奥利弗;Schorlemmer,马珂;普拉萨,恩里克;Kunnbger-Fube:概念混合的计算框架(2018)
  3. Madeira、亚历山大、巴博萨、卢、S、Hennicker、罗尔夫、马丁斯、Manuel A.:反应系统逐步发展的逻辑(2018)
  4. Mossakowski,直到Kieer-Br.CKNER,贝尔恩德:DOL(2018)泛型的部分推出语义
  5. Orjas,费尔南多;Pino,Elvira;纳瓦罗,玛丽莎;LeBebe,Lee:图形结构导航逻辑机构(2018)
  6. 张,闵;奥加塔,Kazuhiro:从隐藏到可见:行为理论转化为重写理论的统一框架(2018)
  7. G.In,丹尼尔:具有用户定义共享的混合逻辑的逻辑程序设计基础(2017)
  8. G.In,丹尼尔:BykHHOF型混合逻辑曲线(2017)
  9. Maletzky,亚力山大;WordSigige,沃尔夫冈:Vikry拍卖的形式化:伊莎贝尔和定理2017中两种方法的比较(上)
  10. MeeGuer-Joee:条件重写模公理的严格相干性(2017)
  11. Rabe,弗洛里安:态射公理(2017)
  12. RiSeCo,阿德里安,OgATA,Kazuhiro;FutaTuGi,KKICHI:一个用于CAFEOBO的Mod环境(2017)
  13. Rigu,Gigig:匹配逻辑(2017)
  14. 蔡德勒,克莱门斯;Weber,杰拉尔德;GavuluSKIN,亚历克斯;Lutthod,克里斯托夫:基于约束的布局编辑的拼接代数(2017)
  15. Diaconescu,R·ZVAN:一阶视图的功能语义(2016)
  16. 靳,Miaomiao;Stand,米迦勒:多孔腐蚀沉积物中两相膜沸腾的多物理模拟(2016)
  17. Madeira,亚历山大;巴博萨,Luis S.;Hennicker,罗尔夫;马丁斯,Manuel A.:粘合剂的动态逻辑及其在反应系统发展中的应用(2016)
  18. 张,Qinglei;KHDRI,RIDHA:面向方面的产品族代数的编织过程(2016)
  19. 鲍梅斯特,休伯特;Bettaz,穆罕默德;MouChe,Mourad;MuestghaneMi,M'HAME:一个具有继承性和多态性的Objo Z的机构(2015)
  20. CiOB-C,TeFun;Luaunu,Doell;Ruu,弗拉德;Roiu,Gigig:编程语言聚合的理论基础(2015)

进一步的出版物可以在:Unp://www. WebActuk.Un-Brime.DE/COFI/WIKI/NETX.PHP/出版物