EXPLORACIÓN FORMAL E INTERVENCIÓN DEL CUBO. Método de diseño formal para ciclo básico de arquitectura