第 10 届软件组件与架构形式化工程方法国际研讨会论文集
软件工程
2013-02-21 v1
摘要
本文收录了第 10 届软件组件与架构形式化工程方法国际研讨会（FESCA）的论文集。该研讨会于 2013 年 3 月 23 日在意大利罗马举行，是欧洲软件理论与实践联合会议（ETAPS'13）的卫星会议。FESCA 研讨会的宗旨是汇聚来自形式化方法、软件工程及工业界的青年与资深研究人员，共同探讨形式化建模方法及其相关分析与推理技术的开发与应用，以期为基于组件的软件工程带来实际效益。FESCA 致力于解决形式化方法如何有效应用于这些新语境与挑战这一开放性问题。FESCA 关注基于组件开发中形式化方法的开发与应用，并力求促进其研究与应用的交叉融合。
引用
@article{arxiv.1302.4780,
title = {Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures},
author = {Barbora Buhnova and Lucia Happe and Jan Kofroň},
journal= {arXiv preprint arXiv:1302.4780},
year = {2013}
}