Análisis: Especificación del Comportamiento del Sistema. Contratos de Software