Contract Electronics and Software Design