第16届SIGSOFT FSE 2008:美国佐治亚州亚特兰大
玛丽·让·哈罗德 , 盖尔·墨菲 :
第16届ACM SIGSOFT国际软件工程基础研讨会论文集,2008年11月9日至14日,美国佐治亚州亚特兰大。 ACM公司 2008 ,国际标准图书编号 978-1-59593-995-1
主题演讲
卡莱斯·鲍德温 :
以设计为中心的经济观:抽象。 1
社会结构
马丁·平兹格 , 纳恰帕·纳加潘 , 布伦丹·墨菲 :
开发人员模块网络可以预测故障吗? 2-12 安德鲁·梅尼利 , 劳里·A·威廉姆斯 , 威尔·斯奈普斯 , 杰森·奥斯本 :
通过开发者网络和社交网络分析预测失败。 13-23 克里斯蒂安·伯德 , 大卫·S·帕蒂森 , 莱萨·德索萨 , 弗拉基米尔·菲尔科夫 , Premkumar T.Devanbu公司 :
开源项目中潜在的社会结构。 24-35
程序分析
埃里克·博登 , 林立信 , 劳里·J·亨德伦 :
通过提前评估运行时监控器,提前发现编程错误。 36-47 凌霄江 , 苏振东 :
基于概要文件的程序简化,以实现有效的测试和分析。 48-58 布鲁诺·杜福尔 , 芭芭拉·莱德 , 加里·塞维茨基 :
一种可伸缩的技术,用于描述框架密集型Java应用程序中临时文件的使用。 59-70
测试
贤秀道 , 西瓦什·米拉拉布 , 塔维尔达里 , 格雷格·罗瑟梅尔 :
时间约束对回归测试成本效益影响的实证研究。 71-82 林志强 , 张湘玉 :
从执行中派生输入语法结构。 83-93 赖志峰 , Shing-Chi Cheung先生 , 永光禅 :
nesC应用程序的文本间控制流和数据流测试充分性标准。 94-104
编程实验和辅助工具
杰弗里·斯特洛斯 , 布拉德·迈尔斯 :
方法放置对API可学习性的影响。 105-112 安妮塔·萨玛 , 大卫·F·雷德迈尔斯 , 安德烈·范德霍克 :
工作空间意识在软件配置管理中的益处的经验证据。 113-123 安迪·科斯南达尔 , 塞巴斯蒂安·埃尔鲍姆 , 格雷格·罗瑟梅尔 , 洛林·霍奇斯坦 , 克里斯托弗·斯卡菲迪 , 凯瑟琳·斯托利 :
使用断言帮助最终用户程序员创建可靠的web宏。 124-134
并发和转换
长秀公园 , 库什克森 :
并发程序中的随机主动原子性违规检测。 135-145 克里斯托弗·德拉格特 , 尤尔根·丁格尔 , 凯伦·鲁迪 :
使用离散事件系统理论生成并发控制代码。 146-157 克里希纳穆西神社 , 凯西·菲斯勒 , 丹尼尔·道尔蒂 , 丹尼尔·尤奥 :
炼金术:将基础合金规范转化为实现。 158-169
Web服务
弗兰科·雷蒙迪 , 詹姆斯·斯科恩 , 沃尔夫冈·埃默里奇 :
高效在线监控网络服务SLA。 170-180 威廉·G·J·哈尔丰德 , 亚历山德罗·奥索 :
自动识别web应用程序中的参数不匹配。 181-191 方瑜 , 王超 , 阿尔蒂·古普塔 , 特夫菲克·布尔坦 :
使用高效符号编码和摘要对web服务进行模块化验证。 192-202
工具和方法
巴瑟·雷米·达格纳斯(Barthélémy Dagenais) , 哈罗德·奥斯舍 :
自动定位框架扩展示例。 203-213 莱兰·科特雷尔 , 罗伯特·沃克 , 约格·登津格 :
通过结构对应实现半自动的小规模源代码重用。 214-225 苏泽特人 , 马修·德怀尔 , 塞巴斯蒂安·埃尔鲍姆 , 科琳娜·帕萨雷努 :
差异符号执行。 226-237
ACM SIGSOFT杰出研究奖
阿克塞尔·范·兰斯韦德 :
需求工程:从工艺到学科。 238-249
安全和故障检测
戴夫·金 , 特伦特·杰格 , 萨默什·贾 , 桑吉特·塞希亚 :
对违反信息流的行为进行有效谴责。 250-260 米歇尔·萨马 , 大卫·S·罗森布鲁姆 , 王志敏 , 塞巴斯蒂安·埃尔鲍姆 :
上下文软件自适应应用中基于模型的故障检测。 261-271 魏乐 , 玛丽·卢·索法 :
Marple:一个需求驱动的路径敏感缓冲区溢出检测器。 272-282
主题演讲
Gautam Shroff公司 :
Dev 2.0:云中的模型驱动开发。 283
ACM SIGSOFT影响力奖
大卫·S·罗森布鲁姆 , 亚历山大·沃尔夫 :
ACM SIGSOFT影响力论文奖:反思与展望。 284
要求
希瓦·内贾蒂 , 梅赫达德·萨贝扎德 , 玛莎·契契克 , 塞巴斯蒂安·乌奇特尔 , 帕梅拉·扎夫 :
朝向进化系统的成分合成。 285-296 达里奥·菲施贝因(Dario Fischbein) , 塞巴斯蒂安·乌奇特尔 :
关于部分行为模型的正确和完全强合并。 297-307
过程
尼古拉斯·贝滕堡 , Sascha只是 , 阿德里安·施罗德 , 凯瑟琳·韦斯 , 拉胡尔·普雷姆拉吉 , 托马斯·齐默尔曼 :
什么是好的错误报告? 308-318 利昂·J·奥斯特维尔 , 洛丽·克拉克 , 亚伦·M·埃里森 , 罗迪安·波多罗日尼 , 亚历山大·E·怀斯 , 埃默里·布斯 , 朱利安·哈德利 :
有使用过程语言定义科学工作流和生成数据集来源的经验。 319-329 伊吉特文化 , 伯拉克·图尔罕 , 艾斯·巴沙尔·贝纳 :
ENNA:使用带有联想记忆的神经网络集成进行软件工作量估算。 330-338
采矿和重组
马克·加贝尔 , 苏振东 :
沙威:从动态轨迹中全自动挖掘一般时间属性。 339-349 V.本杰明·利夫希茨 , 埃姆雷·克斯曼 :
Doloto:用于网络绑定web 2.0应用程序的代码拆分。 350-360
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)