ソフトウェア自動合成シェルSOFTEX/S(4) : 項書換え規則の互換性検証システム
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア自動合成シェルSOFTEX/Sの変換規則の互換性検証システムを作成した。このシステムは、SOFTEX/Sによって生成された専用ジェネレータの出力プログラムが構文的に正しいことを保証するために、専用ジェネレータ生成のための変換規則作成者の強力な支援環境となる。
- 一般社団法人情報処理学会の論文
- 1993-03-01
著者
-
渡辺 正信
Nec 流通サービス業システム開発本部
-
渡辺 正信
Nec C&c研究所
-
山之内 徹
Nec C&c研究所
-
山之内 徹
Nec C&cメディア研究所
-
山之内 徹
Nec マイコンソフト開発環境研究所:nec C&c研究所
-
佐藤 明良
NEC C&Cシステム研究所
-
三木 雅人
NEC 伝送共通技術本部
-
三木 雅人
NEC C&Cシステム研究所
-
佐藤 明良
Nec C&c 研究所
-
渡辺 正信
Nec C&cシステム研究所
関連論文
- CLにおける競合解消向ルールコンパイラ
- CLにおける逐次実行向けルールコンパイラ
- 論理合成システムの統計的制御
- 論理合成システムEXLOGにおけるテクノロジマッピング
- ソフトウェア自動合成シェル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方式におけるオブジェクト削除トークン処理の高速化
- VLSI設計エキスパートシステムにおける知識獲得 (VLSI設計の新しい流れ)
- パソコン生産計画エキスパートシステムの開発と評価(エキスパートシステム)
- パソコン生産計画エキスパートシステムの開発と評価
- 制約ベース計画シェルCOASTの開発と評価
- エキスパートシステムにおける知識獲得 (エキスパート・システム)
- (7) : エキスパートシステム手法のスケジューリング問題への応用 : スケジューリング問題の新解法
- 携帯端末向けファイルアクセスソフト自動合成環境(1) : プロトタイピングを可能にする統合開発環境
- 項書換えシステムに基づくソフトウェア自動合成システムの実現
- 第11回知能ソフトウェア工学国際会議(KBSE-96)報告
- プロセス産業を対象としたスケジューリングシステムアーキテクチャ