Cited By
View all- Heym WSivilotti PBucci PSitaraman MPlis KHollingsworth JKrone JSridhar N(2017)Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T)10.1109/CSEET.2017.40(202-211)Online publication date: Nov-2017
- Cook CDrachova SHallstrom JHollingsworth JJacobs DKrone JSitaraman MLapidot TGal-Ezer JCaspersen MHazzan O(2012)A systematic approach to teaching abstraction and mathematical modelingProceedings of the 17th ACM annual conference on Innovation and technology in computer science education10.1145/2325296.2325378(357-362)Online publication date: 3-Jul-2012
- Roumani H(2006)Practice what you preachACM SIGCSE Bulletin10.1145/1124706.112149538:1(491-494)Online publication date: 3-Mar-2006
- Show More Cited By