Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions

2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T) ◽

10.1109/cseet.2017.40 ◽

2017 ◽

Author(s):

Wayne Heym ◽

Paolo A.G. Sivilotti ◽

Paolo Bucci ◽

Murali Sitaraman ◽

Kevin Plis ◽

...

Download Full-text