沟槽 swMATH ID: 9480 软件作者: Kastenberg,H.,Rensink,A。 描述: GRaphs for Object-Oriented VErification(GROOVE)。GROOVE是一个围绕使用简单图形为面向对象系统的设计时、编译时和运行时结构建模的项目,图形转换是模型转换和操作语义的基础。这需要模型转换和动态语义的正式基础,以及通过对生成的图形转换系统进行(自动)分析(例如使用模型检查)来验证模型转换和动力学语义的能力。 主页: http://groove.sourceforge.net/groove-index.html 相关软件: AGG公司;自旋蛋白;GrGen公司;进展;检查VML;富贾巴语;茂物;变身;第2组;GXL公司;PORGY公司;威特拉2;班德拉;8月2日;哈斯克尔;西洋陆军棋;莫德;虚拟UML;爆炸;VAMPIRE公司 引用于: 48文件 更多出版物: http://groot.sourceforge.net/groove-index.html#项目发布 全部的 前5名被96位作者引用 6 莱拉·里贝罗 4 赫莱内·基什内尔 三 玛丽贝尔·费尔南德斯 三 卢西亚娜·福斯 三 瓦希德·拉夫 三 阿德尔·拉赫曼尼(Adel T.Rahmani)。 2 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 2 贝泽拉、乔纳斯·桑托斯 2 安德烈·科斯塔 2 哈门·卡斯滕贝格 2 巴巴拉·科尼格 2 克里斯蒂安·克劳斯 2 罗德里戈·马查多 2 布鲁诺·皮诺 2 克里斯托弗·波斯基特。 2 罗德里格斯,莱昂纳多·马尔克斯 2 Dániel的Varró 2 海克·卫尔海姆 1 马库斯·阿勒南 1 法哈德·阿尔巴 1 阿格内斯·阿诺德 1 保罗·巴尔丹 1 卢西亚诺·巴雷西 1 哈基姆·贝哈瓦里 1 托马斯·贝雷特 1 阿尼尔班·巴塔查里亚 1 H.J.Sander,布鲁金克 1 托马斯·查泰恩 1 安德烈亚·科拉迪尼 1 达科斯塔·卡瓦莱罗,西蒙·安德烈 1 达科斯塔,西蒙·安德烈 1 玛丽亚·德尔马·加拉多 1 奥斯马·马奇·多斯桑托斯 1 费尔南多·路易斯·多蒂 1 弗朗西斯科·杜兰 1 多米尼克·杜瓦尔 1 瑞希德·埃哈希德 1 穆纳乔·埃切宁 1 斯特凡·爱德坎普 1 哈特穆特·埃里格 1 格雷戈·恩格斯 1 霍尔格·吉斯 1 乌尔里克·戈拉斯 1 兰斯洛·哥恩奇 1 斯特凡·哈尔 1 沙希德·贾巴尔 1 本特·琼森 1 基辛格,亚历克斯 1 克尼塞尔,Günter 1 马塞·科瓦奇 1 莱恩·兰伯斯 1 扎林·兰加里 1 亚历山大·拉佐维克 1 勒加尔,帕斯卡尔 1 卢赫·拉富恩特,阿尔贝托 1 迈克尔·J·S·洛。 1 阿娜·保拉·Lüdtke Ferreira 1 托比恩,伦德克维斯特 1 费尔南多·马西亚斯 1 Ziyan Maraikar 1 玛琳·马特耶卡 1 佩德罗·梅里诺 1 迈赫迪·姆哈拉 1 彼得·米勒 1 奥利维尔·纳特 1 罗纳德·奈德佩尔 1 诺尔,托马斯 1 诺尔特,丹尼斯 1 费尔南多·奥雷贾斯 1 奥坎Özkan 1 罗曼·帕斯夸尔 1 尼古拉斯·佩尔蒂埃 1 卡尔·海因茨·佩内曼 1 Ken G.皮尔斯。 1 丰满,细节 1 伊凡·波雷斯 1 阿伦德·伦辛克 1 阿伦德·伦辛克 1 斯特凡·里格尔 1 罗伯托·罗德里格斯·埃切韦里亚 1 阿德里安·拉特尔 1 马扬克省萨克塞纳 1 大卫·萨南 1 伊娜·谢弗 1 阿科斯·施密特 1 索尔滕伯恩,基督徒 1 鲍拉·斯波莱蒂尼 1 多米尼克·斯坦肯 1 拉尔斯·斯托尔特诺 1 马丁·斯特雷克 1 理查德·特雷弗(Richard J.Trefler)。 1 Jens H.韦伯。 1 奥斯卡·威布尔 1 Uwe E.沃尔特。 1 丹尼尔·沃尼施 1 弗拉基米尔·扎姆德日耶夫 全部的 前5名9篇连载文章中引用 三 计算机程序设计科学 三 MSCS公司。计算机科学中的数学结构 2 理论计算机科学 2 程序设计中的逻辑和代数方法杂志 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 北欧计算机杂志 1 浙江大学学报。科学A 在5个字段中引用 48 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文