* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 11:40 - 11:50 at E2 room - Reusable recipes Chair(s): Cecile Peraire

The Liskov Substitution Principle states, among other constraints, that a subtype is not substitutable for its super type if it strengthens its operations’ preconditions, or weakens its operations’ postconditions. We found that students in two subsequent courses had trouble remembering these rules. Their major stumbling block appeared to be recalling which condition (pre- or post-) could be strengthened and which could be weakened. We developed a simple visual reminder to help: A method is happy if it is substitutable—A smile is wider at the top than at the bottom, suggesting weaker/looser/wider pre-conditions, and stronger/tighter/narrower post conditions.; A method is sad if it isn’t substitutable—a frown is narrower at the top, suggesting stronger/tighter/narrower preconditions, and wider at the bottom, suggesting weaker/looser/wider postconditions. Though the technique is far from perfect, we found that it allowed students to move on to the more interesting design questions around the LSP.

Wed 30 May

icse-2018-Software-Engineering-Education-and-Training
11:00 - 12:30: SEET - Software Engineering Education and Training - Reusable recipes at E2 room
Chair(s): Cecile PeraireCarnegie Mellon University Silicon Valley
icse-2018-Software-Engineering-Education-and-Training11:00 - 11:10
Talk
Sarah HeckmanNC State University, Kathryn StoleeNorth Carolina State University, Chris ParninNCSU
icse-2018-Software-Engineering-Education-and-Training11:10 - 11:20
Talk
icse-2018-Software-Engineering-Education-and-Training11:20 - 11:30
Talk
icse-2018-Software-Engineering-Education-and-Training11:30 - 11:40
Talk
Fulvio CornoPolitecnico di Torino, Luigi De RussisPolitecnico di Torino, Juan Pablo SáenzPolitecnico di Torino
Link to publication DOI Pre-print
icse-2018-Software-Engineering-Education-and-Training11:40 - 11:50
Talk
Link to publication
icse-2018-Software-Engineering-Education-and-Training11:50 - 12:30
Talk