木桶

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


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

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

1 2 ... 7 8 9 下一个

  1. Diaconescu,Răzvan:引入(H),一种基于机构的正式规范和验证语言(2020)
  2. 哈夫雷恩,马格纳;罗根巴赫,马库斯:用句法理论函子指定(2020)
  3. 拉贝,弗洛里安;沙罗达,亚斯敏:MMT中的图表组合(2019)
  4. 曼弗雷德·埃佩(Eppe);麦克莱恩(Ewen);康法罗尼埃里(Roberto);库茨(Kutz),奥利弗(Oliver);斯科勒默(Schorlemmer),马尔科(Marco);普拉斯(Plaza),恩里克(Enric);凯·乌韦(Kai-Uwe):概念融合的计算框架(2018年)
  5. Madeira,Alexandre;Barbosa,Luís s.;Hennicker,Rolf;Martins,Manuel A.:反应系统逐步发展的逻辑(2018)
  6. Mossakowski,Till;Krieg Brückner,Bernd:DOL中泛型的部分推出语义(2018)
  7. 纳瓦罗设计学院(Fernando Elvaro,2018年;适用于Lambero Logical structures)
  8. Zhang,Min;Ogata,Kazuhiro:从隐藏到可见:将行为理论转化为重写理论的统一框架(2018)
  9. Găină,丹尼尔:用户定义共享的混合逻辑中的逻辑编程基础(2017)
  10. Găină,丹尼尔:混合逻辑的Birkhoff式计算(2017)
  11. Alexander Maletzky;Wolfgang Windsteiger:Vickrey拍卖的形式化:Isabelle和Theorema中两种方法的比较(2017)
  12. Meseguer,José:条件重写模公理的严格一致性(2017)
  13. 拉贝,弗洛里安:态射公理(2017)
  14. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017)
  15. Roşu,Grigore:匹配逻辑(2017)
  16. 杰勒斯泰尔德(Alex Termens,2017年版)的《约束》杂志(Alex Termens,layout);编辑:杰勒克斯·泽尔德(Alex Termenser);编辑:杰勒斯泰尔(Alex Termens);编辑
  17. 《功能语义学》2016年第1期
  18. Jin,Miaomiao;Short,Michael:多孔腐蚀沉积物中两相薄膜沸腾的多物理模型(2016)
  19. Madeira,Alexandre;Barbosa,Luis;Hennicker,Rolf;Martins,Manuel A.:带绑定的动态逻辑及其在反应系统开发中的应用(2016)
  20. 张庆磊;Khedri,Ridha:论面向方面产品族代数的编织过程(2016)

1 2 ... 7 8 9 下一个


更多出版物请访问:http://www.wiki.php/information索引