SE 2023:德国帕德博恩
格雷戈·恩格斯 , 里贾娜·赫比格 , 马蒂亚斯·蒂希 :
软件工程2023,Fachtagung des GI-Fachbereichs Softwaretechnik,20.-24。 2023年2月,帕德博恩。 LNI公司 P-332, Gesellschaft für Informatik公司。 2023 ,国际标准图书编号 978-3-88579-726-5 -
软件工程2023-kompletter Tagungsband。 1-140
主题演讲
伊娜·谢弗 :
量子软件工程-Quo Vadis? 19-20 亚历山大·塞雷布雷尼克 :
软件工程中的多样性和包容性。 21至22 斯特凡·瓦格纳 :
软件工程——加强学生和工业。 23-24 马赫迪·马内什 :
软件工程师实践领导力:行业经验报告。 25-26
Wissenschaftliches Hauptprogramm公司
朱利叶斯·阿德尔特 , 蒂姆·利布伦茨 , 保拉·赫伯 :
使用Simulink和强化学习工具箱建模的智能混合系统的形式验证。 29-30 兰德·阿尔霍克 , 雅各布·克鲁格 , 尤斯拉·沙克尔 , 冈特·萨克 , 托马斯·莱赫 :
顶尖软件工程场所的同行评审和提交动态:青少年视角。 31-32 多丽娜·巴诺 , 朱迪思·迈克尔 , 伯恩哈德·伦普 , 西蒙·瓦尔加 , 马蒂亚斯·韦斯克 :
从事件日志合成过程软件数字双驾驶舱。 33-34 乔纳森·巴罗斯 , 斯文·佩尔德苏斯 , 卫斯理·K·G·阿桑索 , 托尔斯滕·伯杰 :
软件语言的编辑支持:语言服务器协议中的实现实践(摘要)。 35-36 德克·贝尔 , 简·哈尔特曼 , 托马斯·莱姆伯格 , 海克·韦尔海姆 :
基于组件的CEGAR——从非现成组件构建软件验证程序。 37-38 保罗·马克西米利安·比特纳 , 克里斯托夫·汀斯 , 亚历山大·舒尔泰 , 索伦·维格纳 , 蒂莫·凯勒 , 托马斯·图姆 :
将编辑分类为源代码中的变量-摘要。 39至40 莱夫·博诺登 , 马蒂亚斯·里比什 :
API抑制:一项系统性绘图研究。 41-42 托马斯·布赫曼 , 马提亚斯银行 , 伯恩哈德·韦斯特费特尔 :
BXtendDSL:一个用于双向模型转换的分层框架,结合了声明语言和命令语言(摘要)。 43-44 玛丽安·道恩 , 詹妮弗带来了 , 丽莎·克拉金斯基 , 维克多莉亚·斯坦科娃 , 托尔斯滕·班迪斯扎克 :
iStar-Erweiterung für kolaborative网络物理系统。 45-46 玛丽安·道恩 , 詹妮弗带来了 , 马塞尔·戈格 , 瓦尔特·柯赫 , 托尔斯滕·韦耶 :
工业中基于模型的需求工程:来自培训和应用的经验。 47至48 玛丽安·道恩 , 詹妮弗带来了 , 帕特里夏·阿卢科·奥贝 , 维克多莉亚·斯坦科娃 :
Zuverlässigkeit studentscher Selbsteinschätzungen zur Vorhersage der Leisting im软件工程。 49-50 凯文·费希廷格 , 奇科·桑德曼 , 托马斯·图姆 , 瑞克·拉比塞 :
这是你的损失:在变量模型往返转换期间对信息损失进行分类。 51-52 费利克斯·费特 , 安德烈亚斯·梅茨格 , 克劳斯·波尔 :
自适应系统的可解释在线强化学习。 53-54 亨德里克·哥特曼 , 比尔特·凯撒 , Lasse啤酒 , 马尔特·洛肖 , 安迪·舒尔 , 亚历山大·费伊 :
基于随机时间博弈自动机的预计算重构策略。 55-56 凯萨琳娜·格罗 , 沃尔克·里迪格 , 扬·朱尔扬(Jan Jürjens) :
需求文档关系:关于标准可追溯性的重用观点。 57-58 索伦·海宁 , 威廉·哈塞尔布林 :
对云计算应用程序的可扩展性进行基准测试。 59-60 斯特芬·赫伯德 , 托比亚斯·哈尔 :
机器学习烟雾测试:发现严重错误的简单测试。 61-62 斯特芬·赫伯德 , 亚历山大·特劳茨 , 费比安·特劳茨 , 本杰明·莱德尔 :
SZZ的问题和特点:缺陷预测数据收集实践状况的实证评估。 63-64 本·赫尔曼 , 史蒂芬温特 , 珍妮特·西格蒙德 :
社区对研究工件和评估过程的期望。 65-66 马克·哈曼 , 马丁·奥拜迪 , 拉里萨·查泽特 , 吉尔·克伦德 :
关于软件项目中情绪的主观性:情绪分析的预标记数据集的可靠性如何? (摘要)。 67-68 约格·霍尔特曼 , 朱利安·迪安托尼 , 马库斯·福克尔 :
基于场景需求和平台模型的早期时间分析(扩展摘要)。 69-70 阿鲁特·普拉卡什·卡列斯瓦兰 , 阿恩·诺德曼 , 托马斯·沃格尔 , 拉尔斯·格伦斯克 :
反例解释的系统文献综述——综述。 71-72 吉尔·克伦德 , 奥利弗·卡拉斯 :
会议和情绪是否相关? 学生软件项目的见解(摘要)。 第73页至第74页 马可·科内斯曼 , 安吉丽卡·卡普兰 , 托马斯·库恩 , 罗伯特·海因里希 , 安妮·科齐奥莱克 , 拉尔夫·H·罗伊斯纳 , 扬·朱尔扬(Jan Jürjens) , 马哈茂德·杜里 , 尼古拉斯·博尔茨 , 马尔科·厄尔 , 多米尼克·富奇 , 凯萨琳娜·格罗 , 塞巴斯蒂安·哈纳 , 简·凯姆 , 马提亚斯·洛尔 , 帖木儿萨格拉姆 , 索菲·舒尔茨 , 扬·菲利普·托伯格 :
软件体系结构研究对象的评估方法和可复制性。 75-76 亚历山大·克劳斯·格劳 , 马尔特·汉森 , 威廉·哈塞尔布林 :
扩展现实中的协作程序理解。 77-78 克里斯蒂安·科赫 , 莫里茨·弗里特 , Lea Gerling公司 , 克劳斯·施密德 :
增量软件产品线验证-一种带有死变量代码的性能分析。 79-80 马可·库尔曼 , 吉尔根·穆奇 , 吉尔·克伦德 :
黑客还是工程? 面向扩展的企业软件工程模型。 81-82 埃利亚斯·库伊特 , 塞巴斯蒂安·克里特 , 奇科·桑德曼 , 托马斯·图姆 , 冈特·萨克 :
泽廷还是不泽廷? CNF变换对特征模型分析的影响。 83-84 埃利亚斯·库伊特 , 塞巴斯蒂安·克里特 , 雅各布·克鲁格 , 冈特·萨克 , 托马斯·莱奇 :
variED:一个用于协作实时特征建模的编辑器。 85-86 托比亚斯·洛雷 , 保罗·拉尔夫 , 迈克尔·费尔德勒 :
概要:软件工程研究中的社会科学理论。 87-88 克拉拉·玛丽·吕德斯 , 阿比尔·波拉法 , 蒂姆·皮茨 , 瓦利德·马莱吉 :
理解和预测问题跟踪系统中的类型化链接。 89-90 劳埃德·蒙哥马利 , 大卫·富奇 , 阿比尔·波拉法 , 丽莎·舒尔茨 , 瓦利德·马莱吉 :
需求质量的实证研究:系统映射研究。 91至92 朱利安·冯·德·莫塞尔 , 亚历山大·特劳茨 , 斯特芬·赫伯德 :
软件工程领域自然语言处理中预处理变压器的有效性。 93-94 马库斯·纳希蒂格尔 , 迈克尔·施利希提格 , 埃里克·博登 :
大规模静态分析工具解决的可用性标准评估。 95-96 黄林阮 , 拉尔斯·格伦斯克 :
BeDivFuzz:将行为多样性整合到基于发生器的模糊-总结。 97-98 曼努埃尔·奥恩多夫 , 克里斯托弗·皮埃奇 , 乌多·凯尔特 , 拉尔斯·格伦斯克 , 蒂莫·凯勒 :
ReVision总结:基于历史的模型修复建议。 99-100 菲利克斯·鲍克 , 海克·韦尔海姆 :
Jicer:为合作分析切割Android应用程序。 101-102 塞德里克·里希特 , 简·哈尔特曼 , 玛丽·克里斯汀·雅各布斯 , 菲利克斯·鲍克 , 斯特凡·斯科特 , 海克·韦尔海姆 :
变量误用检测:软件开发人员与神经错误检测器。 103年至104年 迈克尔·施利希提格 , 斯特芬·萨萨拉 , 克里希纳·纳拉辛汉 , 埃里克·博登 :
介绍FUM:API使用约束和误用分类框架。 105-106 斯特凡·斯科特 , 菲利克斯·鲍克 :
GenBenchDroid:模糊的Android Taint分析基准。 107-108 亚历山大·舒尔泰 , 保罗·马克西米利安·比特纳 , 托马斯·图姆 , 蒂莫·凯勒 :
量化在克隆和自己的摘要中自动同步变体的潜力。 109-110 阿纳布·夏尔马 , 维塔利克·梅尔尼科夫 , 埃克·Hüllermier , 海克·韦尔海姆 :
数值函数的属性驱动黑盒测试。 111-112 多米尼克·施泰因霍费尔 , 安德利亚斯·策勒 :
输入不变量。 113-114 帕特里克·斯特克尔 , 特蕾莎·瓦瑟尔 , 伯恩德·格罗鲍尔 , 亚历山大·普雷施纳 :
自动识别与NLP相关的配置。 115-116 巴斯蒂安·滕伯根 , 托尔斯滕·韦耶 :
生成审查模型以验证安全要求。 117-118 斯特芬·通克尔 , 斯特芬·赫伯德 :
探索缺陷预测模型的性能指标和成本节约潜力之间的关系。 119-120 托马斯·沃格尔 , Chinh Tran公司 , 拉尔斯·格伦斯克 :
为具有多样性的移动应用程序生成测试套件的综合经验评估-总结。 121-122 马克西米利安·沃尔特 , 罗伯特·海因里希 , 拉尔夫·H·罗伊斯纳 :
确认von Vertraulichkeits problemen mithilfe von Angriffsausbreitung auf Architektur。 123-124 劳拉·沃钦斯基 , 亚尼克·诺勒 , 托马斯·沃格尔 , 蒂莫·凯勒 , 拉尔斯·格伦斯克 :
Vudenc:基于Python自然代码库的深度学习漏洞检测-摘要。 第125页至第126页 马里恩·威斯 , 保拉·拉肖 , 马蒂亚斯·里比什 , 朱利安·施瓦兹 :
利用技术债务意识管理技术援助方案框架防止技术债务。 127-128 杰弗里·M·杨 , 保罗·马克西米利安·比特纳 , 埃里克·沃尔金肖 , 托马斯·图姆 :
变分可满足性求解:有效解决大量相关SAT问题-总结。 129-130 塔赫雷·佐迪纳萨布 , 文森佐·里奇奥 , 阿莱西奥·甘比 , 保罗·托内拉 :
DeepHyperion:通过照明搜索探索基于深度学习的系统的特征空间。 131-132
研讨会
克里斯托夫·韦斯 , 约翰内斯·凯基斯 :
Anforderungs企业系统管理-Projekten。 135-136 斯特凡·库格尔 , 拉尔斯·格伦斯克 :
第20届汽车软件工程研讨会(ASE’23)。 137-138年 比约恩·安妮霍夫 , 安德烈亚斯·施韦格 , 圣普莱恩 :
第五届航空电子系统和软件工程研讨会(AvioSE'23)。 139-140