Refactoring de algunos documentos

Algunas especificaciones de casos de prueba y IHS