1 Ingeniería del Software 2002 Fase de análisis Análisis en el PUD Diagramas de secuencia del sistema Contratos Object Constraint Language (OCL)