검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

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

A Method of Verifying Time-Response Requirements 시간 응답 요구 사항을 확인하는 방법

Yuma MATSUMOTO, Takayuki OMORI, Hiroya ITOGA, Atsushi OHNISHI

  • 조회수

    0

  • 이것을 인용

요약 :

기능적 요구사항의 정확성을 검증하기 위해 요구사항 프레임 모델을 활용하여 기능적 요구사항 명세의 정확성 검증 방법을 개발해 왔습니다. 본 논문에서는 자연어로 작성된 시간-응답 요구사항 측면에서 비기능적 요구사항 명세의 검증 방법을 제안한다. 우리는 요구사항 프레임 모델을 확장하여 검증 방법을 확립했습니다. 또한 Java를 이용한 방식을 기반으로 프로토타입 시스템을 개발하였습니다. 확장된 요구사항 프레임 모델과 검증 방법을 예시로 설명합니다.

발행
IEICE TRANSACTIONS on Information Vol.E101-D No.7 pp.1725-1732
발행일
2018/07/01
공개일
2018/04/20
온라인 ISSN
1745-1361
DOI
10.1587/transinf.2017KBP0010
원고의 종류
Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
범주

작성자

Yuma MATSUMOTO
  Ritsumeikan University
Takayuki OMORI
  Ritsumeikan University
Hiroya ITOGA
  Ritsumeikan University
Atsushi OHNISHI
  Ritsumeikan University

키워드