文献

J-GLOBAL ID：200902255078940468   整理番号：09A0009754

メタモデルに基づき仕様書作成と仕様検証を支援するツールSpecPrince

SpecPrince Support Tool for Generating and Verifying Specifications Based on Specification Metamodel

著者 (3件)： 位野木万里 (東芝ソリューション IT技研) ,  松尾尚典 (東芝ソリューション IT技研) ,  甲田修策 (東芝ソリューション)
資料名： 東芝レビュー  (Toshiba Review)
巻： 63  号： 12  ページ： 46-49  発行年： 2008年12月01日 
JST資料番号： F0360A  ISSN： 0372-0462  CODEN： TORBA  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 要件定義や基本設計などのシステム開発の上流工程では,発注者と開発者間の合意形成のために,要件を可視化し,仕様書を用いたレビューが重要である。しかし,仕様書に記述すべき項目が不明確である,記載した内容に不整合がある,あるいは仕様書の体裁にとらわれて中身の議論が不足している,などの課題がある。東芝ソリューション(株)は,仕様書作成と仕様検証を支援するツールSpecPrinceを開発した。このツールには,仕様書に記述すべき構成要素とそれら相互の関係に関するノウハウ,及び仕様検証のノウハウを組み込んだ。このツールを実際のプロジェクトに適用し,前記課題の解決に対して有効であること及び仕様書作成の効率化が可能であることを明らかにした。(著者抄録)

シソーラス用語： *計算機システム開発 ,  *ソフトウェア仕様 ,  仕様書 ,  仕様記述 ,  *プログラム検証 ,  要求仕様 ,  ノウハウ
準シソーラス用語： ソフトウェア検証 ,  メタモデル ,  仕様検証

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (2件)：

• 竹内真弓, ほか. ソリューションビジネスを成功へと導くプロセス技術とプロダクト技術. 東芝レビュー, 62, 9, 2007, p. 30-33.
• 情報処理推進機構 ソフトウェア・エンジニアリング・センター. “発注者ビューガイドラインの公開”. <http://sec.ipa.go.jp/reports/20080710.html>,(参照2008-10-14).

タイトルに関連する用語 (6件)： メタモデル ,  仕様書 ,  仕様 ,  検証 ,  支援 ,  ツール