IBM Bob Hackathon team: Spec-to-Ship