Integrating formal methods into traditional practices for software development: an overview
This addresses the problem of improving software development practices for practitioners in Mexico, but it is incremental as it builds on existing formal methods.
The paper tackles the integration of formal methods into software development practices in Mexico, presenting survey results and an initial proposal for applying lightweight formal methods to requirements specification and software modeling.
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.