鈴木 正人 | 北陸先端科学技術大学院大
スポンサーリンク
概要
関連著者
-
鈴木 正人
北陸先端科学技術大学院大
-
鈴木 正人
北陸先端科学技術大学院大学
-
鈴木 正人
北陸先端科学技術大学院大学情報科学研究科
-
片山 卓也
北陸先端科学技術大学院大学
-
片山 卓也
中部大学大学院
-
豊島 真澄
北陸先端科学技術大学院大学情報科学研究科
-
鈴木 正人
(株)ルネサステクノロジ
-
鈴木 正人
東京工業大学情報理工学研究科計算工学
-
吉岡 信和
北陸先端科学技術大学院大学情報科学研究科
-
鈴木 正人
東京工業大学大学院情報理工学研究科
-
落水 浩一郎
北陸先端科学技術大学院大学情報科学研究科
-
篠田 陽一
北陸先端科学技術大学院大学情報科学センター
-
落水 浩一郎
北陸先端科学技術大学院大学
-
落水 浩一郎
北陸先端大
-
Cherif Adel
北陸先端科学技術大学院大学情報科学研究科
-
Schlichting Richard
アリゾナ大学計算機科学研究科
-
Schlichting Richard
アリゾナ大学
-
荒木 啓二郎
北陸先端科学技術大学院大学情報科学研究科
-
藤枝 和宏
北陸先端科学技術大学院大学
-
高野 祐輝
北陸先端科学技術大学院大学情報科学研究科
-
早坂 良
北陸先端科学技術大学院大学情報科学研究科
-
篠田 陽一
北陸先端科学技術大学院大学
-
篠田 陽一
北陸先端科学技術大学院大学情報科学センター:独立行政法人情報通信研究機構
-
磯部 祥尚
産業技術総合研究所
-
渡部 卓雄
北陸先端科学技術大学院大学
-
鰺坂 恒夫
和歌山大学
-
磯部 祥尚
電子技術総合研究所
-
渡部 卓雄
東京工業大学大学院情報理工学研究科計算工学専攻
-
藤枝 和宏
北陸先端科学技術大学院大
-
高野 祐輝
北陸先端科学技術大学院大学 情報科学研究科
-
吉岡 信和
北陸先端技術大学院大学情報科学研究科
-
鈴木 正人
北陸先端技術大学院大学情報科学研究科
-
片山 卓也
北陸先端技術大学院大学情報科学研究科
-
新倉 諭
北陸先端科学技術大学院大学情報科学研究科
-
秋山 裕俊
北陸先端科学技術大学院大学情報科学研究科
-
杉森 隼人
北陸先端科学技術大学院大学情報科学研究科
-
北山 真太郎
北陸先端科学技術大学院大学知識科学研究科
-
中島 健至
北陸先端科学技術大学院大学情報科学研究科
-
田畑 敦史
北陸先端科学技術大学院大学
-
海津 智宏
北陸先端科学技術大学院大学
-
鯵坂 恒夫
和歌山大学情報工学科
著作論文
- ソースコード理解支援機能を持つ開発環境(開発支援(学生セッション))
- メトリクスの測定によるリファクタリング支援の自動化(メトリクス(学生セッション))
- Java WEB アプリケーションにおける通信特性の解析と可視化
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 抽象解釈に基づく仕様の段階的具体化法
- データドメインの詳細化に基づくプログラムの段階的構成法
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障ソフトウェアのための安定記憶の構成方法 : 並列関数型言語CMLによる実装
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- ソフトウェアプロセス適応のための形式的モデル
- 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
- 2.代表的なプロセス記述言語の特徴 : 共通例題による比較 (ソフトウェアプロセス)
- 共通例題 ソフトウェアプロセスモデリングのための例題(付録) (ソフトウェアプロセス)
- 属性付き関数型計算モデルによるフォールトトレランスの実現
- 履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法
- オープンソースソフトウェア開発に適したリポジトリ分散の支援機構(開発支援(1)(学生セッション))
- プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
- ソフトウェア工学の基礎ワークショップ(FOSE '96)の報告