科菲

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


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)