2.代表的なプロセス記述言語の特徴 : 共通例題による比較 (<特集>ソフトウェアプロセス)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1995-05-15

著者

• 鈴木 正人

  北陸先端科学技術大学院大学情報科学研究科

• 鈴木 正人

  北陸先端科学技術大学院大学

• 鈴木 正人

  北陸先端科学技術大学院大

関連論文

• ウインターワークショップ・イン・金沢報告 : 総括
• プロセッサの仕様に適応可能なコンパイラのための汎用最適化器
• ソースコード理解支援機能を持つ開発環境(開発支援(学生セッション))
• メトリクスの測定によるリファクタリング支援の自動化(メトリクス(学生セッション))
• Java WEB アプリケーションにおける通信特性の解析と可視化
• 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
• 抽象解釈に基づく仕様の段階的具体化法
• データドメインの詳細化に基づくプログラムの段階的構成法
• 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
• 疎結合分散環境におけるプロセッサ割り当てに関する考察
• 耐故障ソフトウェアのための安定記憶の構成方法 : 並列関数型言語CMLによる実装
• 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
• 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
• 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
• 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
• ソフトウェアプロセス適応のための形式的モデル
• 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
• 2.代表的なプロセス記述言語の特徴 : 共通例題による比較 (ソフトウェアプロセス)
• 共通例題 ソフトウェアプロセスモデリングのための例題(付録) (ソフトウェアプロセス)
• 属性付き関数型計算モデルによるフォールトトレランスの実現
• 履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法
• オープンソースソフトウェア開発に適したリポジトリ分散の支援機構(開発支援(1)(学生セッション))
• オープンソースソフトウェア開発に適したリポジトリ分散の支援機構
• 位置透過性をもつコンポーネント構成手法とフレームワーク
• リファクタリングとコンポーネント技術による既存ソフトウェアの拡張手法
• 可用性向上の為のソフトウェア再構成機構
• APSEC2000参加報告
• 分散環境における耐故障ソフトウェアの動的再配置
• 既存ソフトウェアのターゲットアーキテクチャ変更に関する研究
• 分散環境における耐故障ソフトウェアのためのフレームワーク : Java RMIによる実装
• プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
• ソフトウェア工学の基礎ワークショップ(FOSE '96)の報告
• 急性虫垂炎に対する治療戦略
• SV-1-1 胸腹部大動脈瘤に対するopen surgery(SV-1 特別ビデオセッション(1)心臓・血管-1,第112回日本外科学会定期学術集会)
• 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
• PS-146-8 当科での肝胆膵手術におけるSSIの減少を目指した術前immunonutntionの試み(PS-146 肝 基礎・その他,ポスターセッション,第112回日本外科学会定期学術集会)
• PS-138-7 下部直腸癌に対する術後排便機能に着目した括約筋間切除術(PS-138 大腸 低侵襲,ポスターセッション,第112回日本外科学会定期学術集会)
• PS-130-1 高度進行直腸癌に対する術前補助療法の比較検討(PS-130 大腸 集学的治療-1,ポスターセッション,第112回日本外科学会定期学術集会)
• PS-015-8 治癒切除不能大腸癌に対するOPTIMOX1療法の治療成績(PS-015 大腸 化学療法-2,ポスターセッション,第112回日本外科学会定期学術集会)
• SF-119-6 ITを用いた乳癌手術 : いわゆるユビキタス環境への取り組み(SF-119 サージカルフォーラム(119)乳腺 画像診断,第112回日本外科学会定期学術集会)
• VSY-1-3 当科におけるMinimally invasive surgeryとしての腹腔鏡下膵切除の現況と問題点(VSY-1 ビデオシンポジウム(1)膵の縮小手術-その適応と問題点-,第112回日本外科学会定期学術集会)
• 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
• 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
• VD-018-1 基部置換を伴わない大動脈弁形成術のコンセプトと手技(VD-018 ビデオセッション(18)心血管,第112回日本外科学会定期学術集会)

もっと見る 閉じる

スポンサーリンク