Refining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders

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

この論文をさがす

抄録

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.

収録刊行物

参考文献 (13)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ