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)
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E85D (4), 623-636, 2002-04
IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG