Revisión del diseño y trazabilidad en sistemas computarizados