Abstract
Design by contract (DBC) is a key concept in software engineering. The RESOLVE language and environment support the teaching and learning of DBC concepts. However, students encounter obstacles in fully achieving the desired educational outcomes. Some of these obstacles are related to the complexity of the content. Additional appropriate exercises can help to address these obstacles. Other obstacles are related to features of the environment and documentation. We propose a variety of interventions to address these obstacles, including potential revisions to the environment, updates to the documentation, and the creation of additional instructional materials.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
