第13届软件构件与体系结构形式化工程方法国际研讨会会议录
软件工程
2016-03-29 v1
摘要
FESCA研讨会的宗旨是将形式化方法、软件工程和工业界中关注形式化建模方法及其相关分析与推理技术开发的青年研究人员聚集在一起，这些技术对软件工程具有实际益处。近年来，功能正确性的日益重要以及系统质量属性（如性能、可靠性、安全性）相关性的增强，刺激了用于软件系统设计与开发的分析与建模技术的出现。随着当今软件系统复杂性和利用率的增加，FESCA旨在解决两个研究问题：（1）软件设计阶段在系统性应对分析与建模挑战中扮演什么角色；（2）如何有效应用形式化与半形式化技术使问题更易自动处理，减少人工干预。我们鼓励提交关于（半）形式化技术及其应用的稿件，这些技术有助于软件应用的分析、设计与实现，特别是那些用于互联通信设备、与物理世界交互的设备以及信息物理系统(cyber-physical systems)中的软件应用。
引用
@article{arxiv.1603.08371,
title = {Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures},
author = {Jana Kofroň and Jana Tumova and Bara Buhnova},
journal= {arXiv preprint arXiv:1603.08371},
year = {2016}
}