沟槽 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://groove.sourceforge.net/groove index.html#项目发布 全部的 前5名96位作者引用 6 莱拉·里贝罗 4 赫莱内·基什内尔 三 玛丽贝尔·费尔南德斯 三 卢西亚娜·福斯 三 瓦希德·拉夫 三 阿德尔·拉赫曼尼（Adel T.Rahmani）。 2 吉尔赫梅·格罗肖·阿兹（Guilherme Grochau Azzi） 2 贝泽拉、乔纳斯·桑托斯 2 安德烈·科斯塔 2 哈门·卡斯滕贝格 2 巴巴拉·科尼格 2 克里斯蒂安·克劳斯 2 罗德里戈·马查多 2 布鲁诺·皮诺 2 克里斯托弗·波斯基特（Christopher M.Poskitt）。 2 罗德里格斯，莱昂纳多·马尔克斯 2 达尼尔·瓦罗 2 海克·卫尔海姆 1 马库斯·阿拉宁 1 法哈德·阿尔巴 1 阿格内斯·阿诺德 1 保罗·巴尔丹 1 卢西亚诺·巴雷西 1 哈基姆·贝哈瓦里 1 托马斯·贝雷特 1 阿尼尔班·巴塔查里亚 1 布鲁金克，H.J.桑德 1 托马斯·查泰恩 1 安德烈亚·科拉迪尼 1 达科斯塔·卡瓦莱罗，西蒙·安德烈 1 达科斯塔，西蒙·安德烈 1 玛丽亚·德尔马·加拉多 1 奥斯马·马奇·多斯桑托斯 1 费尔南多·路易斯·多蒂 1 弗朗西斯科·杜兰 1 多米尼克·杜瓦尔 1 瑞希德·埃哈希德 1 穆纳乔·埃切宁 1 斯特凡·爱德坎普 1 哈特穆特·埃里格 1 格雷戈·恩格斯 1 霍尔格·吉斯 1 Ulrike Golas公司 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 奥坎·奥兹坎 1 罗曼·帕斯夸尔 1 尼古拉斯·佩尔蒂埃 1 卡尔·海因茨·佩内曼 1 皮尔斯，肯·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） 按年份列出的引文