玉井 哲雄 | 東京大学大学院
スポンサーリンク
概要
関連著者
-
玉井 哲雄
東京大学大学院情報学環
-
玉井 哲雄
東京大学大学院
-
玉井 哲雄
東京大学
-
鵜林 尚靖
九州工業大学大学院情報工学府
-
中島 震
国立情報学研究所
-
阿部 昭博
松下電器産業(株) マルチメディアシステム研究所
-
鵜林 尚靖
株式会社東芝SI技術開発センター
-
中島 震
NEC情報通信メディア研究本部
-
玉井 哲雄
千葉大学工学部デザイン工学科
-
阿部 昭博
松下電器産業(株)東京研究所
-
中島 震
国立情報学研
-
青山 幹雄
南山大学数理情報学部情報通信学科
-
野呂 昌満
南山大学情報理工学部ソフトウェア工学科
-
鈴木 正人
北陸先端科学技術大学院大学情報科学研究科
-
鈴木 正人
北陸先端科学技術大学院大学
-
野呂 昌満
南山大学
-
野呂 昌満
南山大
-
藤枝 和宏
北陸先端科学技術大学院大学
-
落水 浩一郎
北陸先端科学技術大学院大学情報科学研究科
-
鈴木 正人
東京工業大学情報理工学研究科計算工学
-
中島 震
法政大学&科学技術振興機構さきがけ
-
落水 浩一郎
北陸先端科学技術大学院大学
-
鵜林 尚靖
(株)東芝:東大
-
中谷 多哉子
有限会社エス・ラグーン
-
中島 震
Necネットワーキング研究所
-
中谷 多哉子
SLagoon
-
安達 隆
(株)情報技術コンソーシアム
-
山浦 直人
(株)情報技術コンソーシアム
-
黒田 健司
(株)情報技術コンソーシアム
-
今井 克則
(株)グラッツ
-
小林 康夫
東京大学 大学院総合文化研究科
-
小橋 一夫
松下通信工業(株)情報システム事業部
-
熊澤 努
東京大学大学院総合文化研究科
-
楠 和泰
東京大学大学院
-
四野見 秀明
日本アイ・ビー・エム株式会社ソフトウェア開発研究所
-
藤枝 和宏
北陸先端科学技術大学院大
-
野呂 昌満
南山大学情報理工学部
-
玉井 哲雄
東京大学大学院総合文化研究科広域システム専攻
-
方 学芬
SRA 先端技術研究所
-
小林 康夫
東京大学大学院総合文化研究科超域文化科学
-
小橋 一夫
松下通信工業株式会社情報システム事業部
-
鈴木 正人
東京工業大学大学院情報理工学研究科
-
鵜林 尚靖
(株)東芝
-
四野見 秀明
日本アイ・ビー・エム株式会社 サイエンス・インスティチュート
-
青山 幹雄
南山大学数理情報学部
-
四野見 秀明
日本アイ・ビー・エム
著作論文
- アスペクト指向技術とSNMPによるコンポーネント稼動状態測定フレームワーク
- アスペクト概念を持つステートダイアグラムの提案(アスペクト指向)
- アスペクト指向プログラミングへのモデル検査手法の適用(オブジェクト指向技術)
- モデル検査によるアスペクト指向プログラミングの検証
- 振る舞い仕様の実行時モニタリング
- ウインターワークショップ・イン・金沢報告 : 総括
- EJBコンポーネントアキテクチャのSPINによる振舞い解析(ソフトウェア工学の基礎)
- ユースケース定義のためのメタモデルの構築
- ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案(学生セッション I_要求獲得・分析)
- プログラム解析を提供するAPIの実現とその適用
- セキュリティポリシー変更に関するデザイン解析
- Frederick P. Brooks, jr. : The Mythical Man-Month : Essays on Software Engineering, Addison-Wesley(1975)(20世紀の名著各論)
- ロール概念に基づく発展型移動エージェント
- Enterprise JavaBeans^TMサーバ仕様の形式化と検証
- システム理解のための分散システムアーキテクチャの抽出
- 江戸日本橋町人地の幕藩制的構造 : 江戸町人地の研究 (2)
- 江戸日本橋町人地における幕藩制的構造の確立 : 江戸町人地の研究 (1)
- 輸配送計画システムのドメインモデル構築とその要求分析への応用
- IDEFを用いたスケジューリングシステム開発プロセスのモデル化
- Enterprise JavaBeans~TMサーバ仕様の形式化と検証
- 芸術哲学者と計算機科学者の対話