@inproceedings{def5be6c86d146e383ac3d88768a240a,
title = "Goal-satisfaction verification to combination of use case components",
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.",
keywords = "Model checking, Non-functional requirements, Requirements analysis, Use case",
author = "Saeko Matsuura and Shinpei Ogata and Yoshitaka Aoki",
note = "Publisher Copyright: Copyright {\textcopyright} 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.; 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018 ; Conference date: 23-03-2018 Through 24-03-2018",
year = "2018",
doi = "10.5220/0006785003430350",
language = "English",
series = "ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering",
publisher = "SciTePress",
pages = "343--350",
editor = "Ernesto Damiani and George Spanoudakis and Leszek Maciaszek and Leszek Maciaszek",
booktitle = "ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering",
}