Integrating formal methods into traditional practices for software development: an overview
Software Engineering
2016-04-01 v2
Abstract
This paper shows an overview of a research project for integrating formal methods in popular practices for software development in Mexico. The article shows only the main results from the survey about methods and practices and an overview of the initial proposal of practices applying lightweight formal methods to requirements specification and software modelling.
Keywords
Cite
@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}
}
Comments
Encuentro Nacional de Ciencias de la Computacion: Investigacion y Aplicacion de la Ingenieria de Software. Oaxaca, Mexico. ISBN 978-0-9908236-0-5