Abstract
Imprecise requirements are represented by the canonical form in test-score semantics. The concepts of feasibility, satisfiability, and specificity are formalized based on the fuzzy sets. The relationships between requirements are classified to be conflicting and cooperative. A feasible overall requirement can thus be formulated based on the trade-off analysis of the conflicting requirements by using fuzzy multi-criteria optimization technique.
| Original language | English (US) |
|---|---|
| Title of host publication | IEEE International Conference on Fuzzy Systems |
| Publisher | IEEE |
| Pages | 1099-1104 |
| Number of pages | 6 |
| Volume | 2 |
| State | Published - 1994 |
| Event | Proceedings of the 3rd IEEE Conference on Fuzzy Systems. Part 3 (of 3) - Orlando, FL, USA Duration: Jun 26 1994 → Jun 29 1994 |
Other
| Other | Proceedings of the 3rd IEEE Conference on Fuzzy Systems. Part 3 (of 3) |
|---|---|
| City | Orlando, FL, USA |
| Period | 6/26/94 → 6/29/94 |
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Software
- Artificial Intelligence
- Applied Mathematics