Resumen de Metodos formales orientados a objetos

José Miguel Cañete Valdeón, Francisco José Galán Morillo

• los métodos formales constituyen una herramienta esencial en el desarrollo de sistemas software de alta precisión. La consolidación del paradigma Orientado a Objetos ha contribuido al desarrollo de métodos formales orientados a objetos. El objetivo de este artículo es describir de forma resumida el estado del arte de los métodos más importantes