Hichart構文エディタにおける部分プログラム図単位の編集機能
スポンサーリンク
概要
- 論文の詳細を見る
視覚的プログラム開発環境や図的プログラムがより一般のユーザに普及するためには図的構文エディタの開発が望まれる.図的構文エディタでは構文エラーのない任意のプログラム図が生成編集できなければならない.すなわち,(i)[健全性]文法的に正しい図が生成編集できる,かつ(ii)[完全性]任意の図が生成編集できる,という2つの性質が重要である.我々は構造化プログラム流れ図の一種として,Hichartを提案し,その処理系の開発を行ってきた.今回,大井等のPascal対応Hichart属性グラフ文法[1]に基づいて編集モデルを定義し編集操作を形式化し,上記の健全性と完全性を満たす図的構えエディタを開発した.本論文ではこの編集モデルと編集操作に基づき,部分プログラム図を単位とした編集機能を形式化した.その結果,この編集機能も健全性と完全性を保つ.
- 一般社団法人情報処理学会の論文
- 1996-03-06
著者
関連論文
- 直方体分割の24次格子グラフ表現とその応用 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 24分格子グラフによる直方体分割の描画
- 24分格子グラフによる直方体分割の描画
- ユーザ思考を考慮したブックマークの視覚化 (先端メディアの教育利用と教材データの格納・再利用/一般
- 4L-4 組み込みソフト向けHichart開発環境における動作仕様検査(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 研究情報推移グラフによる情報の個人管理・共有手法(コンテンツ技術,データ工学論文)
- 文脈依存NCEグラフ文法とその構文解析可能性
- Prologプログラム図の属性グラフ文法に基づく定式化
- 制約処理機能を持つスプレッドシート
- ブロック線図文法(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- D-15-3 協調学習における動的グループ編成の可視化
- D-3-2 順位グラフ文法によるプログラム仕様書の定式化
- D-1-1 グラフ文法に基づく図形言語設計支援システム
- あるクラスの文脈依存グラフ文法とその性質 (計算モデルとアルゴリズム)
- D-1-4 埋め込み過程が隣接ノードにより制御される文脈依存グラフ文法
- あるクラスの文脈依存グラフ文法とその構文解析
- ブロック線図文法を用いたシステム構造の生成と解析
- 属性シグナルフローグラフ文法
- シグナルフローグラフのためのグラフ文法
- Prologプログラムの実行過程の可視化
- 多入力多出力ブロック線図文法
- 木構造図描画支援システム
- 属性ブロック線図文法
- 学術論文関係情報のグラフ描画問題に基づく視覚化手法(教育工学)
- Syntactic Characterization of Two-Dimensional Grid Graphs by a Context-Sensitive Graph Grammar(New Trends in Theory of Computation and Algorithm)
- グラフ文法による図と表の処理の定式化
- 形式的文書操作のための表形式用XMLビューア
- Application of Attribute edNCE Graph Grammars to Syntactic Editing of Tabular Forms (New Developments of Theory of Computation and Algorithms)
- D-3-9 edNCEグラフ文法によるカルノー図型の表の作成
- D-3-8 属性edNCEグラフ文法による表のXML表現
- D-3-7 A Syntax Directed Environment for Tabular Form Processing
- 属性edNCEグラフ文法による表の構文的編集
- NCEグラフ文法による図表の構文的処理
- 表形式のプログラム仕様書のためのグラフ文法
- 3B-7 Octgridに基づく表編集アルゴリズム(アルゴリズムとその応用,一般セッション,ソフトウェア科学・工学)
- 2B-2 最急降下モデルによる日本全域尾根線つき3次元地形図の作成(数理モデル化と問題解決,一般セッション,ソフトウェア科学・工学)
- D-12-32 Octgridに基づく効率的な3D地形図生成法(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- 表の格子グラフモデルと編集アルゴリズム
- 多層型矩形分割に対する16分格子グラフ表現 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- D-3-3 組み込みソフトウェア向けHichart処理系の開発(D-3. ソフトウェアサイエンス,一般セッション)
- D-1-4 Octgridに対する属性グラフ文法による矩形数え上げ(D-1. コンピュテーション,一般セッション)
- A-6-13 24-ary Grid Graph Representation for the Rectangular Solid Dissections
- K-019 3D偏光立体視システムを利用した地理情報教材(K分野:教育工学・福祉工学・マルチメディア応用)
- A-003 8分格子モデルを用いた地形的特徴の認識システム(A分野:モデル・アルゴリズム・プログラミング)
- D-12-12 H7CODEに基づくVRML地形図エディタの開発(D-12.パターン認識・メディア理解,一般講演)
- D-1-3 Octgridに対するパーザの開発(D-1.コンピュテーション,一般講演)
- D-1-2 スライス構造の表に対するグラフ文法(D-1.コンピュテーション,一般講演)
- 3D立体表示による地理・地学教育支援教材の応用可能性(教育におけるセキュリティ/一般)
- 6H-1 初期官報バックナンバー閲覧システムの開発(情報システムのインタフェース,一般セッション,コンピュータと人間社会)
- 文脈依存NCEグラフ文法とその構文解析可能性
- シグナルフローグラフのためのグラフ文法
- 多入力多出力ブロック線図文法
- 表編集のアルゴリズム (計算機科学基礎理論の新展開)
- J-047 多重解像度3D地形図の8分グラフ表現(J分野:グラフィクス・画像)
- A-039 あるクラスの属性グラフ文法に対する属性評価アルゴリズム(A.モデル・アルゴリズム・プログラミング)
- NCE文脈依存グラフ文法の構文解析可能条件
- 地形の特徴抽出モデルと3次元地形図への応用(セッション6)
- 属性グラフ文法によるビジネス文書の定式化(セッション3)
- グラフ文法によるビジネス文書の定式化の試み
- ブロック線図文法とグラフ書き換えによる構造認識
- グラフ書き換えによるブロック線図の構造認識とその応用
- 属性グラフ文法のブロック線図およびシグナルフロー線図への応用
- RECURSIVE ENUMERABILITY IN SET THEORY (Algorithms and Theory of Computing)
- ある種のグラフの極大マッチングを与える線形時間アルゴリズム (情報科学の数学的基礎理論と応用)
- フローグラフの分枝数について (組合せ構造とグラフ理論)
- 不確定セルオートマタによる不確定並列写像の逆写像と単射性について (オートマトン理論と数理言語の研究)
- 不確定セルオートマタに対する並列写像の全射性について (情報科学の数学的理論)
- 図形型プログラム言語のグラフ文法による定義
- VRMLによる3D地形図を利用した地理・地学のためのWBTコンテンツ(教育実践システムと学習評価/一般)
- オントロジーに基づく数学教育支援システムの提案(教育実践システムと学習評価/一般)
- D-3-9 Hichart エディタにおける属性評価による開発支援機能
- D-3-4 ソフトウェア仕様書の XML によるデータベース化
- 表インターフェースのための属性付きグラフとアルゴリズム
- D-3-1 属性edNCEグラフ文法に基づくHichartエディタ
- 属性順位グラフ文法によるプログラム図の構文解析
- 構文指向図式エディタの属性グラフ文法による形式化
- 属性グラフ文法に基づく視覚的プログラミング環境の開発 : C 対応 Hichart統合システム
- 木構造図の描画手法の評価
- Prologプログラムの属性グラフ文法に基づいた可視化
- Prologプログラムの属性グラフ文法に基づいた可視化
- 制約プログラミングによる木の描画
- Hichart構文エディタにおける部分プログラム図単位の編集機能
- DXL対応Hichartの属性グラフ文法による定式化とトランスレータの実現
- 制約プログラミングによる木の美的描画
- Pascal対応Hichartの属性グラフ文法の拡張とオートフローチャータ
- 属性グラフ文法に基づくHichartからPascalへのトランスレータ
- 属性グラフ文法に基づいたHichartエディタ
- 属性グラフ文法に基づいたHichartエディタ
- 属性グラフ文法に基づいたHichartエディタ
- 図形による仕様記述の方法とその支援システム
- Hiform仕様記述に基づくプログラム・データベース
- 属性文法を用いたPascal-Hichartトランスレータ
- オントロジーに基づく数学教育支援システムの提案 (教育実践システムと学習評価)
- プログラム図に対する描画を考慮したNCE属性グラム文法
- プログラム図によるプログラム言語教育のマルチメディア環境
- D-12-3 Octgridに基づく3D地形図の自動生成(D-12.パターン認識・メディア理解,一般セッション)
- 最急上昇法による尾根抽出 (計算機科学とアルゴリズムの数理的基礎とその応用)
- フレーム型知識ベースシステムINTELLIBASEとその検索機能
- 階層型知識ベ-ス管理システムの実現
- ユーザ思考を考慮したブックマークの可視化 (テーマ:先端メディアの教育利用と教材データの格納・再利用)