Especificar formalmente el diseño del sistema, esto incluye su descomposición en subsistemas o módulos, la interacción entre las partes, y los datos que maneja el sistema.