Logic-Driven Learning: An Interactive Video Game to Foster Software Engineering | IEEE Conference Publication | IEEE Xplore