Integrating formal methods into traditional practices for software development: an overview

TL;DR

This paper provides an overview of a research project that integrates lightweight formal methods into traditional software development practices in Mexico, highlighting survey results and initial proposals.

Contribution

It introduces a novel approach to incorporate lightweight formal methods into existing software development practices, tailored for the Mexican context.

Findings

Survey results on current methods and practices

Initial proposal for integrating formal methods

Potential improvements in software quality

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.