| 講演名 | 1993/9/21 オブジェクト指向に基づく要求記述からの形式的仕様の導出手法 滝沢 陽三, 上田 賀一, |
|---|---|
| PDFダウンロードページ | 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. |
| キーワード(和) | 要求定義 / オブジェクトモデル / 形式的仕様 / 自然言語 |
| キーワード(英) | requirement definition / object model / formal specification / natural language |
| 資料番号 | SS93-27 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1993/9/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | オブジェクト指向に基づく要求記述からの形式的仕様の導出手法 |
| サブタイトル（和） | |
| タイトル（英） | Derivation of Formal specifications based on object-oriented approach from requirement description |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 要求定義 / requirement definition |
| キーワード(2)（和/英） | オブジェクトモデル / object model |
| キーワード(3)（和/英） | 形式的仕様 / formal specification |
| キーワード(4)（和/英） | 自然言語 / natural language |
| 第 1 著者 氏名（和/英） | 滝沢 陽三 / Yozo Takizawa |
| 第 1 著者 所属（和/英） | 茨城大学工学部情報工学科 Department of Computer and Information Sciences,Faculty of Engineering,Ibaraki University |
| 第 2 著者 氏名（和/英） | 上田 賀一 / Yoshikazu Ueda |
| 第 2 著者 所属（和/英） | 茨城大学工学部情報工学科 Department of Computer and Information Sciences,Faculty of Engineering,Ibaraki University |
| 発表年月日 | 1993/9/21 |
| 資料番号 | SS93-27 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 244 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |