文献

J-GLOBAL ID：200902256683313560   整理番号：09A0033261

モデル変換に基づく要求記述を利用した形式仕様の構築

Constructing Formal Specifications from Requirements Specifications Based on Model Transformation

著者 (4件)： 中川博之 (東大) ,  田口研治 (国立情報学研) ,  本位田真一 (東大) ,  本位田真一 (国立情報学研)
資料名： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
巻： 49  号： 7  ページ： 2304-2318  発行年： 2008年07月15日 
JST資料番号： Z0778B  ISSN： 1882-7837  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 近年,ソフトウェアの複雑化により,要求分析の重要性が認識されるとともに形式手法によるモデルの詳細化が注目されている。しかし,形式手法による仕様の記述は開発者にとって容易ではなく,要求を満足するソフトウェア構築は依然として容易ではない。そこで本研究では,要求分析法KAOSにより記述された要求記述を形式仕様言語VDM++の形式仕様へと自動変換する手法と,本手法を用いた開発プロセスを提案する。本研究により,形式仕様の構築が容易になるとともに,要求記述と形式仕様間の整合性が保証され,モデル詳細化によるソフトウェア開発が実現される。(著者抄録)

シソーラス用語： *形式記述 ,  *要求分析 ,  ソフトウェア工学 ,  ソフトウェア開発 ,  プログラム変換 ,  自動化 ,  形式的仕様記述言語 ,  オブジェクト指向言語 ,  図書館
準シソーラス用語： モデル変換 ,  *形式的仕様記述

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

引用文献 (26件)：

• 荒木啓二郎, 張 漢明: プログラム仕様記述論, オーム社 (2002).
• Dardenne, A., van Lamsweerde, A. and Fickas, S.: Goal-Directed Requirements Acquisition, Science of Computer Programming, Vol.20, 1993, pp. 3-50(1993).
• Leiter, E.: Reasoning about Agents in Goal-oriented Requirements Engineering, Ph. D. thesis, Universite Catholique de Louvain (2001).
• Fitzgerald, J., Larsen, P. G., Mukherjee, P., Plat, N. and Verhoef, M.: Validated Designs for Object-oriented Systems, Springer (2005).
• Object Management Group: Unified Modeling Language. http://www.uml.org/

タイトルに関連する用語 (5件)： モデル変換 ,  記述 ,  形式 ,  仕様 ,  構築