Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions
Heym, Wayne, Sivilotti, Paolo A. G., Bucci, Paolo, Sitaraman, Murali, Plis, Kevin, Hollingsworth, Joseph E., Krone, Joan, Sridhar, Nigamanth
Published in 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T) (01.11.2017)
Published in 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T) (01.11.2017)
Get full text
Conference Proceeding