属性文法型計算モデルによる版・構成管理システムの記述
スポンサーリンク
概要
- 論文の詳細を見る
属性文法は,木構造上のノードに属性を張り付け,その上での属性計算を用いてさまざまな性質を表現しようとするものである.したがって,基本構造として木構造を持つオブジェクトは,属性文法を用いてその性質を記述することが可能である.本論文では,プログラムの開発時に使用されるツールである版管理システムと構成管理システムとを木構造を扱うシステムであると見なし,その属性文法による記述に関して報告する.これらのシステムは木構造を変更しながらユーザとのインタラクションにより処理を進めるシステムであり,従来は属性文法で記述するのは困難と考えられていた.本論文では,このような問題に対しても属性文法によるアプローチが有効であることを,具体的なシステムの記述を通して示す.インタラクティブなシステムを記述するために属性文法に必要とされる機構についても考察する.
- 一般社団法人情報処理学会の論文
- 1995-11-15
著者
-
片山 卓也
北陸先端科学技術大学院大学
-
篠田 陽一
北陸先端科学技術大学院大学情報科学センター
-
篠田 陽一
北陸先端科学技術大学院大学
-
今泉 貴史
東京工業大学理工学研究科
-
今泉 貴史
東京工業大学
-
今泉 貴史
東京工大 大学院
関連論文
- 名誉会員榎本肇博士を偲ぶ
- 3.法令工学 : 安心な社会システム設計のための総合ソフトウェア科学(情報処理技術の未来地図,50周年記念特集号)
- インターネット端末による地域情報化の試み
- コンテンツ流通の拡大再生産が起きていない地域でのインターネット展開
- 大月町における保健婦支援システムの構築
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- 複数経路を用いたP2Pネットワーク上でのネゴシエーションと鍵共有法(セキュリティ)
- 高信頼性・生産性組込みソフトウェア設計手法に関する調査研究
- StarBEDにおけるセキュリティとユーザビリティを考慮した物理構成(ネットワーク研究開発テストベッド運用・利用,ネットワーク研究開発テストベッド運用・利用,一般)
- ライブトラフィックを用いた模倣インターネットの安定性の検証 (技術と社会・倫理)
- FDARによるRFC4541問題の解決法(トラヒック解析・制御(4))
- メガノードマルチキャストシミュレーションに向けての送信実験報告(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- メガノードIPマルチキャストセンサネットに関する実験的検討(次世代網の品質、ネットワーク設計、ネットワーク制御、PONにおける帯域制御、アドミッション制御、トラヒックモデリング技術、一般)
- 実ノードを利用したネットワークシミュレーションにおけるノードへのOSの導入及びパラメータ設定機構の開発(セッション5 : ネットワーク管理)
- 階層化アクティブタグと歩行者位置推定(ユビキタス)
- StarBED : 大規模ネットワーク実証環境
- P2Pネットワークを用いた仮想IPネットワーク構築(セッション7-A : P2P(オーバーレイネットワーク))
- 大規模な散布型センサネットワークにおけるルーティング方式の検討(センサネット)
- IAAシステムの現状とその課題(●インターネット技術)
- ライブトラフィックを用いた模倣インターネットの安定性の検証(経路制御技術,インターネットと情報倫理教育,一般)
- 法令工学 : 安心な社会システム設計のための総合ソフトウェア科学
- オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 編集にあたって : 「学と産の連携による基盤ソフトウェアの先進的開発」の概観(学と産の連携による基盤ソフトウェアの先進的開発)
- 標準偏差フィルタによるインターネット定点観測システムのアドレス探索の保護(インターネットの測定・性能評価技術及び一般)
- 情報系学長,おおいに語る
- 電子社会と法令工学(法情報学最前線)
- P2Pネットワークを用いた仮想IPネットワーク構築(セッション7-A : P2P(オーバーレイネットワーク))
- StarBEDを利用したネットワーク体験演習環境の構築(教育システム開発論文,学習・教育支援のための技術開発)
- 複数経路を用いたP2Pネットワーク上でのネゴシエーションと鍵共有法(セキュリティ)
- 深い知識に基づくネットワーク故障診断エキスパートシステムの開発
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- ライブトラフィックを用いた模倣インターネットの安定性の検証(経路制御技術,インターネットと情報倫理教育,一般)
- 高品質インターネットから品質指向のインターネットへの飛翔
- 高品質インターネットから品質指向のインターネットへの飛翔
- マルウェア隔離実験環境の設計と実装 (特集 トレーサブルネットワーク特集) -- (仮想化技術の応用)
- インターネット上の脅威分析を支援する空間および時間的な特徴量に基づく分析手法(侵入検出・検知,情報システムを支えるコンピュータセキュリティ技術の再考)
- ネットワーク実験支援ソフトウェアの汎用アーキテクチャの提案(教育支援,ユーザ指向の分散システム/インターネットの運用・管理)
- メガノードマルチキャストシミュレーションに向けての送信実験報告(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- SpringOS/VM: 大規模ネットワークテストベッドにおける仮想機械運用技術(ネットワーク)
- Alloyを用いた構成変更支援ツールと適用実験
- コラボレーションに基づくオブジェクト指向モデルの検証(システム検証の科学技術)
- 状態遷移図の段階的構築のための論理的基盤
- (形式的仕様)振舞い近似手法を用いたステートチャートに対する不変性の検証(オブジェクト指向技術)
- プロセスモデルHFSPにおける実行状態の動的制御機構 (ソフトウェア工学の基礎)
- プロダクトラインのスコープ決定手法について
- Alloy を用いた構成変更支援ツールと適用実験
- 並行オブジェクトから並行処理列への変換法(ディペンダブルソフトウェア)
- オブジェクト指向方法論のための検証フレームワークに関する研究
- 構造指向型システムのための実行可能な仕様記述言語
- 組み込みシステム設計のためのObTSに基づく記述支援環境に関する研究
- 「属性文法とその応用」の連載開始にあたって
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 抽象解釈に基づく仕様の段階的具体化法
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- ソフトウェアプロセス適応のための形式的モデル
- 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
- 属性付き関数型計算モデルによるフォールトトレランスの実現
- オブジェクト指向属性文法OOAGによるソフトウェアリポジトリシステムの自動生成
- 属性文法型計算モデルによる版・構成管理システムの記述
- オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用
- オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化
- オブジェクト指向属性文法OOAGの高速な処理系の設計と実現
- 定理証明技術のオブジェクト指向分析への適用
- オブジェクト指向分析モデルの検証と公理系の提案
- コンテンツ流通の拡大再生産が起きていない地域でのインターネット展開
- 大月町における保健婦支援システムの構築
- パソコンと無縁のユーザに対する地域情報化の試み
- リアクティブシステムの発展的構成法の提案
- 特徴イベント列によるステートチャート間の通信モデル
- 並行オブジェクトモデルから並行スレッドモデルへの変換法
- 組み込みシステム設計における並行正規表現を用いたスレッド抽出法の適用
- 定理証明システムHOLにおけるオブジェクト指向理論の構築
- 並行動作するオブジェクトからの処理列の抽出法
- 並行動作するオブジェクトからの処理列の抽出法
- オブジェクト指向組み込みシステム開発のためのSES-Basedアプローチ
- 形式的オブジェクト指向分析モデルFO∀Mの構築法とその支援環境
- オブジェクト指向方法論のための形式的モデルの検証
- バージョン機能を持つオブジェクトベースの形式化
- 属性文法の一般化について
- リアクティブシステム記述体系AFSMの関数型言語による実現
- オブジェクト指向方法論のための形式的モデル
- さきがけ「機能と構成」領域研究報告
- 法令工学の提案 : 電子社会の仕様としての法律とその工学的アプローチ
- 1.高信頼性組み込みソフトウェア開発のための技術課題(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- フィーチャー指向分析を基にしたApacheの構成・設定の動的変更
- 6. 検証進化可能電子社会 : 情報科学による安心な電子社会の実現(21世紀卓越した情報研究拠点プログラムの目指す研究(後編))
- 発展ドメイン : ソフトウェア発展のための理論的枠組み
- 論文講評とSECへの期待
- 属性文法におけるコピールールを考慮した領域割り当てアルゴリズム
- 属性文法 : 現状と展望 ( 属性文法とその応用-VI)
- オブジェクト指向方法論OMTにおける動的モデルと機能モデルの整合性の検証
- 再帰的属性評価器における領域割り当て方法
- 初等中等教育における情報教育の必修化(情報技術の新時代に向けて)
- 第11回 進化発展するソフトウェアの原理 (ソフトウェア新時代)