科菲

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)