loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

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

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Cross-Feeding between Data and Software Engineering ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Model-Driven Engineering ; Requirements Engineering ; Service-Oriented Software Engineering and Management ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques ; Symbolic Systems

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.

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 3.90.242.249

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 - ENASE; ISBN 978-989-758-300-1; ISSN 2184-4895, SciTePress, 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 - ENASE},
year={2018},
pages={343-350},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006785003430350},
isbn={978-989-758-300-1},
issn={2184-4895},
}

TY - CONF

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