1 Parcial de Metodos Formales para Ingenieria de Software