| 講演名 | 1994/3/4 知識を用いたC言語プログラムの解析支援ツールの試作 原 英樹, 菅原 研次, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では、C言語で記述されたプログラムの機能理解を支援する解析支援ツールの試作について述べる。はじめにプログラム理解の概念について述べる。次に、ソフトウェアプロセスとプログラム理解の関連について述べる。プログラム理解とは、プログラムコードに対してコードが記述されている領域知識から論理的な仕様を記述されている領域知識に変換する作業である。それぞれの領域に属するオブジェクトと、領域を規定する知識について述べ、これを用いたC言語プログラムの解析プロセスを示す。最後に、試作したシステムの構成について述べる。 |
| 抄録(英) | In this paper,a prototype of a reverse CASE tool for understanding functionality of program code modules developed by C language is demonstrated.The concept of program understanding depends on a software process in which the code module was developed and is defined by translation of the domain knowledge between sucessive processes.Based on the concept,a reverse process model in which logical specification of the objective module is abstracted from the program code is defined.The knowledge on C grammer,programming technique,algorithm and abstract data is implemented using knowledge representation language such as the production model and the frame model.Finally,a framework of the prototype is illustrated. |
| キーワード(和) | プログラム理解 / 知識ベース |
| キーワード(英) | program understanding / knowledge base |
| 資料番号 | AI93-85,KBSE93-52 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1994/3/4(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 知識を用いたC言語プログラムの解析支援ツールの試作 |
| サブタイトル（和） | |
| タイトル（英） | C program analysis tool based on programing knowledge |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プログラム理解 / program understanding |
| キーワード(2)（和/英） | 知識ベース / knowledge base |
| 第 1 著者 氏名（和/英） | 原 英樹 / Hideki Hara |
| 第 1 著者 所属（和/英） | 千葉工業大学情報工学科 Department of Information Engineering,Chiba Institute of Technology |
| 第 2 著者 氏名（和/英） | 菅原 研次 / Kenji Sugawara |
| 第 2 著者 所属（和/英） | 千葉工業大学情報工学科 Department of Information Engineering,Chiba Institute of Technology |
| 発表年月日 | 1994/3/4 |
| 資料番号 | AI93-85,KBSE93-52 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 493 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |