@article{oai:soar-ir.repo.nii.ac.jp:00012539,
 author = {Kaiya,  H and Kaijiri,  K},
 issue = {4},
 journal = {IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS},
 month = {Apr},
 note = {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., Article, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. E85D(4):623-636 (2002)},
 pages = {623--636},
 title = {Refining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders},
 volume = {E85D},
 year = {2002}
}