講演抄録/キーワード |
講演名 |
2012-01-24 10:00
要求表に基づくディペンダビリティ情報作成方法 ○猿渡卓也(名大/NTTデータ)・山本修一郎(名大) KBSE2011-61 |
抄録 |
(和) |
要求を?識別子,?要求名,?説明,?理由などの表形式の表現(要求表)を用いて文書化する方法が,システム開発では広く用いられている.しかし,機能数が数百以上になる実用規模のシステムで要求表を使用すると,理由が機能ごとに断片的に記述されるため,要求表の中のディペンダビリティを確認することが煩雑になり困難になる.そこで,要求表を分析しグラフ構造に変換して提示することによりディペンダビリティ情報を分かりやすく提示する方法を提案する. |
(英) |
Requirements document in tabular form is widely used in systems development. However, if the number of functions used in a table becomes hundreds or more, it will become difficult to check. In this paper, a method to develop GSN graphs based on requirements tables is proposed. |
キーワード |
(和) |
要求表 / Assurance Case / GSN / ディペンダビリティ / / / / |
(英) |
Requirements table / Assurance Case / GSN / dependability / / / / |
文献情報 |
信学技報, vol. 111, no. 396, KBSE2011-61, pp. 49-54, 2012年1月. |
資料番号 |
KBSE2011-61 |
発行日 |
2012-01-16 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2011-61 |