可在www.sciencedirect.com在线获取理论计算机科学电子笔记295（2013）1-2www.elsevier.com/locate/entcs前言本卷包含第9届软件组件和体系结构形式工程方法国际研讨会（FESCA）的会议记录该研讨会于2012年3月31日在塔林（爱沙尼亚）举行，作为欧洲软件理论与实践联合会议（ETAPS'12）的卫星活动FESCA研讨会的目的是将来自正式方法、软件工程和工业界的年轻和高级研究人员聚集在一起，这些研究人员对正式建模方法的开发和应用以及相关的分析和推理技术感兴趣，这些技术对基于组件的软件工程在过去的十年里，基于敏捷的软件设计在工业界和学术界都受到了相当大的关注近年来，对值得信赖的软件系统的需求不断增长，系统质量属性（如可靠性、性能和可伸缩性）的相关性不断提高，这刺激了用于规范和实现基于组件的软件体系结构的形式化技术和体系结构建模方法的出现。两者都必须处理软件系统日益复杂的问题，这对分析方法和建模技术提出了挑战。FESCA旨在解决如何有效地将正式方法应用于这些新的背景和挑战的开放问题FESCA对基于组件的开发中形式化方法的开发和应用都很感兴趣，并试图交叉研究和应用。2004年至2011年ETAPS期间举办的FESCA研讨会收到了高质量的参赛作品，并吸引了许多知名的演讲嘉宾，包括Raf- faela Mirandola（意大利米兰理工大学电子和信息学院）、Rolf Hennicker（德国慕尼黑Heitmeyer（美国海军研究实验室）、Manfred Broy（德国慕尼黑工业大学）、Jose LuizFiadeiro（英国莱斯特大学）、Frantisek Plasil（捷克共和国查尔斯大学）、Martin Wirsing（德国慕尼黑工业大学）和Ijorge Cerna（捷克共和国马萨里克大学）。FESCA'12的计划委员会由以下人员1571-0661 © 2013由Elsevier B. V.出版，CC BY-NC-ND许可下开放获取。http://dx.doi.org/10.1016/j.entcs.2013.04.0012理论计算机科学中的电子笔记295（2013）1-2• Istanbul Cerna（捷克共和国马萨里克大学）• Jens Happe（SAP Research，Germany）• Ludovic Henrio（法国国家科学研究中心）• Holger Hermanns（University des Saarlandes，Germany）• Petr Hnetynka（捷克共和国布拉格查尔斯大学）• Samuel Kounev（德国卡尔斯鲁厄理工学院• Heiko Koziolek（ABB Research Ladenburg，德国）• RalfKüsters（德国UniversittTrier）• Markus Lumpe（澳大利亚斯威本科技大学）• Ra Ravaela Mirandola（Politecnico di Milano，意大利）• CristinaSeceleanu（MüalardalenUniversity，Sweden）• Dennis Westermann（SAP Research，德国）• Ste Eschen Zschaler（英国伦敦国王这些论文由项目委员会和几位外部评审员评审，他们的帮助是感激的。ENTCS通过Elsevier Science B.V.的设施并在其赞助下以电子方式出版。我们感谢ENTCS的持续支持。FESCA第八次作为ETAPS的卫星活动组织。我们非常感谢ETAPS的组织者，特别是Keiko Nakata，感谢他们照顾所有的当地组织，并满足我们所有的特殊要求。BarboraBuhnovaLucia（Kapova）Happe扬·科夫龙
我的内容管理
展开
