JML公司 swMATH ID: 4597 软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司 描述: Java建模语言(JML)是一种行为接口规范语言,可用于指定Java模块的行为。它结合了Eiffel的契约式设计方法和Larch接口规范语言家族的基于模型的规范方法,以及精化演算的一些元素。 主页: http://www.eecs.ucf.edu/~发酵剂/JML/ 关键词: Java建模语言;没有软件 相关软件: 规格#;艾菲尔;卡拉卡拉;电子稳定控制系统/Java;PVS公司;布吉;回路;Why3号机组;凯伊;简化;Coq公司;z3型;达夫尼;Caduceus公司;落叶松;火花;伊莎贝尔/HOL;JUnit公司;自旋蛋白;VeriFast公司 引用于: 161文件 全部的 前5名296位作者引用 12 巴特·雅各布斯 11 德波尔(Frank S。 8 Gary T.Leavens。 8 克劳德·马奇 8 彼得·米勒 7 马里克,Huisman 7 伊娜·谢弗 6 马丁·斯特芬 5 伯恩哈德·贝克特 5 Leino,K.Rustan M。 5 埃里克·波尔 4 斯蒂恩·德古乌 4 约翰·多夫兰 4 埃纳尔·布罗赫·约翰森 4 托马斯·图姆 4 约阿希姆·范登伯格 三 艾丽卡·阿尔布拉汉姆 三 拉尔斯·比克达尔 三 布凯,法布里斯 三 内斯托尔·卡塔诺 三 弗雷德里克·达多 三 威廉·鲍尔·德·罗弗 三 雷纳·哈内尔 三 弗拉基米尔·克莱巴诺夫 三 简·Křetínsk 三 格雷格·莫里塞特 三 阿列克桑达尔·纳内夫斯基 三 Owe、Olaf 三 豪尔赫·索萨·品托 三 诗人希·赫夫特 三 托拜厄斯·隆格 三 马克·乌廷 三 詹姆斯·C·P·伍德科克。 2 沃尔夫冈·阿伦特 2 玛丽亚·阿尔普特 2 伦纳特·贝林格 2 卞金亭 2 博斯特罗姆,蓬图斯 2 丹尼尔·布伦斯 2 Yoonsik Cheon先生 2 达科斯塔,翁贝托·苏扎 2 费卢西奥·达米亚尼 2 马修·德怀尔。 2 弗雷塔斯,利奥 2 约翰·哈特克利夫 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 维姆·赫塞林克。 2 Hiep,Hans-Dieter A。 2 马丁·霍夫曼 2 亚历山大·克努佩尔 2 布鲁诺,传奇 2 弗朗西斯科·洛戈佐 2 阿纳玛丽亚·马丁斯·莫雷拉 2 蒂尔·莫萨科夫斯基 2 Musicante,Martin A。 2 戴维·诺曼(David A.Naumann)。 2 奥尔德罗格,恩斯特·吕迪格 2 Paulin Mohring,克莉丝汀 2 Cees Pierik 2 亚历克斯·波坦 2 罗伊斯,伯恩哈德 2 马修·罗比 2 格里高·罗什乌 2 彼得·施密特(Peter H.Schmitt)。 2 杰拉尔多·施奈德 2 卢茨·施罗德 2 沃尔夫拉姆·舒尔特 2 施温哈默,Jan 2 所罗门·西克特 2 Souza Neto,Plácido A。 2 库尔特·斯坦泽尔 2 马蒂亚斯·乌尔布里奇 2 大卫·冯·奥海姆 2 本杰明·韦斯 1 帕克·阿伯克龙比 1 阿马尔·艾哈迈德 1 毛里西奥·阿尔巴·卡斯特罗 1 奥曼,波霍拉·约翰内斯 1 阿夫申·阿米吉 1 伊戈尔·谢尔盖维奇(Igor’Sergeevich Anureev) 1 Krzysztof Rafal公寓 1 大卫·阿斯皮纳尔 1 何塞·巴塞拉尔·阿尔梅达 1 回来了,拉尔夫·约翰 1 艾伯特·L·贝克。 1 黛米斯·巴利斯 1 鲍玉燕 1 曼纽尔·巴博萨 1 何塞·伯纳多·巴罗斯 1 肖姆·本·达维德 1 尼古拉·贝内什 1 马丁·伯杰(Martin J.Berger)。 1 安妮特·比纽萨 1 斯特凡·布隆 1 西尔维·博尔多 1 博尔祖·博纳克达尔普尔 1 塔比亚·博迪斯 1 艾哈迈德·博阿贾尼 1 西尔万·博尔梅 1 布鲁内斯,C.B。 …还有196位作者 全部的 前5名32篇连载文章中引用 17 计算的形式方面 10 计算机程序设计科学 6 理论计算机科学 6 系统设计中的形式化方法 5 逻辑与代数程序设计杂志 4 信息学学报 2 信息与计算 2 自动推理杂志 2 函数编程杂志 2 计算机基础理论 2 并行与计算:实践与经验 2 计算机科学课堂讲稿 1 IEEE信息理论汇刊 1 信息处理信件 1 计算 1 计算机与系统科学杂志 1 编程和计算机软件 1 布达佩斯科学大学年鉴(Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös提名)。计算机科 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 聚氨基甲酸酯。纯数学与应用硕士 1 约束条件 1 IGPL逻辑期刊 1 软计算 1 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)联合公报。系列:计算机科学 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 1 计算机科学中的数学 1 数学与信息年鉴 1 计算机科学中的逻辑方法 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 160 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 三 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 2 数值分析(65-XX) 2 系统论;控制(93至XX) 按年份列出的引文