A Verification Method of Time-response Requirements

Yuuma Matsumoto; Atsushi Ohnishi

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

A Verification Method of Time-response Requirements

Topics: Requirements Elicitation and Specification

In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 0ICSOFT, 149-156, 2016 , Lisbon, Portugal

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

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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