プロローグを用いたプログラム合成システム
スポンサーリンク
概要
- 論文の詳細を見る
プログラムの生産性や保守性を改善するために, 近年, 国内外においてプログラム設計の自動化についての研究が活発に行なわれている^<[1]>.ここではモジュールの機能や処理対象のデータの型などに関する属性項目を記述したモジュールの見出し表を作成し, 仕様に対して適用可能なモジュールを検索し, C言語のプログラムを合成する一つの方法とその中で行われるモジュールの自動リンクについて報告する.
- 社団法人電子情報通信学会の論文
- 1998-07-30
著者
関連論文
- 時間なし連続ペトリネットの状態方程式の解について(ハイブリッドシステム,コンカレント工学一般)
- P/Tペトリネットの可到達性判定の代数的試みについて(グラフ,ペトリネット,ニューラルネット及び一般)
- P/Tペトリネットの発火回数ベクトルをTインバリアントと特解で表すときの展開係数導出法(グラフ,ペトリ,ニューラルネット及び一般)
- 定常連続システムから離散状態システムを得るための一手法(コンカレントシステム,離散事象システム及び一般)
- P/Tペトリネットの可到達性判定の代数的試みについて(グラフ,ペトリネット,ニューラルネット及び一般)
- P/Tペトリネットの発火回数ベクトルをTインバリアントと特解で表すときの展開係数導出法(グラフ,ペトリ,ニューラルネット及び一般)
- 新しい挙動的トラップを有するペトリネットの最簡クラス(AC∩DCネット)とその構造活性条件
- オブジェクト指向分析法におけるペトリネットの応用について
- プログラムの自動生成における入出力条件に関する一考案
- クラスモジュールの一構成法
- プログラム生成におけるモジュールの自動リンク
- 構造体処理汎用モジュールの作成
- 入出力条件によるプログラムの合成
- クラスモジュールの一作成法
- 概略設計文からのCソースコードの生成
- フレキシブルなモジュールの構築について
- フレームワークの一構成法
- プログラム設計の構造化図作成の自動化
- モジュールの拡張について
- 構造化図の作成・チェックとコードの生成
- プロログによるモジュールの検索とプログラムの合成
- 仕様からの構造化図の簡易作成とプログラムの合成
- ファイル処理を含むプログラムの作成の自動化
- プロログによるモジュール援用プログラミングシステム
- 仕様の記述とプログラムの作成
- 入出力条件を用いたプログラムの自動生成
- プログラム生成におけるリスト処理を用いた入出力条件のチェック
- オブジェクト指向CASEにおけるペトリネットの応用
- 非同期選択ペトリネットの活性条件
- B_023 プログラムの自動生成における入出力条件について(B分野:ソフトウェア)
- A-6-15 C/S システムにおけるスプレッドシートを用いた印刷処理のスループット向上について
- 情報化時代に向けての統合型デザイン教育(3)
- 情報化時代に向けての統合型デザイン教育(2)
- プロローグを用いたプログラム合成システム
- A-023 P/Tペトリネットにおける特解導出のためのアルゴリズムに関する一考察(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)