The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
기능적 요구사항의 정확성을 검증하기 위해 요구사항 프레임 모델을 활용하여 기능적 요구사항 명세의 정확성 검증 방법을 개발해 왔습니다. 본 논문에서는 자연어로 작성된 시간-응답 요구사항 측면에서 비기능적 요구사항 명세의 검증 방법을 제안한다. 우리는 요구사항 프레임 모델을 확장하여 검증 방법을 확립했습니다. 또한 Java를 이용한 방식을 기반으로 프로토타입 시스템을 개발하였습니다. 확장된 요구사항 프레임 모델과 검증 방법을 예시로 설명합니다.
Yuma MATSUMOTO
Ritsumeikan University
Takayuki OMORI
Ritsumeikan University
Hiroya ITOGA
Ritsumeikan University
Atsushi OHNISHI
Ritsumeikan University
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.
부
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
부
@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},}
부
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 -