IEICE TRANSACTIONS on Information
A Method of Verifying Time-Response Requirements
Summary :
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 in terms of time-response requirements written with a natural language. We established 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.
- Publication
- IEICE TRANSACTIONS on Information Vol.E101-D No.7 pp.1725-1732
- Publication Date
- 2018/07/01
- Publicized
- 2018/04/20
- Online ISSN
- 1745-1361
- DOI
- 10.1587/transinf.2017KBP0010
- Type of Manuscript
- Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
- Category
Authors
Yuma MATSUMOTO
Ritsumeikan University
Takayuki OMORI
Ritsumeikan University
Hiroya ITOGA
Ritsumeikan University
Atsushi OHNISHI
Ritsumeikan University
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Yuma MATSUMOTO, Takayuki OMORI, Hiroya ITOGA, Atsushi OHNISHI, "A Method of Verifying Time-Response Requirements" in IEICE TRANSACTIONS on Information,
vol. E101-D, no. 7, pp. 1725-1732, July 2018, doi: 10.1587/transinf.2017KBP0010.
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 in terms of time-response requirements written with a natural language. We established 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2017KBP0010/_p
Copy
@ARTICLE{e101-d_7_1725,
author={Yuma MATSUMOTO, Takayuki OMORI, Hiroya ITOGA, Atsushi OHNISHI, },
journal={IEICE TRANSACTIONS on Information},
title={A Method of Verifying Time-Response Requirements},
year={2018},
volume={E101-D},
number={7},
pages={1725-1732},
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 in terms of time-response requirements written with a natural language. We established 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.},
keywords={},
doi={10.1587/transinf.2017KBP0010},
ISSN={1745-1361},
month={July},}
Copy
TY - JOUR
TI - A Method of Verifying Time-Response Requirements
T2 - IEICE TRANSACTIONS on Information
SP - 1725
EP - 1732
AU - Yuma MATSUMOTO
AU - Takayuki OMORI
AU - Hiroya ITOGA
AU - Atsushi OHNISHI
PY - 2018
DO - 10.1587/transinf.2017KBP0010
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E101-D
IS - 7
JA - IEICE TRANSACTIONS on Information
Y1 - July 2018
AB - 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 in terms of time-response requirements written with a natural language. We established 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.
ER -
English
