2013年第39届欧洲微创博览会：西班牙桑坦德
Onur Demirörs公司 , Oktay Tur retken公司 :
2013年9月4日至6日，第39届Euromicro软件工程与高级应用会议，SEAA 2013，西班牙桑坦德。 IEEE计算机学会 2013 ，国际标准图书编号 978-0-7695-5091-6
软件过程和产品改进（SPPI）
SPPI-1： 精益和敏捷流程
亨利克·琼森 , 斯蒂格拉尔森 , 萨西库马尔·蓬内卡特 
:
为精益软件开发综合框架。 1-8 穆罕默德·奥维斯·艾哈迈德 , 朱妮·马克库拉 , 马克库·奥沃 :
软件开发中的看板：系统文献综述。 9-16
SPPI-2： 提高开发质量和测试
格里沙·利贝尔 , 埃米尔·艾尔·格罗斯 , 罗伯特·费尔特 :
基于GUI的系统和验收测试的实践现状：一个工业多案例研究。 17-24 阿克拉姆·阿朱利 , 朱利安·科恩 , Jean-Claude Royer女士 :
Java中复合实现和访问者实现之间的转换。 25-32 Adnan Causevic公司 , 萨西库马尔·蓬内卡特 , 丹尼尔·桑德马克 :
TDDHQ：在测试驱动开发中实现更高质量的测试。 33-36
SPPI-3： 工艺改进的应用
伊丽莎白·比亚纳森 , 安妮·赫斯 , 约格·多尔 , 比约恩·雷格内尔 :
基于证据的时间线回顾法的变化：两个案例的比较。 37-44 阿洛伊斯·迈尔 , Reinhold Plösch , 马蒂亚斯·萨夫特 :
IEC 61508-3背景下的安全客观测量。 45-52 马提亚斯图书 , 西蒙·格雷彭辛 , 沃尔克·格鲁恩 :
传统数据结构的风险感知迁移。 53-56 哈姆泽·埃亚尔·萨勒曼 , 阿卜杜勒哈克·贾梅尔·斯里艾 , 克里斯托夫·多尼 :
传统软件变体中的功能到代码可跟踪性。 57-61
SPPI-4： MesVAM（度量作为软件价值管理的策略
罗伯特·费尔特 , 米罗斯瓦夫·斯塔龙 , 埃里卡·霍尔特 , 托马斯·利尔杰格伦 :
支持软件决策会议：可视化测试和代码测量的热图。 62-69 吉尔根·穆奇 , 费边·法格霍姆 , 佩特里·凯特南 , 最大页面数 , 贾里·帕塔南 :
在系统产品开发组织中应用GQM+战略的经验和见解。 70-77 阿里·沙赫罗尼 , 罗伯特·费尔特 :
安全关键软件系统质量要求的行业挑战。 78-81
SPPI-5： 重用和演化过程
海伦娜·霍姆斯特伦·奥尔森 , 扬·博世 , 希瓦·阿拉哈里 :
大规模嵌入式系统敏捷演化的客户特定团队。 82-89 艾曼纽尔·鲁伊莱 , 贝诺？t组合 , 奥利维尔·巴拉伊斯 , 大卫·图泽特 , Jean-Marc Jézéquel女士 :
提高软件过程线的可重用性。 90-93 弗里茨·斯泰林格 , 罗伯特·诺伊曼 :
基于产品线的软件企业创新系统定制框架。 94-97
基于模型的开发、组件和服务（MOCS）
MOCS-1： 模型驱动开发I
杰西卡·迪亚斯 , 詹妮弗·佩雷斯 , 卡洛斯·费尔南德斯·桑切斯 , 胡安·加巴约萨 :
从产品线架构模型到AspectJ的模型到代码转换。 98-105 阿斯马·S·阿莱德 , 刘恭桥 , 彼得·斯蒂芬 , Cuong M.Tran公司 :
面向基于组件的领域工程。 106-113
MOCS-2： 模型驱动开发II
大卫·迪·鲁西奥 , 卢多维科·伊奥维诺 , 阿方索·皮兰托尼奥 :
管理元模型和文本具体语法规范的耦合演化。 114-121 彼得·达尔斯加德 , 蒂鲍特·勒吉利 , 丹尼尔·米德尔赫德 , 彼得·奥尔森 , 托马斯·佩德森 , 安德斯·拉文 , 阿恩·斯库 :
家庭自动化控制器开发的工具链。 122-129 托马斯·布赫曼 , 伯恩哈德·韦斯特费特尔 :
使用模型转换实现增量往返工程。 130-133 比拉尔·卡拉斯内 , 米歇尔·乔德伦 :
Img2UML：从图像中提取UML模型的系统。 134-137
MOCS-3： 模型分析和解释
费里尔·本·阿卜杜拉 , 卢多维克·阿普维尔 :
使用DIPLODOCUS快速评估嵌入式系统的功耗。 138-144 卡米尔·杰泽克 , 卢卡斯神圣 , 安东尼·斯莱扎切克 , 普雷梅克·布拉达 :
基于静态字节码分析的软件组件兼容性验证。 145-152 费德里科·西科齐 , 安东尼奥·西切蒂 , 米凯尔·舍丁 :
面向基础UML动作语言的转换执行。 153-160
MOCS-4： 体系结构演变
MOCS-5： 架构（Architecture）建模
默特·奥兹卡亚 , 克里斯托斯·克鲁基纳斯 :
我们还在吗？ 分析体系结构描述语言的形式化分析、可用性和可实现性。 177-184 何塞·米盖尔·霍卡斯 , 莫尼卡·平托 , 利迪亚·富恩特斯 :
质量属性的可变性和依赖性建模。 185-188 盖塔纳·萨皮恩扎 , 蒂贝里乌·塞塞莱亚努 , 伊维卡·克伦科维奇 :
基于多属性的硬件和软件分区建模。 189-194
嵌入式软件工程（ESE）
环境与环境-1： 基于模型的开发
帕特里夏·洛佩斯·马丁内斯 , 何塞·玛丽亚·兰扎 , 何塞·M·德雷克 , 迈克尔·冈萨雷斯港 :
面向时序行为模型生成的Java公司实时系统设计框架。 195-202 刘恭桥 , 彼得·斯蒂芬 , Cuong M.Tran先生 , 塞巴斯蒂安·萨德雷斯 , 博尔扬·查卡洛夫 :
AUTOSAR设计的整体（基于组件）方法。 203-207 丹尼斯·C·菲奥克 , 詹姆斯·H·希尔 :
使用基于组件的中间件设计和实现数据分发服务（DDS）系统。 208-211
欧洲环境标准-2： 分析和编程
理查德·李 , 萨马尔·阿卜迪 , 弗雷德里克·里萨赫 :
流式嵌入式应用程序的早期准确建模。 212-219 阿提斯·埃尔斯 , 贾尼斯·朱德瓦炎 , 利奥·塞拉沃 :
SEAL：一种面向新手无线传感器网络程序员的领域专用语言。 220-227 马汉茂 , 伯恩哈德·温克勒 , 安德烈亚·莱特纳 , 亚历山大·泰勒 , 马丁·西夫兰 , 丹尼尔·瓦泽尼（Daniel Watzenig） :
调查非应急/应急安全措施对ASIL测定的影响。 228-231 Ø伊文德·荷兰 , 阿蒙德·斯卡夫豪格 :
软件模块实时目标：通过将Simulink生成的代码包含到现有代码中来改进嵌入式控制系统的开发。 232-235
欧洲环境标准-3： 需求工程
格列戈兹·罗涅夫斯基 , 艾蒂安·博德 , 多米尼克·布劳因 , 埃米利奥·因斯凡 :
嵌入式系统开发的模型驱动需求工程。 236-243 罗纳德·沃尔夫斯 , 蒂贝里乌·塞塞莱亚努 :
嵌入式系统设计流程：集成需求编写和设计工具。 244-251 周嘉乐 , 岳麓 , 克里斯蒂娜·隆德奎斯特 :
一种基于上下文的信息检索技术，用于恢复嵌入式软件系统中的使用-源代码跟踪链接。 252-259
欧洲环境标准-4： 形式化方法
罗兰·沙茨 , 赫伯特·普拉霍弗 :
可编程逻辑控制器反应行为模型的跟踪引导综合。 260-267 贾加迪什·苏里亚德瓦拉 :
使用UPPAAL验证EAST-ADL时间约束。 268-275
软件管理（SM）
SM-1型
SM-2： EsPreSSE公司： 软件与系统工程中的估计与预测
克里斯蒂安·海斯杰克尔 , 迈克尔·费尔德勒 , 鲁思·布鲁 :
RisCal-用于软件工程目的的风险评估工具。 292-299 德克·特兹拉夫 , 萨宾·格莱斯纳 :
使用机器学习实现热点优化的循环迭代计数的静态预测。 300-307 塞姆拉·伊尔马兹·塔斯金 , 优素福·穆拉特·埃尔滕 , Semih Bilgen公司 :
基于灰色度量的软件产品复杂度估计。 308-312 德里亚·托卡 , Oktay Tur retken公司 :
当代参数化软件估算模型的准确性：比较分析。 313-316
SM-3型
尼古拉·米塔斯 , 左翼天使 :
软件成本模型的高估和低估：可视化评估。 317-324 米罗斯瓦夫·斯塔龙 , 威廉·梅丁 , 克里斯托夫·霍格伦德 , 彼得·埃里克森 , 尼尔森 , 约根·汉森 :
使用源代码变化波的度量来识别隐含的体系结构依赖性。 325-332
SM-4型
皮纳尔·伊夫 , Onur Demirörs公司 :
在软件公司中应用EVM：好处和困难。 333-340 朱塞佩·斯坎尼略 , 菲利波·里卡 , 马可·托奇亚诺 , 卡米娜·格拉维诺 , 吉安娜·雷吉奥 :
估算开发屏幕模型的工作量。 341-348 露西娅·德马科 , 菲洛梅娜·费鲁奇 , 卡米娜·格拉维诺 :
估算COSMIC大小以早期估算Web应用程序开发工作量。 349-356
云软件
CS-1： 云软件
Fahimeh Farahnakian公司 , 帕西·利尔杰贝格 , 朱哈·普洛西拉 :
LiRCUP：用于数据中心虚拟机实时迁移的基于线性回归的CPU使用预测算法。 357-364 法里德·乔基奥 , 阿德南·阿什拉夫 , 塞巴斯蒂安·拉丰德 , 约翰·利利乌斯 :
云中低成本视频转码的计算和存储权衡策略。 365-372 约阿希姆·戈泽 , 蒂诺·弗莱伦 , 伯恩德·鲁瑟 , 保罗·米勒 :
跨多个云基础设施的基于策略的使用会计自动化模型。 373-380
CS-2： 云中的科学工作流
蒂诺·弗莱伦 , 约阿希姆·戈泽 , 保罗·米勒 :
使用参数化工作流框架促进科学工作流配置。 381-388 马蒂亚斯·贾涅茨切克 , 西蒙·奥斯特曼 , 拉杜·普罗丹 :
将科学工作流引入亚马逊SWF。 389-396
可靠嵌入式和网络物理系统的教学、教育和培训研讨会[ERCIM/ARTEMIS/EUROMICRO]
TET-DEC-1测试
萨西库马尔·蓬内卡特 :
采用基于组件的软件开发范式进行高效嵌入式系统教育。 397-401 米伦·伊拉拉门迪·雷萨瓦尔 , Leire Etxeberria Elorza公司 , Xabier Elkorobarrutia Letona公司 :
安全关键系统中的重用：教育用例。 402-407
TET-DEC-2公司
迈克尔·利帕切夫斯基 , 弗兰克·奥特米耶 :
安全关键系统的正式教学和培训方法。 408-413 埃尔文·肖奇 , 阿蒙德·斯卡夫豪格 :
欧洲关于可靠嵌入式和网络物理系统教学、教育和培训的观点。 414-423
