loading
Papers

Research.Publish.Connect.

Paper

Authors: Saeko Matsuura 1 ; Shinpei Ogata 2 and Yoshitaka Aoki 3

Affiliations: 1 Shibaura Institute of Technology, Japan ; 2 Shinshu University, Japan ; 3 Nihon Unisys Ltd., Japan

ISBN: 978-989-758-300-1

Keyword(s): Requirements Analysis, Use Case, Non-functional Requirements, Model Checking.

Abstract: Functional requirements of a system can be specified by fundamental use cases that satisfy "the effective and useful scenarios in the system usage" so as to meet "the goal of the system". Ambiguous non-functional requirements against the system goal often cause uncertainty of use cases and scenarios at the early stage of software development. In this paper, from the viewpoint of non-functional requirements that are included in the goal, we discuss how to check satisfaction of the goal due to the combination of functional requirements during requirements analysis using an example.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 100.24.122.228

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Matsuura, S.; Ogata, S. and Aoki, Y. (2018). Goal-Satisfaction Verification to Combination of Use Case Components.In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-300-1, pages 343-350. DOI: 10.5220/0006785003430350

@conference{enase18,
author={Saeko Matsuura. and Shinpei Ogata. and Yoshitaka Aoki.},
title={Goal-Satisfaction Verification to Combination of Use Case Components},
booktitle={Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2018},
pages={343-350},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006785003430350},
isbn={978-989-758-300-1},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Goal-Satisfaction Verification to Combination of Use Case Components
SN - 978-989-758-300-1
AU - Matsuura, S.
AU - Ogata, S.
AU - Aoki, Y.
PY - 2018
SP - 343
EP - 350
DO - 10.5220/0006785003430350

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.