科菲

CoFI：代数规范和开发的公共框架计划。CoFI是代数规范和软件开发的共同框架倡议，是一个开放的国际合作组织。1995年，CoFI最初的主要目标是设计一个连贯的代数规范语言家族，其基础是从许多先前存在的此类语言中选择关键的结构，而不牺牲概念的清晰性和坚实的数学基础。1998年，通用代数规范语言CASL及其子语言和扩展的设计实现了这一目标。CoFI的长期目标包括提供支持CASL语言工业应用的工具和方法。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（引用于，1标准件)

显示第1到第20个结果，共42个。
按年份排序(引用)
  1. Riesco，Adrián；Ogata，Kazuhiro；Futatsugi，Kokichi：CafeOBJ的Maude环境（2017）
  2. 2009年，Mosski-order和Schhaski-higher开发项目
  3. Kohlhase，Michael:使用La\TeX作为语义标记格式（2008）
  4. 克里斯汀·肖比（Choppy），吉安娜（Gianna）雷吉奥（Reggio），吉安娜（Gianna）：一种正式接地的软件规范方法（2006）
  5. Hutter，Dieter；Autexier，Serge:玛雅的正式软件开发（2005）
  6. Krieg Brückner，Bernd:走向安全系统中的多媒体教学（2005）
  7. Bidoit，Michel；Mosses，Peter D.：CASL用户手册。介绍如何使用通用代数规范语言。有蒂尔·莫萨科夫斯基、唐纳德·桑内拉和安德烈·塔莱斯基的章节。带光盘（2004）
  8. de Jong，H.A.；Olivier，P.A.：从语法定义生成抽象编程接口（2004）
  9. 莫斯，彼得D.（编辑）：CASL参考手册。通用代数规范语言的完整文档。（2004年）
  10. Astesiano，E.；Reggio，G.：从经典代数观点分析UML中一致性问题的尝试。（2003年）ioport公司
  11. Mossakowski，Till；Haxthausen，Anne E；Sannella，Donald；Tarlecki，Andrzej:通用代数规范语言：语义和证明理论（2003）
  12. Aoumeur，Nasreddine；Saake，Gunter:使用重写逻辑集成和快速原型化UML结构和行为图（2002）
  13. David Aspinall；Sannella，Donald:从规范到代码在\textscCASL（2002）ioport公司
  14. 阿斯特西亚诺，埃吉迪奥；比多伊特，米歇尔；基什内尔，Hélène；Krieg Brückner，Bernd；Mosses，Peter D；Sannella，Donald；Tarlecki，Andrzej:通用代数规范语言。（2002年）
  15. 谢尔盖·奥特西耶；赫特，迪特尔；莫萨科夫斯基，蒂尔；谢勒，阿克塞尔：发展图管理者玛雅（2002）ioport公司
  16. Balser，Michael；Duelli，Christoph；Reif，Wolfgang；Schellhorn，Gerhard:用符号执行验证并发系统（2002）
  17. Borzyszkowski，Tomasz:结构化规范的逻辑系统。（2002年）
  18. Mossakowski，Till:异质发展图与异质借用（2002）
  19. Mossakowski，Till:将CASL与其他规范语言联系起来：机构层面。（2002年）
  20. Norrie，Moira C.；Palinginis，Alexios:模块化信息空间实现的建模方法（2002）