Title

Toward a Fuzzy-Logic Based Formal-Approach for Specifying Imprecise Requirements

Abstract

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

Meeting Name

Annual Reliability and Maintainability Symposium, 1994

Department(s)

Computer Science

Keywords and Phrases

Fuzzy Logic; Fuzzy Multicriteria Optimization Techniques; Imprecise Requirement Specification; Operations Research; Optimisation; Qualitative Requirements; Requirement Engineering; Software Specification

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 1994 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.


Share

 
COinS