loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Yuuma Matsumoto and Atsushi Ohnishi

Affiliation: Ritsumeikan University, Japan

Keyword(s): Non-functional Requirements, Time-Response Requirements, Requirements Frame, Verification of Non-functional Requirements.

Related Ontology Subjects/Areas/Topics: Requirements Elicitation and Specification ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: In order to verify the correctness of functional requirements, we have been developing a verification method of the correctness of functional requirements specification using the Requirements Frame model. In this paper, we propose a verification method of non-functional requirements specification, especially time-response requirements written with a natural language. We establish a verification method by extending the Requirements Frame model. We have also developed a prototype system based on the method using Java. The extended Requirements Frame model and the verification method will be illustrated with examples.

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 34.229.151.93

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:
Matsumoto, Y. and Ohnishi, A. (2016). A Verification Method of Time-response Requirements. In Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA; ISBN 978-989-758-194-6, SciTePress, pages 149-156. DOI: 10.5220/0005973101490156

@conference{icsoft-ea16,
author={Yuuma Matsumoto. and Atsushi Ohnishi.},
title={A Verification Method of Time-response Requirements},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA},
year={2016},
pages={149-156},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005973101490156},
isbn={978-989-758-194-6},
}

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA
TI - A Verification Method of Time-response Requirements
SN - 978-989-758-194-6
AU - Matsumoto, Y.
AU - Ohnishi, A.
PY - 2016
SP - 149
EP - 156
DO - 10.5220/0005973101490156
PB - SciTePress