Toward a fuzzy-logic based formal-approach for specifying imprecise requirements

A major challenge with requirement engineering is that the requirements to be captured usually are described in qualitative terms which are imprecise in nature. However, most existing software specification methodologies require that the requirements be represented in a precise form. In this paper, we propose a fuzzy logic-based formal approach to formulate soft (imprecise) functional requirements. Based on such a formulation, the trade-offs among conflicting soft requirements can be analyzed using fuzzy multicriteria optimization techniques. The proposed approach not only can provide useful design guidelines that help the designer to focus on effective design trade-offs, but also enable a more realistic validation of the user's imprecise requirements.>