首届拉丁美洲形式方法研讨会论文集
软件工程
2014-01-06 v1 计算机科学中的逻辑
摘要
软件开发的形式化方法是指基于数学基础，运用符号、分析过程等技术来开发高质量软件的方法。尽管传统上其目标在于提高软件的正确性，但形式化技术已被应用于软件质量的其他各个方面。此外，虽然最初的形式化方法采用复杂的“重量级”分析机制（通常是手动或半自动的），但目前已取得进展，转向采用“轻量级”且往往完全自动化的分析技术，从而拓宽了形式化方法在各种软件工程环境中的应用。拉丁美洲形式方法研讨会汇聚了从事形式化方法及相关领域（如自动化分析）的研究人员。特别是，该研讨会为从事这些领域的拉丁美洲研究人员提供了一个平台，以促进他们的互动与合作。本次研讨会于 8 月作为 CONCUR 2013 的卫星会议举行，地点位于阿根廷首都及最大城市布宜诺斯艾利斯，这也是南美洲最具文化魅力的地方之一。
引用
@article{arxiv.1401.0564,
title = {Proceedings First Latin American Workshop on Formal Methods},
author = {Nazareno Aguirre and Leila Ribeiro},
journal= {arXiv preprint arXiv:1401.0564},
year = {2014}
}