Sistema basado en conocimiento para verificar la trazabilidad de requisitos de un sistema de software