×

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位作者

按年份列出的引文