Quantitative Analysis In Computer Science