quantitative issues like performance and dependability is a formal description of the