CASE: La automatización del software libro de segunda mano