科菲

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