Title: Software Design by Example