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

Author

J. Yen
J. Lee
Xiaoqing Frank Liu, Missouri University of Science and TechnologyFollow

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

Recommended Citation

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

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.

Publication Date

01 Jan 1994