凯伊 swMATH ID: 9969 软件作者: http://www.key-project.org/people.html 描述: KeY系统是一个正式的软件开发工具,旨在尽可能无缝地集成面向对象软件的设计、实现、正式规范和正式验证。该系统的核心是一种新型的Java一阶动态逻辑定理证明器,具有用户友好的图形界面。该项目于1998年11月在卡尔斯鲁厄大学启动。它现在是卡尔斯鲁厄理工学院和查尔默斯理工大学、哥德堡和达姆施塔特工业大学的联合项目。 主页: http://www.key-project.org/ 相关软件: JML公司;电子稳定控制系统/Java;卡拉卡拉;Why3号机组;规格#;布吉;PVS公司;简化;艾菲尔;达夫尼;伊莎贝尔/HOL;Coq公司;z3(零3);WhyML公司;卡杜克乌斯;JUnit公司;VeriFast公司;OpenJML(打开JML);Frama-C公司;莫德 引用于: 55文件 更多出版物: http://www.key-project.org/publicat.html 标准条款 3出版物描述软件,包括3出版物以zbMATH为单位 年份 KeY:面向对象系统的形式化方法。 Zbl 1202.68092号沃尔夫冈·阿伦特;伯恩哈德·贝克特;雷纳·哈内尔;彼得·施密特。 2007 KEY系统:集成面向对象设计和形式化方法。 Zbl 1059.68548号沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉泽;埃尔玛·哈贝马斯;雷纳·哈内尔;沃尔夫拉姆·门泽尔;沃伊切赫·莫斯托夫斯基;彼得·施密特(Peter H.Schmitt)。 2002 KeY方法:集成面向对象设计和形式验证。 兹比尔0998.68651沃尔夫冈·阿伦特;托马斯·巴尔;伯恩哈德·贝克特;马丁·吉斯;埃尔玛·哈贝马斯;雷纳·哈内尔;沃尔夫拉姆·门泽尔;彼得·施密特(Peter H.Schmitt)。 2000 全部的 前5名111位作者引用 8 伯恩哈德·贝克特 7 沃尔夫冈·阿伦特 6 雷纳·哈内尔 4 斯蒂恩·德古乌 4 菲利普·吕默 三 德波尔(Frank S。 三 马丁·吉斯(Martin A.Giese)。 三 埃尔玛·哈贝马斯 三 豪尔赫·索萨·品托 三 安德烈亚斯·巴切尔·罗思 三 施特芬·施拉格 三 彼得·施密特(Peter H.Schmitt)。 三 马蒂亚斯·乌尔布里奇 2 托马斯·巴尔 2 阿希姆·D·布鲁克。 2 理查德·布贝尔 2 玛丽亚·乔昂·弗雷德 2 托拜厄斯·盖德尔 2 克里斯托夫·格拉迪什。 2 科瓦奇,劳拉·伊尔迪科 2 沃尔夫拉姆·门泽尔 2 沃伊西奇·莫斯托夫斯基。 2 彼得·米勒 2 斯坦尼斯拉斯南城 2 安德烈·普拉泽 2 朱里安·罗特 2 伊娜·谢弗 2 Gerardo Schneider公司 2 Robert F.Stärk。 2 沃尔夫,伯克哈特 1 罗莎·阿巴斯 1 Andronick,六月 1 大卫·阿斯皮纳尔 1 何塞·伯纳多·巴罗斯 1 伦纳特·贝林格 1 卞金亭 1 博尔祖·博纳克达尔普尔 1 大卫·A·伯克。 1 帕特里斯·沙林 1 玛莎·契契克 1 布埃纳·切塔利 1 杰苏斯·莫里西奥·奇曼托 1 魏恩根·钦 1 达妮拉·达克鲁兹 1 伊娃·达鲁洛娃 1 马丁·德波尔。 1 Detlefs,David L。 1 弗朗西斯科·杜兰 1 艾尔·加齐(El Ghazi),阿布巴克·阿赫拉夫(Aboubakr Achraf) 1 英戈·费内尔 1 内森·富尔顿 1 乌尔里希·盖尔曼 1 卡洛·盖齐 1 林赛·格罗夫斯。 1 何冠华 1 佩德罗·兰格尔·恩里克 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 Hiep,Hans-Dieter A。 1 马丁·霍夫曼 1 Thibaud Hottelier 1 克里斯托弗·约翰尼森 1 Christian Antonius荣格 1 斯特凡·考尔 1 乔纳斯·克拉姆罗斯 1 亚历山大·克努佩尔 1 迈克尔·科尔哈斯 1 Gary T.Leavens。 1 Leino,K.Rustan M。 1 汉斯·沃尔夫冈·洛伊德尔 1 费利克斯·曼斯 1 安德烈亚斯·梅耶 1 艾丽卡·梅利斯 1 克劳迪奥·蒙吉 1 斯特凡·米奇 1 阿尔贝托·莫米利亚诺 1 黑山,曼努埃尔 1 约翰·马林斯 1 格雷格·纳尔逊 1 拉韦卡Oarga 1 戈登·佩斯。 1 卡斯滕·伊曼纽尔·帕迪拉 1 克里斯汀·保林·莫林 1 大卫·J·皮尔斯。 1 尼古拉斯·佩尔蒂埃 1 里卡多·佩纳 1 阿恩·施·赫夫特 1 秦胜超 1 贾·戴维德·奎塞尔 1 弗洛里安·拉贝 1 西蒙·罗比拉德 1 曼纽尔·罗尔丹 1 格诺·萨尔泽 1 詹姆·桑切斯·埃尔南德斯 1 塞萨尔·桑切斯 1 拉尔夫·萨西 1 詹姆斯·B·萨克斯。 1 乔纳斯·希夫尔 1 沃尔夫拉姆·舒尔特 1 穆罕默德·阿里·沙阿 1 鲍拉·斯波莱蒂尼 …还有11位作者 全部的 前5名11篇连载文章中引用 5 计算的形式方面 4 自动推理杂志 2 理论计算机科学 2 计算机程序设计科学 2 系统设计中的形式化方法 1 信息学报 1 符号计算杂志 1 美国计算机学会期刊 1 RACSAM公司。《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 55 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 常微分方程(34-XX) 1 数值分析(65-XX) 1 数学教育(97-XX) 按年份列出的引文