SPLC 2015年:美国田纳西州纳什维尔
道格拉斯·施密特 :
2015年7月20日至24日在美国田纳西州纳什维尔举行的第19届软件产品线国际会议记录,SPLC 2015。 ACM公司 2015 ,十亿 978-1-4503-3613-0
研究论文
纪尧姆·贝肯 , 拉齐埃·贝贾蒂 , 阿尔诺·哥特利布 , 马修·阿切尔 :
从产品描述合成属性特征模型。 1-10 莫里斯·特尔·比克 , Axel Legay公司 , 阿尔贝托·卢奇·拉富恩特 , 安德烈·范丁 :
定量约束下软件产品线概率模型的统计分析。 11-15 托尔斯滕·伯杰 , 丹妮拉·莱特纳 , 朱莉娅·鲁宾 , 保罗·格伦巴赫 , 阿德琳·席尔瓦 , 马丁·贝克尔 , 玛莎·契契克 , 克日什托夫·沙内基(Krzysztof Czarnecki) :
什么是功能?: 工业软件产品线特征的定性研究。 16-25 马克西姆·科尔迪 , Jean-Marc Davril女士 , 乔尔·格林耶 , 埃里卡·格雷西 , 帕特里克·海曼斯 :
根据基于场景的产品线规范一次性合成控制器。 26-35 乔·博斯科·费雷拉·菲略 , 西蒙·阿利尔 , 奥利维尔·巴拉伊斯 , 马修·阿切尔 , Benoit Baudry公司 :
评估应用于Java源代码的产品线派生操作符:一项实证研究。 36-45 Jaime字体 , 洛伦娜·阿塞加 , Ø伊斯汀·豪根 , 卡洛斯·塞蒂纳 :
从概念化模型模式构建软件产品线。 46-55 乔治·海尼曼 , Armend Hoxha公司 , 鲍里斯·杜德尔 , 雅各布·雷霍夫 :
转向迁移面向对象的框架,以实现产品线成员的合成。 56-60 《文宾记》 , 托尔斯滕·伯杰 , 米查尔·安奇维茨 , 克日什托夫·沙内基(Krzysztof Czarnecki) :
使用嵌入式注释维护特征可追溯性。 61-70 托马斯·库恩 , 沃尔特·卡佐拉 , 迭戈·马蒂亚斯·奥利瓦雷斯 :
选择性和挑剔性:语言产品线的配置。 71-80 雷莫·拉赫曼 , 萨沙·利蒂 , 萨布丽娜·利什克 , 西蒙·贝迪格 , 桑德罗·舒尔茨 , 伊娜·谢弗 :
面向增量的测试用例优先级,用于软件产品线的集成测试。 81-90 贾慧(Jimmy)Liang , 维杰·加内什 , 克日什托夫·沙内基(Krzysztof Czarnecki) , 文卡特斯·拉曼 :
基于SAT的大型真实世界特征模型分析很容易。 91-100 贾比尔·马丁内斯 , 图菲克·齐亚迪 , TegawendéF.Bissyandé , 雅克·克莱恩 , 伊夫·勒特朗 :
自下而上采用软件产品线:一种通用和可扩展的方法。 101-110 莱蒂西娅·蒙塔维略 , 奥斯卡·迪亚斯 :
针对SPL开发调整GitHub:为产品工程师提供分支模型和存储库操作。 111-120 胡安·穆尼奥斯·费尔南德斯 , 加布里埃尔·塔穆拉 , 伊琳娜·雷库 , 劳尔·马佐 , 卡米尔·萨利内西 :
REFAS:一种用于模拟自适应系统需求的PLE方法。 121-125 克莱门特·昆顿 , 瑞克·拉比塞 , 迈克尔·维埃豪塞 , 保罗·格伦巴赫 , 卢西亚诺·巴雷西 :
动态软件产品线的演变:挑战和前景。 126-130 丹尼斯·鲁林 , 约翰内斯·伯德克 , 谢尔盖·罗塔梅尔 , 马尔特·洛肖 , 乌多·凯尔特 :
基于故障的产品线测试:基于特征-图突变的有效样本生成。 131-140 伯恩哈德·伦普 , 克里斯托夫·舒尔茨 , 迈克尔·冯·温克斯特恩 , 简·奥利弗·林格特 , 彼得·曼哈特 :
用于产品线维护和进化的simulink模型的行为兼容性。 141-150 萨布丽娜·索托 , 迪维亚·戈皮纳特 , 马塞洛·阿莫林 , 达科·马里诺夫 , 萨尔夫拉兹·库希德 , 唐·S·巴托里 :
对功能模型不完整的软件产品线进行更快的错误检测。 151-160 利奥波多·特谢拉 , 范德阿尔维斯 , 保罗·博尔巴 , 罗希特·盖伊 :
用于推理产品线安全演变的理论产品线。 161-170 利奥波多·特谢拉 , 保罗·博尔巴 , 罗希特·盖伊 :
产品群体和多产品线的安全演变。 171-175 古斯塔沃山谷 , 丹妮洛·阿伯克基 , 爱德华多·菲格雷多 , 亚历山德罗·加西亚 :
定义软件产品线的度量阈值:一项比较研究。 176-185 帕维尔·瓦洛夫 , 郭建美 , 克日什托夫·沙内基(Krzysztof Czarnecki) :
变量感知性能预测回归方法的实证比较。 186-190
愿景文件
纳迪姆·阿巴斯 , 杰斯珀·安德森 :
利用自适应软件系统产品线的可变性。 191-200 Deepak Dhungana公司 , 安德烈亚斯·福克纳 , 阿洛伊斯·哈泽尔伯克 , 赫维格·施莱纳 :
智能工厂产品线:智能生产生态系统的配置视角。 201-210 迪米特里·范·兰杜特 , 斯特凡·沃尔文 , 沃特·乔森 :
多租户SaaS应用程序的可变中间件:服务线的研究路线图。 211-215
行业报纸
詹姆·查瓦里亚加 , 卡洛斯·兰赫尔 , 卡洛斯·诺格拉 , 鲁比·卡萨勒斯 , Viviane Jonckers公司 :
使用多个特征模型指定变压器的配置选项:经验报告。 216-224 多米尼克·多米斯 , 拉斯穆斯·阿德勒 , 马丁·贝克尔 :
使用基于商业UML的工具集成可变性和安全性分析模型。 225-234 迈克尔·卡梅耶 , 舒尔策 , 马库斯·舒里乌斯 :
支持对汽车功能的可变性和安全性进行系统变更影响分析的过程。 235-244 拉里·麦克沃伊 :
BitKeeper的初步产品线支持。 245-252 萨钦·帕特尔 , 维普尔·沙阿 :
使用可变性语言对软件即服务配置进行自动化测试。 253-262 凯伦·斯迈利 , 沃纳·施密特 , 阿尔多·达尼诺 :
发展工业分析产品线架构。 263-272
系统工程论文
艾托·阿列塔 , Goiuria Sagardui公司 , Leire Etxeberria公司 :
用于验证网络物理系统产品线的测试控制算法。 273-282 苗芳 , 乔治·莱赫 , 约格·多尔 , 克里斯托夫·埃尔斯纳 , 赵晶晶 :
面向工业自动化领域中基于模型的系统推导。 283-292 杰苏斯·帕迪拉·盖塔 , 克日什托夫·沙内基(Krzysztof Czarnecki) :
在SysML中对航空航天系统产品线进行建模。 293-302 苏珊·格雷格 , 里克·沙拉丁 , 保罗·克莱门茨 :
你做的越多,节省的越多:系统产品线工程的超线性成本规避效应。 303-310 洛塔尔·霍茨 , 王一波 , 马蒂亚斯·里比什 , 奥拉夫·戈茨 , 约瑟夫·拉克霍夫 :
可变自动化系统的多视图评估。 311-315 查尔斯·克鲁格 :
机械产品生命周期管理符合产品线工程。 316-320 莫里斯·特尔·比克 , 亚历山德罗·范特奇 , 斯蒂芬妮娅·格内西 :
将产品线范式应用于集体适应系统的定量分析。 321-326 莱恩·沃兹尼亚克 , 保罗·克莱门茨 :
汽车工程如何将产品线工程发挥到极致。 327-336 陶月 , 肖卡特·阿里 , 布兰·塞利克 :
网络物理系统产品线工程:综合领域分析和经验报告。 338-347
博士研讨会
阿尔切米尔·罗德里格斯·桑托斯 :
了解混合SPL组合对SPL重构的影响。 348-351
工具和演示
达尼洛·比奇 , 罗伯特·海列布兰 :
在产品线生命周期中使用pure::变量。 352-354 西蒙迪可乐 , 刘恭桥 , Cuong M.Tran先生 , 陈倩 :
用于定义具有明确变化点的软件产品系列的MDE工具。 355-360 托马斯·德格勒 , 乔·博斯科·费雷拉·菲略 , 奥利维尔·巴拉伊斯 , 马修·阿切尔 , 杰罗姆·勒诺尔 , 塞巴斯蒂安·马德莱纳特 , 格里戈里·盖利亚德 , 戈德弗里·伯乐 , 奥利维尔·常数 :
系统工程中对可变性和架构模式的工具支持。 361-364 霍尔格·艾切尔伯格 , 克劳斯·施密德 :
IVML:在可变丰富的软件生态系统中用于配置的DSL。 365-369 埃迪波·路易斯·费德勒 , 蒂亚戈·多纳西门托·费雷拉 , 塞尔玛·埃利塔·科兰齐 , 西尔维娅·里贾娜·维吉利奥 :
OPLA-tool:基于搜索的产品线架构设计的支持工具。 370-373 劳尔·马佐 , 胡安·穆尼奥斯·费尔南德斯 , 路易莎·林科恩 , 卡米尔·萨利内西 , 加布里埃尔·塔穆拉 :
VariaMos:用于工程(动态)产品线的可扩展工具。 374-379 安纳托利·瓦西列夫斯基 , Ø伊斯汀·豪根 , 弗兰克·乔维尔 , 马丁·费格伦·约翰森 , Daisuke Shimbara公司 :
支持产品线工程的BVR工具包。 380-384
教程
马丁·贝克尔 , 张波(音译) :
精益差异管理:通过多元化方法增加业务价值。 385 达尼洛·比奇 :
管理特征模型的可变性。 386 达尼洛·比奇 :
管理产品线中的要求。 387 查尔斯·克鲁格 , 保罗·克莱门茨 :
第二代系统和软件产品线工程。 388-389 克劳斯·施密德 , 霍尔格·艾切尔伯格 :
EASy-Producer:从产品线到可变丰富的软件生态系统。 390-391 布鲁斯·查斯克 , 天使罗马人 :
在软件产品线体系结构中利用模型驱动工程。 392
研讨会
雅各布·雷霍夫 , 乔治·海尼曼 :
产品线的模块化合成(ModSyn-PL)。 393 罗伯托·洛佩兹·赫雷洪(Roberto E.Lopez-Herrejon) , 图菲克·齐亚迪 , 贾比尔·马丁内斯 , 阿尼尔·库马尔·图瑞梅拉 , 马修·阿切尔 :
第三届逆向可变工程国际研讨会(REVE 2015)。 394 吉尔斯·佩鲁因 , Axel Legay公司 :
SPLat 2015:软件产品线分析工具第二次国际研讨会。 395 马修·阿切尔 , 罗伯托·洛佩兹·赫雷洪(Roberto E.Lopez-Herrejon) , 瑞克·拉比塞 :
SPLTea 2015:第二届软件产品线教学国际研讨会。 396 亚历山大·迪莫夫斯基 , 艾哈迈德·萨利姆·西巴希 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
使用离线模型检查器进行基于系列的模型检查:扩展抽象。 397 鲍里斯·杜德尔 , 雅各布·雷霍夫 , 乔治·T·海涅曼 :
在面向特征的软件设计中使用分阶段合成合成类型安全合成。 398-401 阿莱西奥·法拉利 , 乔治·奥伦佐·斯帕格诺洛 , 斯蒂芬妮娅·格内西 , Felice Dell'Orletta女士 :
CMT和FDE:弥补自然语言文档和功能图之间差距的工具。 402-410 Jaime字体 , 曼努埃尔·巴拉林 , Ø伊斯汀·豪根 , 卡洛斯·塞蒂纳 :
通过通用可变性语言自动化模型族的可变性形式化。 411-418 伊桑·T·麦基 , 约翰·麦格雷戈 :
网络物理系统的防错体系结构组成。 419-426 伯恩哈德·斯特芬 , 安娜·莱娜·兰普雷希特 , 蒂齐亚娜·玛格丽亚 :
用户级综合:将产品线视为约束系统。 427-431 莫里斯·特尔·比克 , 亚历山德罗·范泰奇 , 斯蒂芬妮娅·格内西 , 弗朗科·马扎蒂 :
使用FMC进行基于家庭的软件产品线分析。 432-439