When theory meets practice: enriching the CS curriculum through industrial case studies | IEEE Conference Publication | IEEE Xplore