時間応答要求を検証する方法

MATSUMOTO Yuma; OMORI Takayuki; ITOGA Hiroya; OHNISHI Atsushi

文献

J-GLOBAL ID：201802212551080071 整理番号：18A1417169

時間応答要求を検証する方法

A Method of Verifying Time-Response Requirements

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=18A1417169&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=18A1417169&from=J-GLOBAL&jstjournalNo=U0469A") }}

著者 (4件)： , , ,
資料名：
巻： E101.D 号： 7 ページ： 1725-1732(J-STAGE) 発行年： 2018年
JST資料番号： U0469A ISSN： 1745-1361 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：英語 (EN)

機能要求の正当性を検証するために,筆者らは,要求フレームモデルを用いて機能要求仕様の正当性の検証方法を開発してきた。本論文では,筆者らは,自然言語で記述された時間応答の観点から非機能要求仕様の検証方法を提案した。筆者らは要求フレームモデルを拡張することによって検証方法を確立した。また,筆者らはJavaを用いた方法に基づくプロトタイプシステムを開発した。拡張された要求フレームモデルと検証方法を例とともに示した。(翻訳著者抄録)

, , , , ,
, , ,

著者キーワード (5件)： , , , ,

計算機システム開発

引用文献 (13件)：

[1] B. Wei, B. Yin, Z. Jin, and D. Zowghi, “rΣ: Automated reasoning tool for non-functional requirement goal models,” Proc. 19th International Requirements Engineering Conference (RE2011), pp.337-338, 2011. 10.1109/re.2011.6051664
[2] L. Chung, B.A. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering, Springer, 1999.
[3] M.D. Cin, “Structured language for specifications of quantitative requirements,” Proc. 5th IEEE International Symposium on High Assurance Systems Engineering (HASE), pp.221-227, 2000. 10.1109/hase.2000.895466
[4] L.M. Cysneiros and J.C.S. do Prado Leite, “Nonfunctional requirements: From elicitation to conceptual model,” IEEE Trans. Softw. Eng., vol.30, no.5, pp.328-350, 2005. 10.1109/tse.2004.10
[5] A. Fatwanto and C. Boughton, “Analysis, specification and modeling of non-functional requirements for translative model-driven development,” Proc. International Conference on Computational Intelligence and Security (CIS'08), pp.405-410, 2008. 10.1109/cis.2008.215

前のページに戻る