| 講演名 | 1997/11/28 データモデルに基づく関係推論によるプログラム生成法の定式化 Efendy Lukman, 橋本 正明, 廣田 豊彦, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ソフトウェアの生産性や信頼性を向上させるための一方策として, 著者らは理解性の良い概念モデルとしてERモデル (Entity-Relationship Model) を採用し, 計算をデータフローで表す理解性と拡張性を備えた仕様記述言語PSDLを提案した. また, 非手続き的なPSDL記述のプログラム仕様から手続き型プログラムを生成する方法を提案した. しかし, プログラム生成法については基本的な部分の提案に留まっており, まだ多くの課題が残っている. 例えば, 再帰的処理や複雑な入出カデータ構造の処理プログラム生成方法がまだ確立していない. そこで, これらの課題を解決するために, プログラムの生成法の定式化について報告する. |
| 抄録(英) | As a method for improving software productivity and reliability, the authors have proposed comprehensible and extensible specifications description language PSDL. The authors also have proposed a generation method of procedural language programs from non-procedural language PSDL specifications. However, the proposition remains in the basic parts, and still have some problems. For example, recursive processing and complicated input-output data structure processing are still not established. To solve these problems, we make a report of formalization of program generation. |
| キーワード(和) | プログラム生成法 / 非手続き型言語 / 有向グラフ / 構造不一致 / データモデル / 関係 |
| キーワード(英) | Program generation method / Non-procedural language / Directed graph / Structure clash / Data model / Relation |
| 資料番号 | KBSE97-20 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1997/11/28(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | データモデルに基づく関係推論によるプログラム生成法の定式化 |
| サブタイトル（和） | |
| タイトル（英） | A Formalization of Program Generation Method by Relational Inference based on Data Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プログラム生成法 / Program generation method |
| キーワード(2)（和/英） | 非手続き型言語 / Non-procedural language |
| キーワード(3)（和/英） | 有向グラフ / Directed graph |
| キーワード(4)（和/英） | 構造不一致 / Structure clash |
| キーワード(5)（和/英） | データモデル / Data model |
| キーワード(6)（和/英） | 関係 / Relation |
| 第 1 著者 氏名（和/英） | Efendy Lukman / Lukman Efendy |
| 第 1 著者 所属（和/英） | 九州工業大学情報工学部 Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology |
| 第 2 著者 氏名（和/英） | 橋本 正明 / Masaaki Hasimoto |
| 第 2 著者 所属（和/英） | 九州工業大学情報工学部 Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology |
| 第 3 著者 氏名（和/英） | 廣田 豊彦 / Toyohiko Hirota |
| 第 3 著者 所属（和/英） | 九州工業大学情報工学部 Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology |
| 発表年月日 | 1997/11/28 |
| 資料番号 | KBSE97-20 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 413 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |