木桶

CoFI开发的规范语言称为Casl:通用代数规范语言。它的主要特点如下:Casl基于对已知结构的关键选择。它是一种表达力强、简单实用的语言。它适用于对传统软件包的需求和设计,它对各种子语言有限制。它有并发的、基于状态的、更高级的扩展。工具支持使用Casl。


zbMATH中的参考文献,1标准件)

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

1 2 ... 7 8 9 下一个

  1. 康法罗涅里,罗伯托;库茨,奥利弗:解构主义下的融合。逻辑、本体论和认知在计算概念发明中的作用(2020)
  2. Diaconescu,Răzvan:引入(H),一种基于机构的正式规范和验证语言(2020)
  3. 哈夫雷恩,马格纳;罗根巴赫,马库斯:用句法理论函子指定(2020)
  4. 拉贝,弗洛里安;沙罗达,亚斯敏:MMT中的图表组合(2019)
  5. 曼弗雷德·埃佩(Eppe);麦克莱恩(Ewen);康法罗尼埃里(Roberto);库茨(Kutz),奥利弗(Oliver);斯科勒默(Schorlemmer),马尔科(Marco);普拉斯(Plaza),恩里克(Enric);凯·乌韦(Kai-Uwe):概念融合的计算框架(2018年)
  6. Madeira,Alexandre;Barbosa,Luís s.;Hennicker,Rolf;Martins,Manuel A.:反应系统逐步发展的逻辑(2018)
  7. Mossakowski,Till;Krieg Brückner,Bernd:DOL中泛型的部分推出语义(2018)
  8. 费尔南多,奥列哈斯;皮诺,埃尔维拉;纳瓦罗,马里萨;兰伯斯,利恩:图形结构导航逻辑机构(2018)
  9. Zhang,Min;Ogata,Kazuhiro:从隐藏到可见:将行为理论转化为重写理论的统一框架(2018)
  10. Găină,丹尼尔:用户定义共享的混合逻辑中的逻辑编程基础(2017)
  11. Găină,丹尼尔:混合逻辑的Birkhoff式计算(2017)
  12. Alexander Maletzky;Wolfgang Windsteiger:Vickrey拍卖的形式化:Isabelle和Theorema中两种方法的比较(2017)
  13. Meseguer,José:条件重写模公理的严格一致性(2017)
  14. 拉贝,弗洛里安:态射公理(2017)
  15. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017)
  16. Roşu,Grigore:匹配逻辑(2017)
  17. Zeidler,Clemens;Weber,Gerald;Gavryushkin,Alex;Lutteroth,Christof:用于基于约束的布局编辑的平铺代数(2017)
  18. Diaconescu,Răzvan:一阶视图的函数语义(2016)
  19. Jin,Miaomiao;Short,Michael:多孔腐蚀沉积物中两相薄膜沸腾的多物理模型(2016)
  20. Madeira,Alexandre;Barbosa,Luis;Hennicker,Rolf;Martins,Manuel A.:带绑定的动态逻辑及其在反应系统开发中的应用(2016)

1 2 ... 7 8 9 下一个


更多出版物请访问:http://www.informatik.uni-bremen.de/cofi/wiki/index.php/Publications