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
J. Yen et al., "Toward a Fuzzy-Logic Based Formal-Approach for Specifying Imprecise Requirements," Proceedings of the Annual Reliability and Maintainability Symposium, 1994, Institute of Electrical and Electronics Engineers (IEEE), Jan 1994.
The definitive version is available at https://doi.org/10.1109/RAMS.1994.291152
Annual Reliability and Maintainability Symposium, 1994
Keywords and Phrases
Fuzzy Logic; Fuzzy Multicriteria Optimization Techniques; Imprecise Requirement Specification; Operations Research; Optimisation; Qualitative Requirements; Requirement Engineering; Software Specification
Article - Conference proceedings
© 1994 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.