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
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
-
- IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 85 (4), 623-636, 2002-04-01
IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG
- Tweet
Details
-
- CRID
- 1570009752558863744
-
- NII Article ID
- 110003219979
-
- NII Book ID
- AA10826272
-
- ISSN
- 09168532
-
- Text Lang
- en
-
- Data Source
-
- CiNii Articles