詹姆斯·亨特
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2014 [第17条] 詹姆斯·亨特 , 马尔滕·德莫尔 , 阿伦德·伦辛克 :
无创regelbasierte图形转换。 软件工程 2014 : 91-92 2012 [第16条] 马尔滕·德莫尔 , 阿伦德·伦辛克 , 詹姆斯·亨特 :
图形转换Java数据。 FASE公司 2012 : 209-223 [第15条] 詹姆斯·亨特 :
Java实时规范的新I/O模型。 JTRES公司 2012 : 26-33 2011 [第14条] 詹姆斯·亨特 :
形式化方法的实际应用:工业效益在哪里? FoVeOOS公司 2011 : 22-32 2010 [第13条] 詹姆斯·亨特 :
航空电子系统中的实时Java技术。 JTRES公司 2010 : 138-147
2000 – 2009
2008 [c12] 詹姆斯·亨特 , 伊莎贝尔·托宁 , 弗里德乔夫·西伯特 :
使用字节码上的全局数据流分析来帮助实时Java程序进行最坏情况下的执行时间分析。 JTRES公司 2008 : 97-105 2007 [第11条] 詹姆斯·亨特 , 伊莎贝尔·托宁 , 迈克尔·本克尔 , 米尔科·塞弗特 , 卡佳·西格蒙德 , 尼科·费尔塔格 :
对体系结构中立的实时系统进行建模。 JTRES公司 2007 : 175-184 2006 [第10条] 彼得·施密特 , 伊莎贝尔·托宁 , 克劳斯·温尼曼 , 埃里克·杰恩 , 圣埃芬·勒里奇 , 詹姆斯·亨特 :
航空电子应用中使用JML进行规范和验证的案例研究。 JTRES公司 2006 : 107-116 【c9】 安东尼奥·孔 , 詹姆斯·亨特 , 卢多维克·戈蒂尔(Ludovic Gauthier) , 马克·理查德·福伊 :
构建ANRTS平台的问题。 JTRES公司 2006 : 144-151 【c8】 詹姆斯·亨特 , Fridtjof西伯特 , 彼得·施密特 , 伊莎贝尔·托宁 :
为实时Java程序验证正确的循环边界。 JTRES公司 2006 : 162-169 2003 【j4】 吉多·马尔波尔 , 詹姆斯·亨特 , 沃尔特·蒂希 :
重命名检测。 自动。 柔和。 工程师。 10 ( 2 ) : 183-202 ( 2003 ) 2002 【b1】 詹姆斯·亨特 :
可扩展的、有语言意识的差异和合并。 德国卡尔斯鲁厄大学, 2002 【c7】 詹姆斯·亨特 , 沃尔特·蒂希 :
可扩展语言软件合并。 ICSM公司 2002 : 511-520 【c6】 乔·文图拉 , 弗里德乔夫·西伯特 , 安迪·沃尔特 , 詹姆斯·亨特 :
HIDOORS-一个高完整性分布式确定性Java环境。 话 2002 : 113-118 2001 [j3] 詹姆斯·亨特 :
Erweiterbare、sprachenbeusste Differenz和Verschmelzung。 软件技术——趋势 21 ( 三 ) ( 2001 ) 【c5】 詹姆斯·亨特 , 尤尔根路透社 :
使用Web进行文档版本控制:Delta V的实现报告。 ICSE公司 2001 : 507-513 2000 【c4】 吉多·马尔波尔 , 詹姆斯·亨特 , 沃尔特·蒂希 :
重命名检测。 ASE公司 2000 : 73-80
1990 – 1999
1998 [注2] 詹姆斯·J·亨特 , Kiem-Phong Vo公司 , 沃尔特·蒂希 :
Delta算法:实证分析。 ACM事务处理。 柔和。 工程方法。 7 ( 2 ) : 192-214 ( 1998 ) [j1] 詹姆斯·亨特 , 沃尔特·蒂希 :
“增量算法:实证分析”补遗。 ACM事务处理。 柔和。 工程方法。 7 ( 4 ) : 449 ( 1998 ) 1997 【c3】 詹姆斯·亨特 , 弗兰克·拉默斯 , 尤尔根路透社 , 沃尔特·蒂奇 :
通过Java和万维网进行分布式配置管理。 供应链管理 1997 : 161-174 1996 【c2】 詹姆斯·亨特 , Kiem-Phong Vo公司 , 沃尔特·蒂希 :
Delta算法的实证研究。 供应链管理 1996 : 49-66 【c1】 尤尔根路透社 , 斯特凡·U·Hänßgen , 詹姆斯·亨特 , 沃尔特·蒂希 :
通过万维网进行分布式修订控制。 供应链管理 1996 : 166-174
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)