将形式化方法融入传统软件开发实践：综述
软件工程
2016-04-01 v2
摘要
本文概述了一项在墨西哥将形式化方法融入流行软件开发实践的研究项目。文章仅展示了关于方法和实践的调查的主要结果，并概述了将轻量级形式化方法应用于需求规格说明和软件建模的初步实践提案。
引用
@article{arxiv.1412.3504,
title = {Integrating formal methods into traditional practices for software development: an overview},
author = {Carlos Alberto Fernandez-y-Fernandez},
journal= {arXiv preprint arXiv:1412.3504},
year = {2016}
}
备注
Encuentro Nacional de Ciencias de la Computacion: Investigacion y Aplicacion de la Ingenieria de Software. Oaxaca, Mexico. ISBN 978-0-9908236-0-5