Formal framework for the impacts of design strategies on requirements

J. Yen, W. A. Tiao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


One of the important tasks in requirement engineering is to identify the impacts of various design strategies on satisfying the requirements of the target system. This paper proposes a formal framework for studying the relationships between design strategies and requirements. The elasticity of imprecise requirements is captured using fuzzy logic, and design strategies are explicitly defined in terms of requirements. Based on such a formal framework, we have developed a systematic reasoning scheme for reasoning about the positive/negative impacts of design strategies on requirements. The framework can reduce the efforts in identifying requirement and design conflicts and assist the software engineers in evaluating design alternatives more effectively.

Original languageEnglish (US)
Title of host publicationSoft Computing in Intelligent Systems and Information Processing
EditorsY.Y. Chen, K. Hirota, J.Y. Yen
Number of pages6
StatePublished - 1996
EventProceedings of the 1996 Asian Fuzzy Systems Symposium - Kenting, Taiwan
Duration: Dec 11 1996Dec 14 1996


OtherProceedings of the 1996 Asian Fuzzy Systems Symposium
CityKenting, Taiwan

All Science Journal Classification (ASJC) codes

  • General Engineering


Dive into the research topics of 'Formal framework for the impacts of design strategies on requirements'. Together they form a unique fingerprint.

Cite this