リアクティブ・データフロー型ドキュメントブラウザのためのドキュメント・プログラミング
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア改造時におけるドキュメント分析作業を支援するため,我々は先に,リアクティブ・データフロー型ドキュメントブラウザを提案した.本ブラウザでは,ドキュメント分析過程をデータフロープログラムにより表現する.さらに,そのプログラムをユーザの違いを表すユーザレベルに適応させながら実行することによりドキュメント表示を行う.本稿では,ユーザレベルに応じてノードを選択的に実行させるために必要なレベル付きデータフロープログラム,および,その実行制御法について述べる.さらに,レベル付きデータフロープログラムにおける構造とデータフローに関する妥当性の検証法について述べる.
- 一般社団法人情報処理学会の論文
- 1993-10-29
著者
関連論文
- NTPを用いた追跡可能な時刻配送システムの設計(セッション2 : ドキュメント管理・流通基盤技術)
- フロー周波数安定度解析を用いたQoSパッシブ測定法
- インタ-ネットQoSビジュアライザを用いた品質測定実験 (特集 リアルタイム並列分散処理技術)
- インタ-ネットQoSビジュアライザ (特集 リアルタイム並列分散処理技術)
- FEC方式に基づくオーディオアプリケーションにおけるネットワークQoSのLWを用いた品質測定
- インターネットQoSビジュアライザのための実時間データ処理システムの構成
- オーディオパケット品質の適応型再構築手法に関する考察
- インターネットQoSビジュアライザを用いた遅延とジッターの測定
- インターネットQoSビジュアライザの設計と実現
- インターネットQoSビジュアライザにおけるQoS測定方法
- インターネットQoSビジュアライザの構成
- プロセス分解代数に基づくデータフロー図の段階的詳細化における変換の一意性と再利用性
- プロセス分解代数に基づくデータフロー図の段階的詳細化
- プロセス分解代数に基づくデータフロー図の段階的詳細化システムの設計と実現
- インターネットにおける経路制御監視方式とネットキーパーへの実装
- 研究用Interne***ボーンの運用について : 省際研究情報ネットワークを例にして
- 省際研究情報ネットワークの構成について
- 省際研究情報ネットワークの接続形態
- インターネットにおける実時間品質測定システムの実現
- インタ-ネットバックボ-ンにおける経路診断システム (インタ-ネット管理)
- インターネットにおけるQoSビジュアライザ
- リアクティブ・データフロー型ドキュメントブラウザの実現
- リアクティブ・データフロー型ドキュメントブラウザのためのドキュメント・プログラミング
- プレスブルガー算術を用いたInfeasible Pathの検出
- 経路依存フローグラフのデータフロー計算に基づくプログラムスライス作成法
- PVMプログラムのための再演型デバッガの実現と評価
- 区間設定可能なプログラムスライシングを用いたソフトウェア部品の作成
- 区間限定スライスを用いた再利用部品抽出手法の評価
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- 区間限定スライスを用いた部品作成システムの評価
- 区間限定スライスを用いた部品作成システムの評価
- 要求駆動型再演機能を持つPVMプログラムデバッガXdbxR/PVM
- 経路依存フローグラフを用いたプログラムスライシング
- 適応的再演型ロック命令を用いた並列プログラムデバッガの実現
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- 重み付き依存グラフを用いたソフトウェア部品の洗練
- プログラム・スライシングによるソフトウェア部品の作成
- WSクラスタ型並列IPルータ実験システムCORErouter-I
- 並列IPルータCORErouterにおける並列パケットフィルタ機構の提案
- 非同期通信環境における連続データのQoS保証に関する考察
- WSクラスタを用いたCORErouterプロトタイプの評価
- WSクラスタを用いたCORErouterプロトタイプの構成
- 柔軟でスケーラブルな高性能並列ルータCORErouterの基本構想
- 適応的再演型並列プログラムデバッガのPVM上での実現
- 適応的再演型並列プログラムデバッガのPVM上での実現
- メッセージパッシング型並列プログラムのための適応的再演型デバッガdbxR-II
- 適応的再演型ロック命令を用いた並列プログラムデバッガ
- 適応型ロック機構を用いた並行プロセスのコスケジューリングについて
- ソフトウェア・マイグレーション向き計算環境モデルの作成法
- ソフトウェア・マイグレーション向き計算環境モデルを用いたソフトウェアの実装法
- ソフトウェア・マイグレーションのための計算環境のモデル化
- 広域時計を用いた等時性保証通信の実現法
- 並列分散型連続メディア処理モデルHEARTSにおける同時性保証機構
- 細粒度オブジェクト空間を用いたCASEデータベースのトランザクション処理モデル
- リアクティブ・データフロー型ドキュメントブラウザにおけるユーザレベルへの適応表示制御
- リアクティブデータフロー・モデルの基づくドキュメントブラウザの設計と実現
- ソフトウェア意味構成管理モデルにおけるスライシング技法を用いたプログラム解析
- 経路依存フローグラフを用いたInfeasible Path検出における計算量削減法
- 経路依存フローグラフを用いたプログラム解析システム
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フローグラフを用いたInfeasible Path検出法
- 経路依存フローグラフを用いたプログラム・スライシング
- 意味構成管理システムを用いた修正プログラムにおける相互干渉の検出