文献

J-GLOBAL ID：201702249151464850   整理番号：17A0906453

要求仕様の一貫性検証支援ツールの提案と適用評価

著者 (2件)： 位野木万里 (工学院大) ,  近藤公久 (工学院大)
資料名： SEC Journal  (SEC Journal)
巻： 13  号： 1  ページ： 16-23  発行年： 2017年07月01日 
JST資料番号： L5846A  ISSN： 1349-8622  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 要求仕様の品質特性である「一貫性」に着目し,ベテラン技術者が経験的に得た検証知識を形式知化し,それら知識に基づき,要求仕様の一貫性検証支援ツールを実現した。実システムの要求仕様書を用いて本ツールの適用評価を行い,本ツールは技術者の効率的な仕様検証を支援する点において一定の効果があることを明らかにした。(著者抄録)

シソーラス用語： *要求仕様 ,  *プログラム検証 ,  一貫性 ,  支援プログラム ,  評価試験 ,  効率化 ,  プログラム検査 ,  *形式的手法【計算機】
準シソーラス用語： ソフトウェアツール ,  要求仕様書

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

引用文献 (15件)：

• [Cohn2004] M. Cohn, User Stories Applied: for Agile Software Development. Redwood City, CA, USA: Addison Wesley, 2004.
• [Cockburn2000] Alistair Cockburn, Writing Effective Use Case, Addison Wesley, 2000.
• [Hiranabe2013] 平鍋健児,野中郁次郎, アジャイル開発とスクラム~顧客・技術・経営をつなぐ協調的ソフトウェア開発マネジメント, 翔泳社, 2013.
• [ISO IEC IEEE2011] ISO/IEC/IEEE 29148:2011, Systems and software engineering Life cycle processes Requirements engineering, 2011.
• [JISA2011] 情報サービス産業協会, REBOK企画WG, 要求工学知識体系, 近代科学社, 2011.

タイトルに関連する用語 (5件)： 要求仕様 ,  検証 ,  支援ツール ,  提案 ,  評価