by Xiaoqing Frank, Liu John Yen
http://www.cs.tamu.edu/faculty/yen/publications/icse96.ps
Add To MetaCart
Abstract:
There are at least three challenges with requirements analysis. First, it needs to bridge informal requirements, which are often vague and imprecise, to formal specification methods. Second, requirements often conflict with each other. Third, existing formal requirement specification methodologies are limited in supporting trade-off analysis between conflicting requirements and identifying the impact of a requirement change to the rest of the system. In this paper, an analytic framework is developed for the specification and analysis of imprecise requirements. In this framework, the elasticity of imprecise requirements is captured using fuzzy logic and the relationships between requirements are formally classified into four categories: conflicting, cooperative, mutually exclusive, and irrelevant. This formal foundation facilitates to infer relationships between requirements for detecting implicit conflicts, to assess the relative priorities of requirements for resolving conflicts, and to assess the effect of a requirement change. 1
Citations
|
993
|
The Z notation: a reference manual
– Spivey
- 1992
|
|
609
|
Decisions with Multiple Objectives: Preferences and Value Trade-offs
– Keeney, Raiffa
- 1976
|
|
354
|
No silver bullet: essence and accidents of software engineering
– Brooks
- 1987
|
|
223
|
Representing and using non-functional requirements: A process-oriented approach
– Mylopoulos, Chung, et al.
- 1992
|
|
195
|
Fuzzy Set Theory and Its Applications
– Zimmermann
|
|
95
|
The house of quality
– Hauser, Clausing
- 1988
|
|
93
|
Software Requirements: Analysis and Specification
– Davis
- 1990
|
|
84
|
Supporting systems development by capturing deliberations during requirements engineering
– Ramesh, Dhar
- 1992
|
|
28
|
Negotiation Behavior During Requirement Specification
– Robinson
- 1990
|
|
22
|
Informality in program specifications
– Balzer, Goldman, et al.
- 1978
|
|
7
|
An Empirical Study of Evaluating Software Development Environment Quality
– Miyoshi, Azuma
- 1993
|
|
7
|
Test-score semantics as a basis for a computational approach to the representation of meaning
– Zadeh
- 1986
|
|
3
|
The KBSA requirements/Specification Facet: ARIES
– Johnson, Feather, et al.
- 1991
|
|
1
|
Software Requirements Negotiation and Renegotiation Aids
– al
- 1995
|
|
1
|
Bashar Nuseibeh, "Inconsistency Handling in Multiperspective Specifications
– Finkelstein, Gabbay, et al.
- 1994
|
|
1
|
A Formal Methodology for the Specification and Analysis of Imprecise Requirements
– Liu
- 1995
|
|
1
|
Xiaoqing Frank Liu and Swee Hor Teh, "A fuzzy logic-based methodology for the acquisition and analysis of imprecise requirements
– Yen
- 1994
|
|
1
|
Xiaoqing Frank Liu, "A fuzzy logicbased foundation for analyzing imprecise conflicting requirements
– Yen
- 1994
|
