著者・編者滝沢, 陽三 / 上田, 賀一
TAKIZAWA, Yozo / UEDA, Yoshikazu
並列タイトル等Derivation of Formal Specifications based on Object-Oriented Approach from Requirement Description
オブジェクト シコウ ニ モトヅク ヨウキュウ キジュツ カラ ノ ケイシキテキ シヨウ ノ ドウシュツ ホウホウ
タイトル(掲載誌)情報処理学会研究報告. ソフトウェア工学研究会報告
一般注記application/pdf
テクニカルレポート
コンピュータによるソフトウェア開発の支援環境が整備されつつあり,要求定義のための優れた表記法が考え出された.しかしそれらの表記法を用いた定義はまだ開発者の手によるものが主流であり,要求者の要求が十分に反映されずに開発が進むことが多い.このため自然言語による要求記述から初期の形式的仕様を生成する手法が必要になる.特に開発パラダイムがオブジェクト指向である場合,実世界の対象を記述から直接抽出できれば非常に有利である.本研究は,日本語で書かれた非形式的な要求記述からオブジェクトモデル化技法(OMT)で使用されるオブジェクトモデルの情報を直接抽出する手法およびその支援システムを提案する.
Supporting environments for the software development by computer is put in good condition, and various representations for the requirement definition are also provided. These representations, however, are usually used by developers, so customers' requirements are not fully reflected in the development. This makes us need the method for the derivation of formal specification from the requirements descirbed in natural languages. Especially, it is favorable to us that we can extract the entities in the real world from descriptions in the object-oriented approach. We propose a method and a supporting system for the derivation of the object model for the OMT from the requirement descriptions written in Japanese.
著作権情報情報処理学会
本文データは学協会の許諾に基づきCiNiiから複製したものである
連携機関・データベース国立情報学研究所 : 学術機関リポジトリデータベース(IRDB)(機関リポジトリ)