Title: Refining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders
Author(s): Haruhiko Kaiya and Kenji Kaijiri
Source: IEICE Trans. Inf. and Syst., Vol. E85-D, No. 4, pp. 623-636, Apr. 2002.
13 pages, ( 569 K bytes, gziped postscript) or ( 536 K bytes, PDF)
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. 
BibTeX Entry:
@Article(,
    Title="{Refining Behavioral Specification 
        for Satisfying Non-functional Requirements of Stakeholders}",
    Author="Haruhiko Kaiya and Kenji Kaijiri",
    Journal="IEICE Trans. Inf. and Syst.",
    Year="2002",
    Volume="E85-D",
    Number="4",
    Pages="623-636",
    Month="Apr."
)
paper index