Software Design by Example