停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2010年ASE第25届：比利时安特卫普

>主页 >会议和研讨会 >ASE公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/2010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/2010
查尔斯·佩切尔,杰米·安德鲁斯,伊丽莎白·迪尼托:
ASE 2010，第25届IEEE/ACM自动化软件工程国际会议，比利时安特卫普，2010年9月20日至24日。 ACM公司 2010，国际标准图书编号978-1-4503-0116-9
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Bosch10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Bosch10
扬·博世:
主题演讲：面向组合软件工程。 1-2

设计和架构

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Abi-AntounB10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Abi-AntounB10
马尔万·阿比安顿,杰弗里·巴恩斯:
分析安全体系结构。 3-12
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HirschHG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HirschHG10
克里斯蒂安·赫希,约翰·霍斯金,约翰·C·格兰迪:
VikiBuilder：最终用户规范和可视化Wiki的生成。 13月22日
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/锰BDNH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ManganoBDNH10
尼古拉斯·曼加诺,亚历克斯·贝克,米奇·登普西,艾米丽·奥·纳瓦罗,安德烈·范德霍克:
用印花布绘制软件设计草图。 23-32

自然语言处理和生成

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/总线W10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BuseW10
雷蒙德·P·L·巴斯,维斯特利·威默尔:
自动记录程序更改。 33-42
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/SridharaHMPV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SridharaHMPV10
Giriprasad Sridhara公司,埃米莉·希尔,迪维亚·穆帕尼尼,洛丽·波洛克,K.Vijay-Shanker先生:
为Java方法自动生成摘要注释。 43-52
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/YangWRN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/YangWRN10
惠阳,阿利斯泰尔·威利斯,安妮·德罗克,巴沙尔·努塞贝:
自然语言需求中有害协调歧义的自动检测。 53至62

架构和产品线

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/VierhauserGERH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/VierhauserGERH10
迈克尔·维埃豪塞,保罗·格伦巴赫,亚历山大·埃吉德,瑞克·拉比塞,沃尔夫冈·海德:
对产品线可变性模型进行灵活且可扩展的一致性检查。 63-72
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BergerSLWC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BergerSLWC10
托尔斯滕·伯杰,史蒂文她,拉斐尔·洛图福,安德烈·瓦索夫斯基,克日什托夫·沙内基（Krzysztof Czarnecki）:
真实中的可变性建模：操作系统领域的视角。 73-82
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/CoorayMRK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/CoorayMRK10
德山·库雷,萨姆·马利克,罗斯哈纳克·罗斯汉德尔,大卫·基尔戈尔:
通过主动重新配置抵御可靠性下降。 83-92

Bug查找

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/LiangWWWXM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LiangWWWXM10
梁广泰,吴玲（Ling Wu）,钱武,王千祥,陶雪,洪梅:
自动构建有效的训练集，以确定静态分析警告的优先级。 93-102
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/LawallL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LawallL10
朱莉娅·劳尔,大卫·罗:
一种自动查找可变常数配对错误的方法。 103-112
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Kessentini公司VS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KessentiniVS10
马鲁安·凯森蒂尼,圣埃芬·沃彻,Houari A.Sahraoui公司:
在识别风险代码时，背离完美比接近邪恶是更好的标准。 113-122

海报会议I

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Paulheim10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Paulheim10
海科·保尔海姆:
无缝集成，但松散耦合：从异构组件构建用户界面。 123-126
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/KimKP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KimKP10
Suntae Kim先生,金大奎,苏永公园:
软件架构质量驱动开发的工具支持。 127至130
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/TanejaLMXT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/TanejaLMXT10
库纳尔·塔内加,诺丽,马杜里·R.马里,谢涛,尼古拉·蒂尔曼:
MiTV：针对web应用程序的用户输入验证器的多执行测试。 131-134
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Xing10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Xing10
振兴:
与GenericDiff的模型比较。 135-138
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/KimBK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KimBK10
张焕·彼得·金,唐·S·巴托里,萨尔夫拉兹·库希德:
消除软件产品线中要测试的产品。 139-142年
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Hahnle公司BBR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HahnleBBR10
雷内·哈内尔,马库斯·鲍姆,理查德·布贝尔,马塞尔·罗特:
一种基于符号执行的可视化交互式调试器。 143-146
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/RamonCM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/RamonCM10
奥斯卡·桑切斯·拉蒙,杰苏斯·桑切斯·库阿德拉多,杰苏斯·加西亚·莫利纳:
遗留图形用户界面的模型驱动逆向工程。 147-150
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BavotaLMO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BavotaLMO10
加布里埃尔·巴沃塔,安德烈亚·德卢西亚,安德里安·马库斯,洛科·奥利维托:
提取类重构的两步技术。 151-154
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/LiHG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LiHG10
李万春,玛丽·让·哈罗德,卡斯滕·哥尔格:
通过分析用户的交互行为来检测AJAX web应用程序中用户可见的故障。 155-158
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BagheriSS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BagheriSS10
哈米德·巴赫里,宋元元,凯文·沙利文:
建筑风格作为独立变量。 159-162
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HuangPWXM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HuangPWXM10网址
黄立国,丹尼尔·波特,王亮,陶雪,蒂姆·门齐斯:
支持软件系统风险保证的文本挖掘。 163-166

正式演示I

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BiegelD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BiegelD10网站
本杰明·比格尔,斯蒂芬·迪尔:
JCCD：一个灵活且可扩展的API，用于实现自定义代码克隆检测器。 167-168
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/AlmeidaMSV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/AlmeidaMSV10
爱德华多·库尼亚（Eduardo Cunha de Almeida）,乔·尤金尼奥·马林诺夫斯基,格森·苏尼,帕特里克·瓦杜里兹:
对等单元：用于测试对等系统的框架。 169-170
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/MelissonMRRS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MelissonMRRS10
雷米·梅里森,菲利普·梅尔,丹尼·罗梅罗,罗曼·鲁沃,莱昂内尔·桑图利尔:
对分布式服务组件体系结构的可重新配置运行时支持。 171-172
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BrunelierCJM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BruneliereCJM10
雨果·布鲁内利,乔迪·卡博特,福雷德里克·朱厄尔（Frédéric Jouault）,Frédéric Madiot餐厅:
MoDisco：模型驱动逆向工程的通用和可扩展框架。 173-174
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BalzSG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BalzSG10
莫里茨·巴尔兹,迈克尔·斯特里韦,迈克尔·戈迪克:
支持在程序代码中持续维护状态机模型的工具。 175-176年
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HineSV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HineSV10
卡梅隆·M·海恩,Jean-Guy Schneider公司,史蒂文·弗斯特格:
Reac2o：企业系统模型的运行时。 177-178年
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/PasareanuR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/PasareanuR10
科琳娜·帕萨雷努,内哈·隆塔:
符号PathFinder：Java字节码的符号执行。 179-180
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/KhatchadourianM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KhatchadourianM10
拉斐·卡查杜里恩,本杰明·穆斯卡拉:
枚举重构：自动将Java常量转换为枚举类型的工具。 181-182
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/绿色10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Green10
科德尔绿:
主旨演讲：实际实现将从正式规范中派生出来——KBSA，1983。 183-184

模型驱动开发

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/ShaikhCWM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ShaikhCWM10
阿萨杜拉·谢赫,罗伯特·克拉里索,乌菲·科克·维尔,纳斯鲁拉·梅恩:
UML/OCL模型的验证驱动切片。 185-194
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/ManiSDS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ManiSDS10
森蒂尔·马尼,Vibha Singhal Sinha公司,Pankaj Dhoolia公司,索拉巴·辛哈:
自动支持修复输入模型故障。 195-204
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/晨报MFTBJ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MorinMFTBJ10
布赖斯·莫兰,特杰丁·穆埃利,弗兰克·弗莱瑞,伊夫·勒特朗,奥利维尔·巴拉伊斯,Jean-Marc Jézéquel女士:
基于安全驱动模型的动态适应。 205-214

模型检查

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/KimYS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KimYS10
KyungHee Kim（金庆熙）,Tuba Yavuz-Kahveci公司,贝弗利·A·桑德斯:
JRF-E：使用模型检查提供消除内存模型相关错误的建议。 215-224
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HeJBGW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HeJBGW10
如和,詹宁斯,萨米克·巴苏,阿卡·P·戈什,吴怀清:
一种有界统计方法，用于检查无界直到属性的模型。 225至234
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HalleEBB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HalleEBB10
西尔万·霍尔,泰勒·埃特马,克里斯·庞区,特夫菲克·布尔坦:
通过导航状态机的模型检查和运行时强制执行来消除web应用程序中的导航错误。 235至244

要求

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/GibiecCC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/GibeecCC10
马雷克·吉比奇,亚当·查德纳,简·克莱兰德·黄:
针对难以检索的跟踪挖掘替换查询。 245-254
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/KamalrundingH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KamalrudingGH10
马西拉·卡马尔鲁丁,约翰·C·格兰迪,约翰·霍斯金:
为基本用例提供工具支持，以更好地捕获软件需求。 255-264

挖掘软件存储库

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/SindhgattaNSVR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SindhgattaNSVR10
Renuka Sindhgatta公司,南扬古德·纳伦德拉,比克拉姆·森古普塔,卡提克·维斯韦斯瓦里亚,亚瑟·G·莱曼:
时间表助理：挖掘和报告开发人员的工作。 265-274
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/ShangAH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ShangAH10
Weiyi Shang公司,布拉姆·亚当斯,艾哈迈德·哈桑:
关于使用MapReduce挖掘软件存储库的缩放工具的经验报告。 275-284

海报会议二

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/LiuZHJM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LiuZHJM10
刘轩哲,齐钊（音译）,黄刚（Gang Huang）,织金,洪梅:
iMashup：帮助最终用户为面向服务的web编程。 285-288
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/TanejaZX10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/TanejaZX10
库纳尔·塔内加,张毅（音）,陶雪:
MODA：通过模拟对象为数据库应用程序自动生成测试。 289-292
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/ZhengZLX10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ZhengZLX10
郑武杰,张启润,迈克尔·R·吕,陶雪:
带有MUT感知序列建议的随机单元测试生成。 293-296
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/AliHGH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/AliHGH10
Norhayati Mohd。阿里,约翰·霍斯金,约翰·C·格兰迪,Jun啊:
面向最终用户的领域特定视觉语言工具评论规范。 297-300
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/NgocO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/NgocO10
Do Thi Bich Ngoc公司,小川瑞之:
使用反例引导的缩小检查舍入错误。 301-304
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HilliardMMP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HilliardMMP10
里奇·希利亚德,伊万诺·马拉沃尔塔,亨利·穆奇尼,Patrizio Pelliccione公司:
通过巨型建模技术实现架构框架。 305-308
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/LunguRL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LunguRL10
米尔恰·伦古,罗曼·罗布斯,米歇尔·兰扎:
恢复软件生态系统中的项目间依赖性。 309-312
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/SchulteFW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SchulteFW10
埃里克·舒尔特,斯蒂芬妮·福雷斯特,维斯特利·威默尔:
通过汇编代码的演变实现自动程序修复。 313-316
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BorgesGL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BorgesGL10
拉斐尔·博尔赫斯,阿图尔·达维拉·加塞斯,路易斯·兰姆:
集成模型验证和自适应。 317-320
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/KocaguneliGMYK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KocaguneliGMYK10
埃克雷姆·科卡古内利,格雷戈里·盖伊,蒂姆·门齐斯,叶扬,杰基·吴强（Jacky W.Keung）:
何时使用其他项目的数据进行工作量估算。 321-324
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/羊毛MPM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/WoollardMPM10
大卫·伍拉德,克里斯·马特曼,丹尼尔·波佩斯库,内纳德·梅德维多维奇:
Kadre：针对科学软件系统的特定于域的体系结构恢复。 325-328
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/KhalekK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KhalekK10
沙迪·阿卜杜勒·哈利克,萨尔夫拉兹·库希德:
自动化SQL查询生成，用于数据库引擎的系统测试。 329-332
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BoucherCHBD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BoucherCHBD10
昆汀·鲍彻,安德烈亚斯·克莱森,帕特里克·海曼斯,阿诺德·布杜克斯,劳伦特·德蒙索:
标记和修剪：一种实用的软件产品线实现方法。 333-336
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/AroonvatanapornSB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/AroonvatanapornSB10
蓬蒂普·阿隆瓦塔纳蓬,查查·辛索普,巴里·博姆:
通过持续评估降低估算不确定性：跟踪“不确定性锥”。 337-340
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/RatanotayanonCS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/RatanotayanonCS10
Sukanya Ratanotayanon公司,崔慧京,苏珊·埃利奥特·西姆:
使用可传递变更集来支持要素位置。 341-344

正式演示II

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/SimmondsC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SimmondsC10
乔斯琳·西蒙兹,玛莎·契契克:
RuMoR：监控和恢复BPEL应用程序。 345-346
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/RederE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/RederE10
亚历山大·雷德,亚历山大·埃杰德:
模型/分析器：用于检测、可视化和修复UML中的设计错误的工具。 347-348
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/RayeevSSR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/RayeevSSR10
A.C.拉杰夫,普拉达瓦拉丹·桑帕特,K.C.沙希达尔,S.拉梅什:
CoGenTe：用于代码生成器测试的工具。 349-350
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/VisserG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/VisserG10
威廉·维瑟,杰科·盖尔登胡伊斯:
Impendulo：调试程序员。 351-352
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/XingSLD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/XingSLD10
振兴,孙军（Jun Sun）,杨柳,董劲松:
SpecDiff：调试正式规范。 353-354
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/GabrysiakGS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/GabrysikGS10
格雷戈·加布里萨克,霍尔格·吉斯,安德烈亚斯·塞贝尔:
从交互式需求验证中导出多用户流程的行为。 355至356
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/MontrieuxJHYST10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MontrieuxJHYST10
莱昂内尔·蒙特里厄斯,扬·朱尔扬（Jan Jürjens）,查尔斯·海利,Yijun余,皮埃尔·伊夫·肖本斯,休伯特·图桑:
工具支持从UMLsec属性生成代码。 357-358
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HarelMSB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HarelMSB10
哈雷尔,沙哈尔·毛兹,斯马达尔·塞克利,丹尼尔·巴尔坎:
PlayGo：面向基于场景编程的综合工具。 359-360
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/IvanovOSV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/IvanovOSV10
丁科·伊万诺夫,马林·奥利奇,克里斯蒂娜·塞尔希·塞塞莱亚努,Aneta Vulgarakis公司:
REMES工具库：一组用于嵌入式系统行为建模和分析的集成工具。 361-362
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/NohrerE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/NohrerE10
亚历山大·诺勒,亚历山大·埃杰德:
C2O：指导决策的工具。 363-364
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Lamsweerde10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Lamsweerde10
阿克塞尔·范·兰斯韦德:
主题演讲：模型驱动工程的模型工程。第365页至第366页

规范和验证

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/TaleghaniA10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/TaleghaniA10
阿里·塔莱哈尼,乔安妮·M·阿特里:
搜索结婚代码。 367-376
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HooimeijerW10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HooimeijerW10
彼得·胡伊梅耶尔,维斯特利·威默尔:
延迟求解字符串约束。 377-386
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/LoM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LoM10
大卫·罗,沙哈尔·毛兹:
基于场景和基于价值的规范挖掘：更好地结合在一起。 387-396

测试和调试

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/QiRL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/QiRL10
大为旗,阿布希克·罗乔杜里,梁振凯:
测试生成以暴露不断发展的程序中的更改。 397-406
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/HolzerTVS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HolzerTVS10
安德烈亚斯·霍尔泽,克里斯蒂安·夏尔哈特,迈克尔·陶奇尼格,赫尔穆特·维思:
您是如何指定测试套件的。 407-416
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/FattoriPMM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/FattoriPMM10
阿里斯蒂德·法托里,罗伯托·帕莱里,洛伦佐·马蒂诺尼,马蒂亚·蒙加:
对商品生产系统进行动态和透明的分析。 417-426

重用和基于组件的开发

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/TrezentosLO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/TrezentosLO10
保罗·特雷泽托斯,Inés Lync公司,阿林多·L·奥利维拉:
Apt-pbo：使用伪布尔优化解决软件依赖性问题。 427-436
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/德国MI10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/德国MI10
丹尼尔·杰曼,Yuki Manabe公司,井上加寿:
一种语句匹配方法，用于自动识别源代码文件的许可证。 437-446
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/PhamNNN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/PhamNNN10
Nam H.Pham公司,Tung Thanh Nguyen先生,Hoan Anh Nguyen先生,Tien N.Nguyen先生:
检测重复出现的软件漏洞。 447-456

软件进化

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/WangLCZMY10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/WangLCZMY10
王晓音,大卫·罗,程杰峰,陆章,洪梅,于旭:
在系统相关性图中匹配相关性相关查询。 457-466
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/TajalliGEM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/TajalliGEM10
侯赛因·塔贾利,约书亚·加西亚,乔治爱德华兹,内纳德·梅德维多维奇:
PLASMA：一种基于平面的分层体系结构，用于软件模型驱动的适应。 467-476
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/DuleySK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/DuleySK10
亚当·杜利,克里斯·斯潘迪科夫,米荣·金:
一种用于verilog HDL的程序差分算法。 477-486

博士研讨会

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Holotescu10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Holotescu10
卡桑德拉·霍洛特斯库:
用于黑盒软件组件的避免错误的适配器。 487-492
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/BeckerG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BeckerG10
麦克文,沃尔克·格鲁恩:
自动模型分组。 493-498
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/平衡10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Balint10
米哈·巴林:
抽象类型行为的自动推理。 499-504
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Chen10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Chen10
陈晓凡:
文档和源代码之间可追溯性关系的提取和可视化。 505至510
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Letarte10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Letarte10
多米尼克·勒塔特:
精确布尔过程间流分析的模型检查图表示。 511-516
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/kbse/Stats10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Stats10
马特·斯塔茨:
多个工件对软件测试有效性的影响。 517-522

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。