科菲

COFI:代数规范和发展的共同框架倡议。COFI是通用的代数规范和软件开发框架，是一个开放的国际合作。COFI在1995中的主要初始目标是设计一个连贯的代数规范语言族，基于许多先前存在的这样的语言的结构的关键选择——而不牺牲概念的清晰性和坚实的数学基础。这一目标是在1998中完成的，CASL，通用代数规范语言的设计，连同它的子语言和扩展。COFI的长期目标包括提供支持CASL语言的工业用途的工具和方法。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（42篇）1标准条款）

显示结果1至20的42。
按年份排序（引文）
  1. RiSeCo，阿德里安，OgATA，Kazuhiro；FutaTuGi，KKICHI:一个用于CAFEOBO的Mod环境（2017）
  2. 施罗德，Lutz；莫萨科夫斯奇，直到：HasCasl：集成高阶规范和程序开发（2009）
  3. Kohlhase，米迦勒：使用LaTeX作为语义标记格式（2008）
  4. 波涛汹涌，克里斯蒂娜；雷吉奥，Gianna：一个正式的软件规范化方法（2006）
  5. 哈特，Dieter；Autxier-Serg:Maya中的正式软件开发（2005）
  6. Krieg Br·库克纳，贝尔恩德：走向安全和安全系统的多媒体教学（2005）
  7. 米歇尔，苔藓，Peter D.：CASL用户手册。介绍常用代数规范语言。Till Mossakowski、Donald Sannella和Andrzej Tarlecki的章节。用CD-ROM（2004）
  8. 德容，H. A.；奥利维尔，P. A.：从语法定义生成抽象编程接口（2004）
  9. 苔藓，Peter D.（ED）：CASL参考手册。通用代数规范语言的完整文档。（2004）
  10. 从经典代数观点分析UML中的一致性问题。（2003）伊波尔特
  11. Mossakowski，直到；HAXTHOSON，Anne E.；Shanela，唐纳德；TaelkKi，ANDRZJ:CASL：通用代数规范语言：语义和证明理论（2003）
  12. Aoumeur，纳斯雷丁；萨克，京特：使用重写逻辑集成和快速原型UML结构和行为图（2002）
  13. Aspinall，戴维；Shanela，唐纳德：从规范到代码中的文本SCCASL（2002）伊波尔特
  14. Astesiano，埃吉迪奥；毕多伊特，米歇尔；基什内尔，H·L·N；Krieg Br·库克纳，贝尔恩德；Mosses，Peter D.；Sannella，Peter D.；TaelkKi，ANDRZJ:CASL：通用代数规范语言。（2002）
  15. 自动售货机，哔叽；哈特，Dieter；莫萨科夫斯奇，直到；施莱尔，阿克塞尔：开发图管理器玛雅（2002）伊波尔特
  16. 鲍尔泽，米迦勒；Duelli，克里斯托夫；赖夫，沃尔夫冈；谢尔霍恩，格哈德：验证符号执行并发系统（2002）
  17. Borzyszkowski，ToMasz：结构化规范的逻辑系统。（2002）
  18. Mossakowski，直到：异质发展图与异质借贷（2002）
  19. Mossakowski，直到：将CASL与其他规范语言相关：机构级别。（2002）
  20. Norrie，Moira C.；Palinginis，Alexios：模块化信息空间实现的一种建模方法（2002）