FSE的FoSER 2010年:美国新墨西哥州圣菲
Gruia-Catalin罗马 , 凯文·沙利文 :
2010年11月7日至11日,在美国新墨西哥州圣菲举行的第18届ACM SIGSOFT国际软件工程基础研讨会上,软件工程研究的未来研讨会论文集,FoSER 2010。 ACM公司 2010 ,国际标准图书编号 978-1-4503-0427-6
立场文件
肯尼思·阿诺德 , 亨利·利伯曼 :
拥抱模糊。 1-6 大卫·F·培根 , 埃里克·博克伯格 , 陈一玲 , 伊恩·卡什 , 大卫·C·帕克斯 , 马尔维卡·拉奥 , 马努·斯里德哈兰 :
软件经济。 7-12 罗伯特·巴尔泽 :
为什么我们还没有实现自动化编程。 13-16 卢西亚诺·巴雷西 , 卡洛·盖齐 :
开发时间和运行时间之间正在消失的边界。 17-22 厄尔·T·巴尔 , 克里斯蒂安·伯德 , 埃里克·凯悦 , 蒂姆·门齐斯 , 格雷戈里奥·罗伯斯 :
站在巨人的肩膀上。 23-28 唐·S·巴托里 :
关于自动化软件设计和合成的思考。 29-32 安德鲁·贝格尔 , 罗伯特·德林 , 托马斯·齐默尔曼 :
软件工程的社交媒体。 33-38 巴里·博姆 :
将软件工程研究扩展到数字盒子之外。 39-42 德里克·布朗什 , 杰森·科申鲍姆 , 阿迪蒂·泰戈尔 :
一种基于基准和竞争的软件工程研究方法。 43-46 纳奈特·布朗 , 蔡元芳 , 郭月浦 , 瑞克·凯兹曼 , 米荣·金 , 克鲁奇顿 , Erin Lim(艾琳·林) , 艾伦·麦科马克 , 罗伯特·诺德 , 伊佩克·奥兹卡亚 , Raghvinder S.Sangwan先生 , 卡罗琳·B·希曼 , 凯文·沙利文 , 尼科·扎兹瓦夫 :
管理软件相关系统中的技术债务。 47-52 马塞尔·布鲁赫 , 埃里克·博登 , 马丁·蒙佩鲁斯 , 米拉·梅齐尼 :
IDE2.0:软件开发中的集体智能。 53-58 尤里·布伦 , 里德·霍姆斯 , 迈克尔·D·恩斯特 , 大卫·诺特金 :
推测性分析:探索软件的未来发展状态。 59-64 巴雷特·布莱恩特 , 杰夫·格雷 , 马尔扬·默尼克 :
特定领域的软件工程。 65-68 特夫菲克·布尔坦 :
人人共享的软件。 69-74 玛格丽特·伯内特 :
软件工程的未来:增强处理软件质量的人类专业知识。 75-76 雷蒙德·P·L·巴斯 , 托马斯·齐默尔曼 :
软件开发分析。 77-80 克里斯蒂安·卡达尔 , Peter R.Pietzuch先生 , 亚历山大·沃尔夫 :
多重计算:下一代计算平台应用的软件工程愿景。 81-86 洛丽·克拉克 , 利昂·J·奥斯特维尔 , 乔治·阿夫鲁宁 :
支持人性化系统。 87-92 马修·德怀尔 , 塞巴斯蒂安·埃尔鲍姆 :
统一验证和验证技术:通过部分证据将行为和特性联系起来。 93-98 史蒂夫·伊斯特布鲁克 :
气候变化:一项重大的软件挑战。 99-104 马丁·埃尔维格 , 埃里克·沃尔金肖 :
连续软件的程序字段。 105-108 凯西·菲斯勒 , 克里希纳穆西神社 , 丹尼尔·道尔蒂 :
拥抱政策工程。 109-110 肖恩·弗里曼 , 托马斯·L·克伦 , 罗伯特·W·伯恩斯 :
气候模型软件开发状态中的潜在风险和危险。 111-114 理查德·加布里埃尔 :
软件工程作为现场表演。 115-118 阿莱西奥·加布里埃尔 , 米开朗基罗·卢蓬 , 保拉·因弗拉迪 , Patrizio Pelliccione公司 :
广告语:受音乐启发的自适应系统。 119-124 大卫·加兰 :
不确定世界中的软件工程。 125-128 丹尼尔·杰曼 , 延斯·韦伯 , 马西米利亚诺·迪·彭塔 :
合法的软件工程。 129-132 约翰·B·古迪纳夫 , 琳达·M·诺斯罗普 :
系统体系的软件保证。 133-136 加内什·戈帕拉克里什南 , 罗伯特·M·柯比 :
使HPC正式方法实用的十大方法。 137-142 伊恩·戈顿 , 刘燕(Yan Liu) :
推进大规模异构系统的软件架构建模。 143-148 马克·格雷切尼克 , 詹姆斯·琼斯 , 亚历山德罗·奥索 , 安德烈·范德霍克 :
在全球分布式软件开发中弥合开发人员和测试人员之间的差距。 149-154 阿琼·古哈 , 克里希纳穆西神社 :
注意(语义)差距:工程编程语言理论。 155-156 特雷弗·哈蒙 , 迈克尔·R·洛瑞 :
WCET分析中的N版本编程:重新审视一个不可信的想法。 157-160 艾哈迈德·哈桑 , 陶雪 :
软件智能:挖掘软件工程数据的未来。 161-166 塞斯·霍洛韦 , 克里斯汀·朱利安 :
无处不在计算环境的最终用户编程案例。 167-172 丹尼尔·杰克逊博士 , Eunsuk Kang公司 :
可靠软件设计的关注点分离。 173-176 拉尔夫·约翰逊 :
软件开发是程序转换。 177-180 米拉·卡伊科·马特森 :
成熟度还涉及使流程符合正确上下文的能力! 181-186 瑞克·凯兹曼 , 陈洪梅 :
大都市模型及其对软件生态系统工程的影响。 187-190 小詹姆斯·柯比。 , 大卫·M·维斯 , 罗宾·R·卢茨 :
基于证据的软件生产。 191-194 克雷恩 , 加布里埃尔·A·莫雷诺 , 大卫·C·帕克斯 , 库尔特·瓦尔瑙 :
激励设计:更好的信息共享,实现更好的软件工程。 195-200 Shuvendu K.Lahiri公司 , 卡皮尔·瓦斯瓦尼 , C.A.R.霍尔 :
差异静态分析:机遇、应用和挑战。 201-204 克莱尔·勒·古伊斯 , 斯蒂芬妮·福雷斯特 , 维斯特利·威默尔 :
软件进化的案例。 205-210 加里·利文斯 :
图书馆规范的未来。 211-216 尼古拉斯·洛佩斯 , 安德烈·范德霍克 :
面向关注的软件工程议程。 217-222 迈克尔·罗瑞 :
面向技术对软件设计生产力影响的预测模型。 223-228 安德里安·马库斯 , 蒂姆·门齐斯 :
软件也是数据。 229-232 法比奥·马萨奇 :
Infraingo ergo sum:软件工程何时支持侵权? 233-238 阿提夫·梅蒙 , 亚当·波特 , 阿兰·苏斯曼 :
基于社区的协作测试和分析。 239-244 托米·米科宁 , Antero Taivalsaari公司 :
混搭软件的挑战:弥合web开发和软件工程之间的差距。 245-250 盖尔·墨菲 :
以人为中心的软件工程。 251-254 爱默生·R·墨菲-希尔 , 盖尔·墨菲 , 威廉·格里斯沃尔德 :
理解上下文:在实验软件工程研究中产生持久影响。 255-258 琳达·M·诺斯罗普 , 克雷恩 , 约翰·B·古迪纳夫 , 丹尼斯·史密斯 :
确保软件相关系统的理想行为所需的基础。 259-262 亚历山德罗·奥索 :
监控、分析和测试部署的软件。 263-268 利昂·J·奥斯特维尔 , 洛丽·克拉克 :
利用计算和通信技术支持谈判和争议解决。 269-272 托马斯·奥斯特兰德 , 伊莱恩·韦尤克 :
软件测试研究和软件工程教育。 273-276 杰米·佩顿 , 克里斯汀·朱利安 :
在应用程序开发实践中集成参与式感知。 277-282 吉安·彼得罗·皮科 :
软件工程和无线传感器网络:幸福婚姻还是自愿离婚? 283-286 安迪·波德古斯基 :
电子健康记录系统的基于证据的验证和改进。 287-292 赫里德什·拉詹 :
在多核时代构建可扩展的软件系统。 293-298 史蒂文·莱斯 :
编写和使用程序规范。 299-302 黛布拉·理查德森 , 潘·阿尼 , 哈达尔·齐夫 :
边缘的需求工程:通过替代方法避免技术上的傲慢。 303-308 凯特林·萨多夫斯基 , 安德鲁·舍梅克 :
最后一英里:并行编程和可用性。 309-314 沃尔特·斯卡奇 :
自由/开源软件开发研究的未来。 315-320 威廉·施费尔 , 毛罗·比拉塔里 , 约翰内斯·布尔默(Johannes Blömer) , 多里戈 , 格雷戈·恩格斯 , 雷汉·奥格雷迪 , 马可·普拉兹纳 , 弗朗兹·约瑟夫·拉姆(Franz-Josef Rammig) , 沃尔夫冈·雷夫 , 安斯加·特雷赫特勒 :
设计自协调软件密集型系统。 321-324 托德·席勒 , 迈克尔·D·恩斯特 :
重新思考软件工程的经济学。 325-330 约翰·舒曼 , Ole J.Mengsoel(奥莱·J·蒙肖尔) , 阿肖克·N.斯利瓦斯塔瓦 , 阿德南·达维切 :
使用贝叶斯网络进行软件健康管理。 331-336 玛丽·肖 :
针对软件工程学科的研究。 337-342 蒂姆·谢尔德 , 亚伦·斯塔姆 , 斯蒂芬妮·威里奇 :
基于语言的验证将改变世界。 343-348 阿克巴尔·西亚米·纳明 , 莫汉·斯里德哈兰 :
软件测试的贝叶斯推理。 349-354 道格拉斯·史密斯 , 路易斯·霍贝尔 :
衍生软件工程。 355-358 玛格丽特·安妮·D·斯托里 , 克里斯托夫·特劳德 , 阿里·范·德森 , 李泰诚 :
社交媒体对软件工程实践和工具的影响。 359-364 凯文·沙利文 , 克瑙斯 , 理察马克思 :
国家级卫生信息系统的超大型系统方法。 365-368 凯文·沙利文 :
以机会为中心的软件开发。 369-374 理查德·泰勒 :
支持创新:软件工程的选择。 375-378 沃尔特·蒂希 , 斯文·J·科尔纳 :
文本到软件:开发工具以缩小软件工程中的差距。 379-384 威尔·特雷茨 :
打包并优先考虑软件工程研究,以最大化行业影响。 385-388 安德拉斯·瓦伊达 , 约翰·艾克 :
回到forrest语言:面向DSL的软件工程。 389-392 阿诺德·维尼特 , 迈克尔·罗瑞 :
软件保证的静态分析:可靠性、可扩展性和适应性。 393-396 安东尼·瓦瑟曼 :
移动应用程序开发的软件工程问题。 397-400 迈克尔·沃伦 , 帕特里斯·戈德弗罗伊德 , 莱昂纳多·马里亚尼 , 安德烈亚·波利尼 , 尼古拉·蒂尔曼 , 威廉·维瑟 :
FITE:未来集成测试环境。 401-406 朱尔斯·怀特 , 道格拉斯·施密特 :
多核部署/配置优化的研发挑战和新兴解决方案。 407-410 Hyrum K.Wright公司 , 米荣·金 , 德韦恩·佩里 :
软件工程研究中的有效性问题。 411-414 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
开发人员测试的未来:在代码中构建质量。 415-420 徐国庆 , 尼克·米切尔 , 阿诺德 , 阿塔纳斯·鲁恩捷夫 , 加里·塞维茨基 :
软件膨胀分析:在现代大型面向对象应用程序中发现、删除和防止性能问题。 421-426 杨林敏 , 哲当 , 托马斯·费舍尔 , Min Sik Kim女士 , 李坦 :
熵与软件系统:走向软件测试的信息理论基础。 427-432 叶云文 , 中村久彦 , 山本康弘 , Kouichi Kishida先生 :
透过非物质劳动的镜子。 433-438 米查尔·扬 , 斯图亚特·福克 :
分享我们对软件工程的了解。 439-442 周明辉 , 奥德里斯·莫库斯 :
新员工能力的增长:全球化的挑战。 443-448