2014年软件工程:德国基尔
威廉·哈塞尔布林 , 尼尔斯·克里斯蒂安·埃姆克 :
软件工程2014,Fachtagung des GI Fachbereichs Softwaretechnik,25。 2月28日。 2014年2月,德国基尔。 LNI公司 P-227, GI公司 2014 ,国际标准图书编号 978-388579-621-3
Wissenschaftliches项目
安德利亚斯·策勒 :
2014年东南部Vorwort Wissenschaftliches项目。 21-22
成为了现在的软件分析
托马斯·齐默尔曼 , 纳恰帕·纳加潘 :
数字游戏软件分析。 23-24 维杜拉·施维泰克 , 斯特凡·艾克 :
Java企业开源软件中第三方组件重用研究。 25-26 英戈·斯科尔斯 , 马塞洛·塞拉诺·萨内蒂 , 克劳迪奥·胡安·特松 , 弗兰克·施韦策 :
用社交网络对Bug进行分类:四个开源软件社区的案例研究。 27-28 瓦利德·马莱吉 , 马丁·罗比拉德 :
API参考文档中的知识模式。 29
服务质量
弗兰兹·布罗什 , 海科·科齐奥列克 , Barbora Buhnova公司 , 拉尔夫·H·罗伊斯纳 :
基于体系结构的帕拉迪奥组件模型可靠性预测。 31-32 诺伯特·西格蒙德 , 塞尔吉·科尔斯尼科夫 , 克里斯蒂安·卡斯特纳 , 斯文·阿佩尔 , 唐·S·巴托里 , 马尔科·罗森穆勒 , 冈特·萨克 :
存在功能交互时的性能预测。 33-34 Jons-Tobias Wamhoff公司 , 艾蒂安·里维埃 , 吉尔斯·穆勒 , 克里斯托夫·费泽尔 , 帕斯卡·费尔伯 :
FastLane:针对低线程数优化的软件事务内存。 35-36 拉尔斯·格伦斯克 , 艾曼·阿明 :
服务质量问题的被动检测与主动检测。 37-38
验证
安东尼奥·菲列里 , 科里纳S.Pasareanu , 威廉·维瑟 :
符号探路者中的可靠性分析:简要总结。 39-40 德克·拜尔 , 斯特凡·洛韦 , 叶夫根尼·诺维科夫 , 安德烈亚斯·斯塔尔鲍尔 , 菲利普·温德勒 :
CPAchecker中的精度重用。 41-42 克里斯蒂安·哈默 :
使用数据中心同步检测程序中的死锁。 43-44 沃洛德米尔·库兹涅佐夫 , 约翰内斯·金德 , 斯特凡·布科尔 , 乔治·坎迪亚 :
符号执行中的有效状态合并。 45-46
理解
托比亚斯·罗姆 , 丽贝卡·蒂亚克斯 , Rainer Koschke公司 , 瓦利德·马莱吉 :
专业开发人员如何理解软件? 47 佐亚·杜迪克 , 拉尔夫·H·罗伊斯纳 :
关于使用设计模式和模式文件的适当理由。 49-50 多梅尼科·比安库利 , 卡洛·盖齐 , 塞萨尔·帕塔索 , 帕特里克·森蒂 :
从研究到行业的规范模式:基于服务的应用程序中的案例研究。 51-52 多米尼克·罗斯特 , 马提亚斯·纳布 , 利马Crescencio , 克里斯蒂娜·冯·弗拉赫·查韦斯 :
面向开发人员的软件体系结构文档:一项调查。 53-54
进化
瓦西里奥斯·安德里科普洛斯 :
关于服务的(兼容)演进。 55-56 蒂莫·凯勒 :
在建模过程中,生成了一个编辑脚本。 57-58 克劳斯·施密德 :
Ein正式出资人Entscheidungs-Ansatz zur Behandung von Technical Debt。 59-60
合成
格德·凯恩斯 , 克里斯蒂安·巴克尔 , 阿洛伊斯·克诺尔 :
基于组件的嵌入式系统集成开发的工具支持。 61-62 沙哈尔·毛兹 , 简·奥利弗·林格特 , 伯恩哈德·伦普 :
从横切结构视图合成组件和连接器模型。 63-64 托马斯·图姆 :
合同交叉关注的模块化推理。 65-66 丹尼尔·沃尼什 , 亚历山大·施雷默 , 海克·韦尔海姆 :
校对程序-方法和应用。 67-68
建模
斯特凡·瓦格纳 :
软件-产品质量建模和警告:Der Quamoco-Ansatz。 69-70 理查·坡尔 , 瓦妮莎·斯特里克 , 克劳斯·波尔 :
Messung der Strukturellen Komplexität von Feature-Modellen公司。 71-72 罗伯特·赖歇特 , 萨宾·格莱斯纳 :
汽车领域的模型质量方法。 73-74 拉尔斯·哈曼 , 马丁·戈戈拉 , 奥利弗·霍夫里希特 :
苏尔集成von Struktur-und Verhaltensmodellierung mit OCL。 75-76
软件体系结构和规范
阿尔代达·阿列蒂 , 巴博拉·布诺娃 , 拉尔斯·格伦斯克 , 安妮·科齐奥莱克 , 英迪卡·米德尼娅 :
软件架构优化方法:系统文献综述。 77-78 克里斯蒂安·哈默 :
JavaScript的灵活访问控制。 79-80
静态分析
埃里克·博登 , 塔西斯·托利多 , 马西奥·里贝罗 , 克劳斯·布拉布兰德 , 保罗·博尔巴 , 米拉·梅齐尼 :
SPLLIFT—以几分钟而不是几年的时间对软件产品线进行静态分析。 81-82 马可·特鲁德尔 :
C nach Eiffel:Automatische u bersetzung und objektorientierte Umstrukturierung von Legacy Quelltext。 83-84 艾哈迈德·布阿贾尼 , 埃戈尔·德雷文等 , 罗兰·梅耶 :
抗松弛记忆模型的稳健性。 85-86 塞巴斯蒂安·埃德尔 , 马克西米利安·容克 , Benedikt Hauptmann公司 , 埃尔马尔·尤根斯 , 鲁道夫·瓦斯 , 卡尔·海因茨(Karl-Heinz)Prommer :
未使用的代码对维护有多重要? 87-88
规范
扬·朱尔扬(Jan Jürjens) , 库尔特·施奈德 :
SecReq方法:从安全需求到安全设计,同时管理软件演化。 89-90 詹姆斯·亨特 , 摩尔岛 , 阿伦德·伦辛克 :
无创regelbasierte图形转换。 91-92 李开拓 , 克里斯托夫·赖森巴赫 , 亚尼斯·斯马拉格达基斯 , 米查尔·扬 :
动态不变量推理中的二阶约束。 93-94
测试
拉斐尔·范姆 , 莱夫·辛格 , 奥尔加·利斯金 , 费尔南多·马奎斯·菲格雷拉·菲略 , 库尔特·施奈德 :
再次访问:在社交编码网站上测试文化。 95-96 德克·拜尔 , 安德烈亚斯·霍尔泽 , 迈克尔·陶奇尼格 , 赫尔穆特·维思 :
多目标可达性分析中的信息重用。 97-98 亚历山大·沃特 , 延斯·哈普 , 露西娅·哈普 :
支持快速反应:通过系统实验自动发现性能问题。 99-100 阿扎德·法尔赞 , 安德烈亚斯·霍尔泽 , 尼罗法尔·拉扎维 , 赫尔穆特·维思 :
并发程序的一致性测试。 101-102
软件工程标识
伯恩德·布吕格 :
福沃特软件工程Ideen Programm der SE 2014。 105-106
Mensch Maschine互动
工具
大卫·乔治·雷切尔 , 拉尔斯·布劳巴赫 :
Sicherstellung von Performanzeigenschaften durch kontinuierliche Performanztests mit dem KoPeMe框架。 119-124 奥利弗·西本马克 :
使用Open Service for Lifecycle Collaboration将跨工具ALM项目可视化为图形。 125-129 马丁·奥托·沃纳·瓦格纳 :
ACCD-访问控制类图。 131-136
代码生成和验证
托尔斯滕·埃勒 , 德克·诺沃特卡 , 菲利普·西威克 , 约翰内斯·特劳布 :
用于将嵌入式代码从单核系统迁移到多核系统的正式软件验证。 137-142 马尔特·布伦利卜 , Arnd Poetzsch-Heffter公司 :
架构驱动的增量代码生成可提高开发人员效率。 143-148
技术转让计划
拉尔夫·H·罗伊斯纳 :
2014年东南部福沃特技术转让计划。 151
传输Softwarearchitektur
巴尔塔萨尔·魏策尔 , 马提亚斯·纳布 , 马蒂亚斯·谢菲 :
Agilität braucht Architektur! 153-158 海科·科齐奥列克 , 托马斯·戈德施密特 :
工具驱动的技术转移,以支持软件架构(Architecture)决策。 159-164 本杰明·克拉特 , 克劳斯·克罗格曼 , 迈克尔·兰哈默 :
实践中的个别代码分析。 165-170
Transferprozesse公司
斯特凡·赫尔菲尔德 :
FZI生活实验室之家-interdisziplinärer Technologietransfer 2.0。 171-176 安德烈亚斯·梅茨格 , 菲利普·施密特 , 克里斯蒂安·雷纳茨 , 克劳斯·波尔 :
管理运营商Logistikprozesse-mit Future-Internet-Leitständen:Erfahrungen aus dem LoFIP-Projekt。 177-182 斯特芬·克鲁斯 , 菲利普·格林格尔 :
Ein gutes Bild for dert mindestens 1000 Worte-Daten-Visualisierungen in der Praxis.《Ein gudes Bild fordert mindestens 1000 Worte-Daten-Visualisierungen实践》。 183-188
软件和系统工程(Engineering)要点
参见软件项目
凯特琳·海曼 :
einem sehr komplexen项目的发布管理。 191-192 克里斯蒂安·沃纳 , 乌尔里克·施耐德 :
开源als Triebfeder für erfolgreiche Softwareprojekte in deröffentlichen Verwaltung。 193-194 拉尔夫·莱昂哈德 , 格哈德·佩斯 , 西蒙·斯皮尔曼 :
Effiziente Erstellung von软件工厂。 195-196
参见软件测试
杰拉尔德·辛克 :
Sieben Strategien gegen beißende Hunde。 197-198 马蒂亚斯·戴格尔 :
Gegen den趋势? Neue软件-测试标准ISO/IEC/IEEE 29119。 199-200
研讨会
罗伯特·海因里希 , 雷纳尔·荣格(Reiner Jung) , 马可·科内斯曼 , 托马斯·鲁罗斯 , 埃里克·施密德斯 :
第一届长生系统进化与维护协作研讨会(EMLS14)。 203-204 沃尔克·斯托尔茨 , Baltasar Trancón y Widemann公司 :
7.Arbeitstagung Programmiersprachen(ATPS 2014)。 205-206 迈克拉·胡恩 , 斯特凡·格肯 , 卡斯滕·鲁道夫 :
CeMoSS——安全软件的认证和模型驱动开发。 207-208 Pit Pietsch公司 , 乌多·凯尔特 , 简·奥利弗·林格特 :
软件模型比较和版本控制国际研讨会(CVSM 2014)。 209 安德烈亚·赫尔曼 , 安妮·霍夫曼 , 迪特尔·兰德斯 , 吕迪格·魏巴赫 :
研讨会“Lehre für需求工程”(Lehre)。 211-212 奥特马尔·本德 , 沃尔夫冈·伯姆 , 斯特凡·亨克勒 , 奥利弗·桑德 , 安德烈亚斯·沃格尔桑 , 托尔斯滕·韦耶 :
4.Entwicklung软件工程师系统研讨会(ENVISON2020)。 213-214
辅导课
托尔斯滕·凯勒 , 延斯·诺德尔 , 马提亚斯·纳布 :
教程:Zukunftssichere Software Systeme mit Architekturbewertung:Wan,Wie und Wieviel? 217-218 吉多·格里赞 , 亨宁·施温特纳 :
Der Werkzeug und Material Ansatz für die Entwicklung interakiver软件-系统。 219-220 西蒙·格拉芬廷 , 马提亚斯图书 , 沃尔克·格鲁恩 :
Früherkennung fachlicher und technischer Projektrisiken mit-dem互动室。 221-222
Doktorandensymposium公司
迈克拉·格鲁肖 :
协议-敏捷原理管理方法。 225-228 克里斯蒂安·沃尔夫 :
软件系统中基于模式的潜在并行性检测和利用。 229-232 马克斯·克莱默 :
以视图为中心的工程方法中同步异构模型。 233-236 埃米扎·古兹曼 :
总结、分类和多样化用户反馈。 237-240
![](https://dblp.org/img/cog.dark.24x24.png)