×
作者ID: 酵母.gary-t“Leavens,Gary T.”最近发表的zbMATH文章
发布日期: Gary T.Leavens。
外部链接: MGP公司
编入索引的文档: 21出版物自1992年起
6作为编辑的贡献
合著者: 35位合著者具有27联合出版物
492合著作者

按年份列出的出版物

zbMATH Open中包含的引文

16出版物有被引用89中的次73文件 引用人 年份
JML的设计如何兼顾运行时断言检查和形式验证。 Zbl 1075.68009号
Gary T.Leavens。;尹锡悦;柯蒂斯·克利夫顿;克莱德·鲁比;大卫·R·库克。
12
2005
行为接口规范语言。 Zbl 1293.68078号
约翰·哈特克利夫;Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒;马修·帕金森
12
2012
顺序面向对象程序的规范和验证挑战。 Zbl 1121.68074号
Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒
12
2007
分层对象结构的模块不变量。 Zbl 1100.68539号
彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。
11
2006
JML中框架属性的模块化规范。 Zbl 1005.68583号
彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。
6
2003
行为子类型的完整代数表征。 Zbl 0951.68018号
Gary T.Leavens。;唐·皮戈齐
5
2000
基于组件的系统的基础。 Zbl 1215.68078号
5
2000
\(3x+1)搜索程序。 Zbl 0766.11051号
Gary T.Leavens。;弗默伦,迈克
5
1992
使用超类型抽象的面向对象程序的规范和验证。 Zbl 0831.68009号
Gary T.Leavens。;William E.Weihl。
4
1995
经验证的软件倡议:宣言。 Zbl 1507.68089号
霍尔,C.A.R。;贾亚德夫·米斯拉;Gary T.Leavens。;Natarajan Shankar
4
2009
一种简单实用的单元测试方法:JML和JUnit方式。 Zbl 1049.68762号
尹锡悦;Gary T.Leavens。
4
2002
使用并发约束编程执行形式规范。 Zbl 1034.68696号
蒂姆·沃尔斯;Gary T.Leavens。;艾伯特·L·贝克。
3
2000
\(\text{迷你猫}_1\):研究面向方面推理的必备核心语言。 Zbl 1170.68421号
柯蒂斯·克利夫顿;Gary T.Leavens。
3
2006
\(3x+1)搜索程序。 Zbl 0780.11068号
Gary T.Leavens。;Mike Vermeulen先生
1
1992
保护接口规范。 Zbl 0910.68140号
Gary T.Leavens。;珍妮特·温格。
1
1998
具有可变对象的类型的弱行为子类型。 Zbl 0910.68144号
Krishna Kishore达拉;Gary T.Leavens。
1
1995
行为接口规范语言。 Zbl 1293.68078号
约翰·哈特克利夫;Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒;马修·帕金森
12
2012
经验证的软件倡议:宣言。 Zbl 1507.68089号
霍尔,C.A.R。;贾亚德夫·米斯拉;Gary T.Leavens。;Natarajan Shankar
4
2009
顺序面向对象程序的规范和验证挑战。 Zbl 1121.68074号
Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒
12
2007
分层对象结构的模块不变量。 Zbl 1100.68539号
彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。
11
2006
\(\text{迷你猫}_1\):研究面向方面推理的必备核心语言。 Zbl 1170.68421号
柯蒂斯·克利夫顿;Gary T.Leavens。
3
2006
JML的设计如何兼顾运行时断言检查和形式验证。 Zbl 1075.68009号
Gary T.Leavens。;Yoonsik Cheon先生;柯蒂斯·克利夫顿;克莱德·鲁比;大卫·R·库克。
12
2005
JML中框架属性的模块化规范。 Zbl 1005.68583号
彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。
6
2003
一种简单实用的单元测试方法:JML和JUnit方式。 Zbl 1049.68762号
Yoonsik Cheon先生;Gary T.Leavens。
4
2002
行为子类型的完整代数表征。 兹比尔0951.68018
Gary T.Leavens。;唐·皮戈齐
5
2000
基于组件的系统的基础。 Zbl 1215.68078号
5
2000
使用并发约束编程执行形式规范。 Zbl 1034.68696号
蒂姆·沃尔斯;Gary T.Leavens。;艾伯特·L·贝克。
3
2000
保护接口规范。 Zbl 0910.68140号
Gary T.Leavens。;珍妮特·温格。
1
1998
使用超类型抽象的面向对象程序的规范和验证。 Zbl 0831.68009号
Gary T.Leavens。;William E.Weihl。
4
1995
具有可变对象的类型的弱行为子类型。 兹比尔0910.68144
Krishna Kishore达拉;Gary T.Leavens。
1
1995
\(3x+1)搜索程序。 Zbl 0766.11051号
Gary T.Leavens。;Mike Vermeulen先生
5
1992
\(3x+1)搜索程序。 Zbl 0780.11068号
Gary T.Leavens。;Mike Vermeulen先生
1
1992
全部的 前5名

180位作者引用

3 德波尔(Frank S。
3 Leino,K.Rustan M。
3 克劳德·马奇
3 彼得·米勒
3 戴维·诺曼(David A.Naumann)。
3 奥尔德罗格(Ernst-Rüdiger Olderog)
3 伊娜·谢弗
2 Krzysztof Rafal公寓
2 费卢西奥·达米亚尼
2 斯蒂恩·德古乌
2 约翰·多夫兰
2 索菲亚·克洛伊·德罗索波卢
2 曼努埃尔五世(Manuel V.Hermenegildo)。
2 巴特·雅各布斯
2 埃纳尔·布罗赫·约翰森
2 Gary T.Leavens。
2 杰拉尔德·吕特根
2 何塞·弗朗西斯科·莫拉莱斯
2 弗兰克·皮森斯
2 马丁·斯特芬
2 马蒂亚斯·乌尔布里奇
2 沃尔特·福格勒
2 海克·卫尔海姆
1 艾丽卡·阿尔布拉汉姆
1 阿夫申·阿米吉
1 鲍玉燕
1 佛朗哥·巴巴内拉
1 迈克·巴奈特
1 巴斯滕,特万
1 Jens Bendisposto公司
1 洛萨·伯格
1 马丁·伯杰(Martin J.Berger)。
1 伦纳特·贝林格
1 洛伦佐·贝蒂尼
1 米歇尔·比多瓦
1 豪尔赫·布拉兹奎兹
1 斯特凡·布隆
1 西尔万·博尔梅
1 安德烈亚·克拉克·布拉夏利
1 安东尼奥·布罗吉
1 哈立德·比萨耶斯
1 布埃诺,弗朗西斯科
1 卡利埃、马蒂厄
1 曼纽尔·卡罗
1 程淑
1 魏恩根·钦
1 罗伯特·J·科尔文。
1 威廉·库克。
1 弗罗林·克雷西恩
1 坎宁安,戴夫
1 达科斯塔,翁贝托·苏扎
1 赛义德·达拉比
1 马丁·德·波尔(Martin J.M.de Boer)。
1 威廉·鲍尔·德·罗弗
1 乌戈·德利古罗
1 沃纳·迪特尔
1 简朴的乔科
1 雷米·杜伦斯
1 迪帕克·D’Souza
1 凯瑟琳·杜布瓦
1 扬尼克·邓克劳
1 苏珊·艾森巴赫
1 吉登·恩斯特
1 马克·罗伊·菲克斯
1 芬德里奇、萨沙
1 伊莎贝尔·M·A·费雷里姆。
1 伊万娜·菲利波维奇
1 Jean-Christophe Filliátre
1 玛丽亚·乔昂·弗雷德
1 帕斯卡·弗雷德特
1 阿德里安·弗兰卡兰扎
1 卡洛·阿尔贝托·福里亚
1 约翰内斯·加里斯
1 加尔达洛,Wided
1 莱昂·冈德尔曼
1 林赛·格罗夫斯。
1 安吉尔·瓜尔
1 古罗夫,帝力
1 何冠华
1 罗尔夫·亨尼克
1 克里斯蒂安·赫彻
1 本田、高黑
1 马里克,Huisman
1 科内利斯·惠泽
1 伊万诺夫,列夫根
1 朱利安·贾卡德
1 英加·雅茨科夫斯基
1 Christian Antonius荣格
1 Ioannis T.卡西奥斯。
1 乔纳斯·克拉姆罗斯
1 亚历山大·克努佩尔
1 科夫罗,简
1 菲利普·科纳
1 塞巴斯蒂安·克林斯
1 鲁德·柯伊伯
1 拉米亚·拉比德·吉拉尼
1 Michael Leuschel先生
1 克里斯蒂安·利德斯特伦
1 刘少英
1 佩德罗·洛佩兹·加西亚
…和80多位作者

按年份列出的引文