Fuzzy logic as a basis for specifying imprecise requirements

A major challenge with requirements engineering is that the requirements to be captured usually are described in qualitative terms which are imprecise in nature. The authors propose to use soft functional requirements in a task-based specification methodology to capture the imprecise requirements, and to formulate soft functional requirements using fuzzy logic. More specifically, the soft conditions are represented using the canonical form in test-score semantics. The proposed approach not only can facilitate the exploration of various tradeoffs during the design phase, but also can enable a more realistic validation of the user´s imprecise requirements