1 for Methodologies based-Reasoning Logic Fuzzy Complex Specifications Requirements Software Quantitative