Quantitative Software Design