RASHID, UMER. “A Methodological Approach: Formal Specification Of Quality Attributes Modeling Approcahes In The Waterfall Process Model”. VAWKUM Transactions on Computer Sciences, vol. 2, no. 1, Jan. 2014, pp. 15-20, doi:10.21015/vtcs.v3i2.100.