Como citar este artículo:
Rodolfo Quispe-Otazu. ¿Que son los Metodos Formales?. Blog de Rodolfo Quispe-Otazu [Internet]. Diciembre 2007. Disponible en: http://www.rodolfoquispe.org/blog/que-son-los-metodos-formales.php

Introduccion
La calidad del software es una de las problematicas mas importantes en los procesos de desarrollo de software. Garantizar el correcto funcionamiento bajo situaciones no determinadas es una tarea que tiene que ser realizada con cuidado [...]

La meta principal de la educación es crear hombres que sean capaces de hacer cosas nuevas no simplemente de repetir lo que tras generaciones han hecho; hombres que sean creativos, inventores y descubridores. La segunda meta de la educación es la de formar mentes que sean críticas, que puedan verificar y no aceptar todo lo [...]