入出力条件によるプログラムの合成
スポンサーリンク
概要
- 論文の詳細を見る
プログラムとは入出力条件などからなる情報処理の要求に基づき、処理単位の命令や関数モジュールを組み合わせて作成した手続きであり、プログラミングとは与えられた情報処理の要求に対して既知の処理単位をつないで要求の処理を実現する問題解決の手続きである。このような観点で従来から、自動合成の研究やプログラムの検証などの基礎的研究が行われてきた。近年ではメニュー方式とGUIの利用により、プログラムの生産性は大きく向上しているが、命令やモジュールの選択配置などは、なお、大きく人手に依存しているようであり、これらの自動化が望まれる。また、概略設計から詳細化のための条件を与え設計やプログラム合成を行うときに自動リンクの手法は有用である。ここではプログラム単位をリンクしてプログラムを合成する基本的な事項についてプロログを用いて考察する。
- 一般社団法人情報処理学会の論文
- 1996-03-06
著者
関連論文
- 時間なし連続ペトリネットの状態方程式の解について(ハイブリッドシステム,コンカレント工学一般)
- 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分野:モデル・アルゴリズム・プログラミング)