Refining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders

IR IR 13 References
  • KAIYA Haruhiko
    the Department of Information Engineering, Faculty of Engineering, Shinshu University
  • KAIJIRI Kenji
    the Department of Information Engineering, Faculty of Engineering, Shinshu University

Search this article

Abstract

System specifications should be refined to meet stakeholders' requirements as much as possible, because the first specification does not satisfy all stakeholders in general. This paper presents a procedure to refine behavioral specification to satisfy stakeholders. Non-functional requirements are used for checking stakeholders' satisfaction. With this procedure, stakeholder-dissatisfaction can be reduced and new possibilities to satisfy or dissatisfy other stakeholders can be found, since a modification to cancel dissatisfaction can sometimes influence the satisfaction of the others.

Journal

References(13)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top