項書換えシステムのソフトウェア自動合成への適用
スポンサーリンク
概要
- 論文の詳細を見る
我々は項書換えシステムに基づくソフトウェア自動合成シェルSOFTEXSHELLを開発し、特定の領域固有のプログラムジェネレータを生成することによりソフトウェア開発支援環境を構築している。本稿ではソフトウェア開発プロセスヘ自動合成システムを適用する際の問題点を整理し、従来行ってきたジェネレータの設計プロセスについて述べる。この設計プロセスで得られたジェネレータのモデルが、項書き換え系の一つであるコンストラクタシステムで表現できることを示し、コンストラクタシステムに基づくソフトウェア自動合成シェル SOFTEXSHELL-2の実現を行った。SOFTEXSHELL-2を用いることにより、変換プロセスの再利用やプロトタイピングにより、ジェネレータの開発を効率良く行えることが可能となった。
- 一般社団法人情報処理学会の論文
- 1996-11-15
著者
-
山之内 徹
Nec C&c研究所
-
山之内 徹
Nec C&cメディア研究所
-
山之内 徹
Nec マイコンソフト開発環境研究所:nec C&c研究所
-
佐藤 明良
NEC C&Cシステム研究所
-
友部 実
NEC C&Cメディア研究所
-
佐藤 明良
Nec C&c 研究所
-
友部 実
Nec C&c メディア研究所
関連論文
- CLにおける競合解消向ルールコンパイラ
- CLにおける逐次実行向けルールコンパイラ
- ソフトウェア自動合成シェルSOFTEX/S(2) : 文脈自由言語と多ソート項集合の同型写像
- Mobidgetの移動・分散基盤の実現
- 移動オブジェクトに対する分散ガーベージコレクション方式の提案
- パターンに基づく移動エージェントシステムの設計手法
- Mobidgetを用いた巡回検索システム
- 移動・分散プログラミング言語Mobidget : 言語仕様
- エージェントによる電子メール業務支援方式
- 構造化文書編集ツールの開発と共同文書作成への適用
- VLSI論理合成システム自動操作シェルの実行制御方式
- タイミング設計問題の分析
- CLにおけるドメイン言語プリミティブ
- ソフトウェア自動合成シェルSOFTEX/S(1) : 設計思想とシステム構成
- オブジェクト指向設計を支援する設計モデルからのコード生成機能
- 4C-7 領域間の類似性を利用したドメインエンジニアリング効率化手法
- 3W-5 ソフトウェア自動合成シェル : EasySOFTEX (2) : アプリケーションジェネレータ設計のための問題向け設計言語
- 3W-4 ソフトウェア自動合成シェル : EasySOFTEX (1) : 特定ドメイン向けアプリケーションジェネレータの開発プロセスと支援環境
- 書き換え規則の部品化に基づくソフト自動合成系開発の容易化
- 階層表モデルの上位生産計画問題への適用
- 大学時間割編成問題への制約緩和手法の適用と評価
- ソフトウェアプロセスにおけるチェックに対する工程間の依存解析
- ソフトウエア自動合成シェルSOFTEXSHELLを利用したプログラムジェネレータのプロトタィピング手法
- 項書換えシステムのソフトウェア自動合成への適用
- 制約ベース計画シェルCOASTOOLにおける数量計画機能の実現と評価
- 携帯端末向けファイルアクセスソフト自動合成環境(3) : ドキュメント生成プログラムの自動合成
- 携帯端末向けファイルアクセスソフト自動合成環境(2) : 自動合成シェルを用いた統合開発環境の構築
- 学校時間割編成問題における段階的編成手法の提案と評価
- ソフトウェア自動合成シェルSOFTEXSHELLを用いたドメイン指向ソフトウェア開発プロセス設計
- ソフトウェア自動合成シェルSOFTEXSHELLとソフトウェアモデル専用自動合成システム
- 大規模高信頼性プラットフォームの構築(2) : GUIアプリケーション構築のプラットフォーム
- 学校時間割自動編成システムの開発と評価
- 学校時間割自動編成システムにおける制約緩和手法の提案と評価
- プロセス産業を対象とした生産計画エキスパートシステム構築ツール(スケジューリング・パッケージ)
- ソフトウェア自動合成シェルSOFTEX/S(4) : 項書換え規則の互換性検証システム
- ソフトウェア自動合成シェルSOFTEX/S(3) : 項書換えシステムの直接実行方式とその高速化
- ソフトウェア設計エキスパートシステムSOFTEXにおけるパラメタライズ・プログラミング
- 仮説の選択が可能なATMS
- Rete方式におけるオブジェクト削除トークン処理の高速化
- 携帯端末向けファイルアクセスソフト自動合成環境(1) : プロトタイピングを可能にする統合開発環境
- 項書換えシステムに基づくソフトウェア自動合成システムの実現
- 第11回知能ソフトウェア工学国際会議(KBSE-96)報告
- アクティブネットワークと移動コード技術
- ネットワーク管理システムのアプリケーション開発環境(2) : ソフトウエア自動合成システムの適用
- ネットワーク管理システムのアプリケーション開発環境(1) : 開発フローの再構築
- プロセス産業を対象としたスケジューリングシステムアーキテクチャ