RASHID, U. A Methodological Approach: Formal Specification Of Quality Attributes Modeling Approcahes In The Waterfall Process Model. VAWKUM trans. comput. sci. 2014, 2, 15-20.