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.
Index Terms
- Teaching the Design-by-Contract Concept in a Software Engineering Course Using RESOLVE
Recommendations
Teaching Software Engineering in a Compiler Project Course
A compiler course with a long-term project is a staple of many undergraduate computer science curricula, and often a cornerstone of a program's applied-engineering component. Software engineering expertise can help a student complete such a course, yet ...
Stages in Teaching Software Design
CSEET '07: Proceedings of the 20th Conference on Software Engineering Education & TrainingThis paper describes how a staged approach to the development of students' abilities to engineer software systems applies to the specific issue of teaching software design. It evaluates the courses relating to software design in the Software Engineering ...
Large-Scale Visualization Projects for Teaching Software Engineering
The University of Stuttgart's software engineering major complements the traditional computer science major with more practice-oriented education. Two-semester software projects in various application areas offered by the university's different computer ...
Comments