2014年第10届QoSA:法国里尔Marcq en Baroeul
莱昂内尔·桑图利尔 , 托马斯·布雷斯 , 约翰·麦格雷戈 :
QoSA’14,第十届国际ACM SIGSOFT软件架构质量会议论文集(CompArch 2014的一部分),Marcq-en-Baroeul,法国里尔,2014年6月30日至7月4日。 ACM公司 2014 ,国际标准图书编号 978-1-4503-2576-9
主题演讲
贝特朗·梅耶 :
信任还是验证? 1-2
架构的性能
亚历山大·沃特 , 马吕斯·奥勒 , 克里斯托夫·海格 , 鲁兹贝·法拉博德 :
组件间通信中性能反模式的自动检测。 3-12 詹姆·查瓦里亚加 , 卡洛斯·诺格拉 , 鲁比·卡萨勒斯 , Viviane Jonckers公司 :
云计算提供商的架构策略支持:jelastic案例。 13-22 Leire Etxeberria公司 , 卡蒂亚·特鲁比亚尼 , 维托里奥·科尔泰莱萨 , Goiuria Sagardui公司 :
参数不确定性下基于性能的软件和硬件功能选择。 23-32
性能建模
迭戈·佩雷斯-帕拉辛 , 拉斐拉·米兰多拉 :
处理软件系统性能建模中的不确定性。 33-42 蒂杰门·德古伊耶(Thijmen de Gooijer) , K.埃里克·哈珀 :
具有为多核工业实时系统建模内存争用的经验。 43-52 安德烈亚斯·布伦纳特 , 基利安·维舍尔 , 赫尔穆特·克马尔 :
使用架构级性能模型作为企业应用程序的资源配置文件。 53-62
架构(Architecture)评估
哈维尔·卡马拉 , 佩德罗·科雷亚 , 罗杰里奥·德莱莫斯 , 马可·维埃拉 :
基于体系结构的自适应软件系统的经验弹性评估。 63-72 米科·拉提凯宁 , 朱哈·萨沃莱宁 , 托米·蒙尼斯托 :
成熟产品中的体系结构管理和评估:来自轻量级方法的经验。 73-82 巴博拉·布诺娃 , 斯坦尼斯拉夫·克伦 , 露西·法布里科娃 :
可靠性预测模型的失效数据收集:一项调查。 83-92
架构分析I
肯尼思·约翰逊 , Radu Calinescu公司 :
针对不断发展的软件架构,高效地重新解析SMT规范。 93-102 安德烈亚斯·约翰森 , 克里斯蒂娜·隆德奎斯特 , 保罗·佩特森 , 卡杰·哈尼宁 :
通过系统依赖图的切片对AADL模型进行回归验证。 103-112 托比亚斯·奥尔森 , 丹尼尔·托尔 , 安娜·温奎斯特 , 摩根爱立信 :
评估一系列计算机游戏中的静态架构一致性检查方法。 113-118
架构分析II
李增阳 , 彭亮 , 巴黎Avgeriou , 尼古拉斯·盖尔菲 , 阿波斯托洛斯·安帕佐格鲁 :
用于指示架构技术债务的模块化度量的实证研究。 119-128 Yanja Dajsuren公司 , 克里斯汀·格菲德 , 亚历山大·塞雷布雷尼克 , 安东·威伊斯 , 博格丹·瓦西列斯库 , Mark G.J.van den Brand公司 :
形式化汽车结构视图的通信规则。 129-138 拉妮娅·姆齐德 , 乔克里·姆拉迪哈 , Jean-Philippe巴布 , 穆罕默德·阿比德 :
SRMP:实时并发模型中防止死锁的软件模式。 139-144
教程
拉菲拉·米兰多拉 , 迭戈·佩雷斯-帕拉辛 :
通过自适应和形式化模型增强软件QoS。 145-146 弗朗索瓦·福奎 , 格里戈里·奈恩 , 埃尔万·道伯特 , 约翰·布切尔 , 奥利维尔·巴拉伊斯 , 诺埃尔·普卢佐 , 布赖斯·莫兰 :
使用kevoree设计和发展分布式体系结构。 147-148