第21届ASE 2006:日本东京
第21届IEEE/ACM自动化软件工程国际会议(ASE 2006),2006年9月18日至22日,日本东京。 IEEE计算机学会 2006 ,十亿 0-7695-2579-2
介绍
前言。 会议委员会。 指导委员会。 项目委员会。 专家审查小组。 工具演示简介。
关键报告
Kokichi Futatsugi公司 :
验证CafeOBJ中的证明分数规范。 3-10 塞巴斯蒂安·特龙 :
赢得DARPA大挑战:机器人穿越莫哈韦沙漠。 11 斯里拉姆·拉贾马尼 :
软件的自动属性检查:过去、现在和未来。 12
建模与综合
菲利普·格罗斯 , 盖尔·E·凯撒 :
用于可扩展的抗扩展服务的自动信息聚合。 15-24 约翰·C·格兰迪 , 约翰·霍斯金 , 念平朱 , 刘娜(Na Liu) :
从高级工具规范生成特定于域的可视化语言编辑器。 25-36
建筑
伊恩·沃伦 , 孙晶(音译) , 桑杰夫·克里希纳莫汉 , Thiranjith Weerasinghe公司 :
管理动态重新配置的自动化形式化方法。 37-46 马尔万·阿比安顿 , 乔纳森·奥尔德里奇 , 纳吉·H·纳哈斯 , 布拉德利·施默尔 , 大卫·加兰 :
建筑视图的差异和合并。 47-58
测试
马塞洛·阿莫林 , 卡洛斯·帕切科 , 陶雪 , 达科·马里诺夫 , 迈克尔·D·恩斯特 :
面向对象单元测试的自动生成和分类技术的实证比较。 59-68 威廉·G·J·哈尔丰德 , 亚历山德罗·奥索 :
用于测试数据库应用程序的命令窗体覆盖范围。 69-80
影响分析
Sunghun Kim先生 , 托马斯·齐默尔曼 , Kai Pan公司 , E.詹姆斯·怀特黑德。 :
自动识别引入错误的更改。 81-90 蔡元芳 , 凯文·沙利文 :
逻辑设计模型的模块化分析。 91-102
分析I
尤根·尼科莱·沃兰斯基 :
一种便携式编译器集成的永久性检查方法。 103-112 迈克尔·艾希伯格 , 米拉·梅齐尼 , 斯文·克洛彭伯格 , 克劳斯·奥斯特曼 , 本杰明·兰克 :
集成和调度一组开放的静态分析。 113-122 Nija Shi公司 , 罗纳德·奥尔森 :
Java源代码中设计模式的逆向工程。 123-134
可追溯性
莱昂纳多·格雷斯塔·保利诺·穆尔塔 , 安德烈·范德霍克 , Cláudia Maria Lima沃纳 :
ArchTrace:基于策略的支持,用于管理不断发展的体系结构到实现的可追溯性链接。 135-144 克里斯蒂安·纽穆勒 , 保罗·格伦巴赫 :
在非常小的公司中自动化软件跟踪:案例研究和经验教训。 145-156
分析II
邓向华 , Jooyong Lee(李中勇) , 罗比 :
茂物/Kiasan:用于检查开放系统强堆属性的k界符号执行。 157-166 扬·于尔詹斯 :
使用自动定理证明程序对基于密码的Java程序进行安全性分析。 167-176 西里尔·阿瑟 , 皮埃尔·洛伊克·卡洛什 :
在网络应用程序上应用模型检查的精确集中。 177-188
管理
艾哈迈德·哈桑 , Ken Zhang先生 :
使用决策树预测生成的认证结果。 189-198 法比奥·曼奇内利 , 贾普·博恩德 , 罗贝多·迪·科斯莫 , 杰罗姆·沃伊隆 , 伯克·杜拉克 , 泽维尔·勒罗伊 , 拉尔夫·特雷恩 :
管理大型免费开放源代码包软件发行版的复杂性。 199-208 杰基·埃斯特布利尔 , 塞尔吉奥·加西亚 :
软件工程中的并行工程支持。 209-220
软件仓库挖掘
西尔维娅·布鲁 , 托马斯·齐默尔曼 :
从版本历史中挖掘特性。 221-230 彼得·魏·格伯 , 斯蒂芬·迪尔 :
从源代码更改中识别重构。 231-240 穆拉利·克里希纳·拉马纳坦 , 格兰马 , 苏雷什·贾甘纳森 :
筛子:一种自动检测程序版本间变化的工具。 241-252
短文
洛里斯·彭塞里尼 , 安娜·佩里尼 , 安吉洛·苏西 , 约翰·米洛波洛斯 :
从功能规范到多代理软件代码。 253-256 马提亚斯图书 , 沃尔克·格鲁恩 , 杰拉尔德·穆克 :
适用于瘦客户端应用程序的即时消息驱动用户界面框架。 257-260 于尔根·法尔布 , 托马斯·罗克 , 爱丁·阿诺托维奇 :
在交互设计规范中使用交流行为来自动合成用户界面。 261-264 埃文·丹尼 , 伯恩德·菲舍尔 :
自动生成代码安全认证的注释推理(扩展抽象)。 265-268 Tien Nhut Nguyen公司 :
产品数据管理和软件配置管理的统一模型。 269-272 托比亚斯·莱因哈德 , 克里斯蒂安·塞伯德 , 西尔维奥·迈耶 , 马丁·格林茨 , 南希·梅洛·谢特 :
层次图的人性化线路布线。 273-276 肯·佐藤 , 肯·卡内瓦 , Takeaki Uno先生 :
UML类图的矛盾发现和最小恢复。 277-280 亚历山大·帕尔 , 沃尔特·蒂希 :
编程语言对约束XML模式定义数据类型和OWL DL的内在支持。 281-284 奥迪尔·洛朗 , 克里斯特尔·塞金 , 弗吉尼亚威尔斯 :
在规范级由功能覆盖约束指导的自动测试生成方法。 285-288 克里斯蒂娜·温布拉德 , 托马斯·阿尔斯堡 , 哈达尔·齐夫 , 黛布拉·J·理查森 :
目标驱动、基于规范的自动测试方法。 289-292 米通·阿查里亚 , 塔努·夏尔马 , 徐军(Jun Xu) , 陶雪 :
静态分析界面鲁棒性属性的有效生成。 293-296 纳乌埃尔·穆哈 , 亚恩·加埃尔·盖内乌克 , 皮埃尔·勒杜克 :
设计缺陷检测算法的自动生成。 297-300 刘畅(Chang Liu) , 恩耶 , 黛布拉·J·理查森 :
使用软件模型检查器提取软件库使用模式。 301-304 米哈伊尔·查拉宾 , 克里斯托夫·凯勒(Christoph W.Keßler) , 彼得·布努斯 :
纵横交织系统中的自动往返软件工程。 305-308 安德鲁·爱尔兰 :
面向分离逻辑的自动断言精化。 309-312 保罗·法尔卡林 , 马可·托奇亚诺 :
方面交互的自动推理。 313-316 马克西米利安·斯特泽尔 , 弗洛里安·福斯特 :
检测与优先级相关的通知干扰。 317-322
博士生论坛
米查尔·安奇维茨 :
使用特定于框架的建模语言的基于框架的软件的往返工程。 323-326 Deepak Dhungana公司 :
软件产品线工程中特征和体系结构的集成可变性建模。 327-330 克里斯·马特曼 :
高度分布式和海量数据密集型系统的软件连接器。 331-334 阿吉莎·拉詹 :
衡量黑盒测试套件充分性的覆盖率指标。 335-338 梅赫达德·萨贝扎德 :
管理不完整和不一致的视图。 339-342 Chiyoung Seo先生 :
分布式Java软件系统中的能量感知。 343-348
正式工具演示文稿
罗伯特·J·霍尔 :
LSS:用于大规模场景的工具。 349-350 Noriko Hanakawa先生 , Nao Ikemiya先生 :
一个新的web浏览器,包括一个可转移到Ajax代码的功能。 351-352 伊夫·莱德鲁 , 莱迪·杜·布斯克(Lydie du Bousquet) :
Tobias-Z:测试生成器的可执行形式规范。 353-354 马克·洛曼 , 格雷戈·恩格斯 , 斯特凡·索尔 :
模型驱动的监视:从可视合同生成断言。 355-356 沃德·道格拉斯·莫勒 :
重排器-一种新的汇编工具。 357-358 纳德·蓬蒂索 , 大卫·切穆尔 :
TOPCASED将形式化方法与模型驱动工程相结合。 359-360 乔治·斯帕努达基斯 , 安德烈亚·齐斯曼 :
基于UML的服务发现工具。 361-362 高崎大石 , 宫下久志 , 小野口一 , Shin Saito先生 :
DHTML自动验证工具。 363-364 尼古拉·蒂尔曼 , 沃尔夫拉姆·舒尔特 :
使用行为生成模拟对象。 365-368
迷你教程
研讨会
伊丽莎·巴尼亚萨德 , 陈恭 , Shigeru千叶 , 简·汉内曼 , Hidehiko Masuhara先生 , 任尚平 , 赵建军 :
第二届面向方面软件开发亚洲研讨会(AOAsia)。 375 叶云文 , 马绍·奥希拉 :
第二届支持软件开发知识协作国际研讨会(KCSD2006)。 376 丸山克辅 , 松下诚 , 山本信一郎 :
关于在软件开发环境中利用Web2.0技术的日本研讨会(WebSDE)。 377 中田隆子 , Haruhiko Kaiya公司 :
日本需求工程工具研讨会(JWRET)。 378
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)