Towards a Formal Approach for Assessing the Design Quality of Object-Oriented Systems. - Mokhtaria Bouslama; Mustapha Kamel Abdi (Int. J. Open Source Softw. Process., 2021)