Metodos formales orientados a objetos

• Autores: José Miguel Cañete Valdeón, Francisco José Galán Morillo
• Localización: Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 165, 2003 (Ejemplar dedicado a: Teleaprendizaje. E-Learning), págs. 62-64
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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