  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.
