玉井 哲雄 | 東京大学
スポンサーリンク
概要
関連著者
-
玉井 哲雄
東京大学
-
玉井 哲雄
東京大学大学院情報学環
-
玉井 哲雄
東京大学大学院
-
鵜林 尚靖
九州工業大学大学院情報工学府
-
鵜林 尚靖
株式会社東芝SI技術開発センター
-
稲葉 雅幸
東京大学
-
中島 震
国立情報学研究所
-
紙名 哲生
東京大学
-
紙名 哲生
東京大学大学院総合文化研究科
-
中島 震
法政大学&科学技術振興機構さきがけ
-
外山 芳人
東北大学電気通信研究所
-
鵜林 尚靖
(株)東芝:東大
-
中谷 多哉子
有限会社エス・ラグーン
-
中島 震
Necネットワーキング研究所
-
中島 震
NEC情報通信メディア研究本部
-
熊澤 努
東京大学大学院総合文化研究科
-
楠 和泰
東京大学大学院
-
木下 喜幸
東京大学総合文化研究科
-
玉井 哲雄
東京大学総合文化研究科
-
四野見 秀明
日本アイ・ビー・エム株式会社ソフトウェア開発研究所
-
中島 洋
慶應義塾大学
-
玉井 哲雄
東京大学大学院総合文化研究科広域システム専攻
-
方 学芬
SRA 先端技術研究所
-
鵜林 尚靖
(株)東芝
-
外山 芳人
東北大学
-
四野見 秀明
日本アイ・ビー・エム株式会社 サイエンス・インスティチュート
-
中島 震
国立情報学研
-
四野見 秀明
日本アイ・ビー・エム
著作論文
- アスペクト指向技術とSNMPによるコンポーネント稼動状態測定フレームワーク
- アスペクト概念を持つステートダイアグラムの提案(アスペクト指向)
- アスペクト指向プログラミングへのモデル検査手法の適用(オブジェクト指向技術)
- モデル検査によるアスペクト指向プログラミングの検証
- EJBコンポーネントアキテクチャのSPINによる振舞い解析(ソフトウェア工学の基礎)
- ソフトウェア進化プロセスの統計モデル
- LispへのXML文書構造変換言語の埋め込みとそれのシャッフル表現への拡張
- Lispを基にした新しいXMLプログラミングツール実現手法 (2002年情報学シンポジウム 講演論文集--情報社会のセマンティクスXMLとSemantic Web,電子政府への展望,ロボットとの共生) -- (セッション2:XML)
- ソフトウェア工学とさまざまな領域の行き来
- 1. ソフトウェア工学の40年(ソフトウェア工学温故知新)
- 3 問題フレームについて(要求工学)
- ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案(学生セッション I_要求獲得・分析)
- 新しいソフトウェアの実現 : 科研「情報学」プロジェクトA01柱を振り返って(「情報学を創る」-科研プロジェクトがめざしたもの)
- グラフ手法によるJavaプログラムの構造と構造変化の分析
- プログラム解析を提供するAPIの実現とその適用
- セキュリティポリシー変更に関するデザイン解析
- Frederick P. Brooks, jr. : The Mythical Man-Month : Essays on Software Engineering, Addison-Wesley(1975)(20世紀の名著各論)
- ロール概念に基づく発展型移動エージェント
- 経済ジャーナリストと計算機科学者の対話
- Enterprise JavaBeans^TMサーバ仕様の形式化と検証
- システム理解のための分散システムアーキテクチャの抽出
- 特集「新しいソフトウェアの実現」の編集にあたって(サイバー増大号)