玉井哲雄 TAMAI Tetsuo

研究者番号	60217172
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2014年度: 法政大学, 理工学部, 教授 2007年度 – 2009年度: 東京大学, 大学院・総合文化研究科, 教授 2005年度 – 2006年度: 東京大学, 大学院総合文化研究科, 教授 2005年度: 東京大学, 大学院情報学環, 教授 2003年度 – 2005年度: 東京大学, 大学院・総合文化研究科, 教授 … もっと見る 2001年度 – 2004年度: 東京大学, 大学院・情報学環, 教授 1999年度 – 2001年度: 東京大学, 教養学部, 教授 1999年度 – 2000年度: 東京大学, 大学院・総合文化研究科, 教授 1999年度: 東京大学, 情報学環, 教授 1998年度: 東京大学, 大学院総合文化研究科, 教授 1997年度: 東京大学, 大学院・総合文化研究科, 教授隠す
審査区分/研究分野	研究代表者理工系 / ソフトウエア研究代表者以外計算機科学 / 理工系 / ソフトウエア
キーワード	研究代表者 requirements specification / type system / aspect-oriented programming / model checking / reuse / high reliability / component / software / Webサービス / 要求仕様 … もっと見る / 型システム / アスペクト指向 / モデル検査 / 再利用 / 高信頼性 / コンポーネント / ソフトウェア / ソフトウェア開発効率化、安定化 / ディスペンダブル、コンピューティング / ディペンダブル・コンピューティング / プログラム言語 / ディスペンタブル・コンピューティング / 要求工学 / ソフトウェア開発効率化・安定化 / 形式手法 / UML / ディスペンダブル・コンピューティング / ソフトウェア工学 / セキュリティ / アスペクト指向プログラミング … もっと見る研究代表者以外 SOFL / Security / Information Network / Information ＆ Communication Engineering / Information System / Informatics / 情報化 / 情報化社会 / GRID / 情報メディア / 人間情報処理 / コンテンツ / ソフトウェア / 情報セキュリティ / ネットワーク / 情報通信工学 / 情報システム / 情報学 / Software tools / Software engineering / Specification testing / Rigorous review / Formal specification / Formal method / Formal engineering methods / ソフトウェア分析 / ソフトウェア開発環境 / 形式的検証 / ソフトウェアテスト / 形式的工学手法 / ソフトウェア進化 / システム開発 / 形式的仕様 / 仕様分析 / 仕様テスト / 厳密なレビュー / ソフトウェア検証 / 形式工学手法 / Object-Oriented Design / Software tool / Specification Transformation / Object-oriented Design / To-down design / Formal Specification / Workflow / Formal Engineering Methods / security / concurrent garbage / graph search / theorem proving / abstract interpretation / model checking / Verification / 並行ゴミ集め / セキュリティ / 並列ゴミ集め / グラフ探索 / 定理証明 / 抽象解釈 / モデル検査 / 検証 / distributed data structure / active programming / multi-agent system / strong mode system / algebraic specification language / evolutional pattern / open and distributed systems / 発展可能仕様記述 / 漸増的プログラム解析 / 構造的振る舞い記述モデル / プログラム自動修正 / モジュール合成法 / オブジェクト進化プロセス / CafeOBT / 形式的仕様記述 / 並行論理プログラムのモード解析 / 並行オブジェクトの振舞い / 環境適応 / 振舞い仕様 / システムの多面的記述 / 発展可能ソフトウェア / 分散データ構造 / 能動形プログラミング / マルチエージェントシステム / 強モード体系 / 形式仕様記述 / 代数仕様言語 / 進化パターン / 開放分散系 / 型システム / モジュール化 / プログラミング言語 / ソフトウェア学 / ソフトウェア開発効率化・安定化 / 文脈指向 / アスペクト指向 / オブジェクト指向 / ソフトウェア・モジュール化隠す

ポスト・アスペクト指向時代の階層的分割と横断的分割を統合するモジュール化の研究
- 研究代表者
  
  千葉滋
- 研究期間 (年度)
  2010 – 2014
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウエア
- 研究機関
  東京大学
   東京工業大学
生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究研究代表者
- 研究代表者
  
  玉井哲雄
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウエア
- 研究機関
  東京大学
ITの深化の基盤を拓く情報学研究
- 研究代表者
  
  安西祐一郎
- 研究期間 (年度)
  2001 – 2005
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  慶應義塾大学
信頼性の高いコンポーネント技術の研究研究代表者
- 研究代表者
  
  玉井哲雄
- 研究期間 (年度)
  2001 – 2005
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  東京大学
描象モデル検査とその応用
- 研究代表者
  
  萩谷昌己
- 研究期間 (年度)
  1999 – 2001
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  東京大学
ソフトウェア開発における形式的工学手法
- 研究代表者
  
  劉少英
- 研究期間 (年度)
  1999 – 2001
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  法政大学
   広島市立大学
発展可能ソフトウェアの構築方法論の研究
- 研究代表者
  
  宮本衛市
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  重点領域研究
- 研究機関
  公立はこだて未来大学
   北海道大学

すべて 2009 2008 2007 2006 2005 2004 2002 その他

すべて雑誌論文図書

[図書] ソフトウエア工学の基礎2004
- 著者名/発表者名
  玉井哲雄
- 総ページ数
  270
- 出版者
  岩波書店
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13224013
[図書] ソフトウェア工学の基礎2004
- 著者名/発表者名
  玉井哲雄
- 総ページ数
  270
- 出版者
  岩波書店
- データソース
  KAKENHI-PROJECT-13224013
[図書] ソフトウェア工学の基礎2004
- 著者名/発表者名
  玉井哲雄
- 総ページ数
  282
- 出版者
  岩波書店
- データソース
  KAKENHI-PROJECT-13223001
[雑誌論文] Social Impact of Information System Failures2009
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Computer 42(6)
  
  ページ: 58-65
- 査読あり
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] Introduction to the RE'08 special issue2009
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Requirements Enginnring 14(4)
  
  ページ: 229-230
- 査読あり
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] Social Impact of Information System Failures2009
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Computer Vol. 42, No. 6
  
  ページ: 58-65
- 査読あり
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] 問題フレームについて2008
- 著者名/発表者名
  玉井哲雄
- 雑誌名
  
  情報処理 49(4)
  
  ページ: 364-370
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] Lightweight Dependent Classes, Proceedings of the 7th ACM Int'l Conf2008
- 著者名/発表者名
  Tetsuo Kamina, Tetsuo Tamai
- 雑誌名
  
  on Generative Programming and Components Engineering
  
  ページ: 113-124
- 査読あり
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] Contract-based Verification for Aspect-oriented Refactoring, Proceedings of 1st IEEE Int'l Conf2008
- 著者名/発表者名
  Naoyasu Ubavashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai
- 雑誌名
  
  on Software Testing, Verification, and Validation
  
  ページ: 180-189
- 査読あり
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] Lightweight Scalable Components, Proceedings of the 6th ACM Int'l Conf2007
- 著者名/発表者名
  Tetsuo Kamina, Tetsuo Tamai
- 雑誌名
  
  on Generative Programming and Components Engineering
  
  ページ: 145-154
- 査読あり
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] Objects as Actors Assuming Roles in the Environment2007
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  LNCS 4408
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] Ryoichi Ichiyama, Objects as Actors Assuming Roles in the Environment2007
- 著者名/発表者名
  Tetsuo Tamai, Naoyasu Ubayashi
- 雑誌名
  
  Software Engineering for Multi-Agent Systems V, LNCS4408
  
  ページ: 185-203
- 査読あり
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] An Aspect-oriented Weaving Mechanism Based on Component and Connector Architecture, Proceedings of the 22nd IEEE/ACM Int'l Conf2007
- 著者名/発表者名
  Naoyasu Ubavashi, Akihiro Sakai, Tetsuo Tamai
- 雑誌名
  
  on Automated Software Engineering
  
  ページ: 154-163
- 査読あり
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] A pedagogical View on Software Modeling and Graph-Structured Diagrams2006
- 著者名/発表者名
  Tamai, T
- 雑誌名
  
  Software Engineering Education in the Modem Age LNCS 4309
  
  ページ: 59-71
- データソース
  KAKENHI-PROJECT-18200001
[雑誌論文] Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities2005
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Proceedings of 10th International Conference on Engineering of Complex Computer Systems
  
  ページ: 261-272
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] プログラム解析を提供するAPIの実現とその適用2005
- 著者名/発表者名
  四野見秀明, 玉井哲雄
- 雑誌名
  
  コンピュータソフトウェア 22・1
  
  ページ: 91-97
- NAID
  130004638738
- データソース
  KAKENHI-PROJECT-13223001
[雑誌論文] An Adaptive Object Model with Dynamic Role Binding2005
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  27th International Conference on Software Engineering
  
  ページ: 166-175
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] Impact Analysis of Weaving in Aspect-Oriented Programming2005
- 著者名/発表者名
  H.Shinomi, T.Tamai
- 雑誌名
  
  International Conference on Software Maintenance
  
  ページ: 657-660
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13223001
[雑誌論文] Conquering the Eight-Tailed Dragon -An Attempt to Deal with Structural and Behavioral Complexities2005
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Proceedings of 10th International Conference on Engineering of Complex Computer Systems
  
  ページ: 261-272
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] How to Teach Software Modeling2005
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Proceedings of 27th International Conference on Software Engineering
  
  ページ: 609-610
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] An Adaptive Object Model with Dynamic Role Binding2005
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Proceedings of 27th International Conference on Software Engineering
  
  ページ: 166-175
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] Impact Analysis of Weaving in Aspect-Oriented Progamming2005
- 著者名/発表者名
  H.Shinomi, T.Tamai
- 雑誌名
  
  International Conference on Software Maintenance
  
  ページ: 657-660
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13223001
[雑誌論文] ソフトウェア進化プロセスの統計モデル2004
- 著者名/発表者名
  玉井哲雄
- 雑誌名
  
  コンピュータソフトウェア 21・3
  
  ページ: 1-10
- NAID
  110003743163
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] ソフトウェア進化プロセスの統計モデル2004
- 著者名/発表者名
  玉井哲雄
- 雑誌名
  
  コンピュータソフトウェア 21・3
  
  ページ: 1-10
- NAID
  110003743163
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] Analysis of Software Evolution Processes Using Statistical Distribution Models2002
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Proceedings of International Workshop on Principles of Software Evolution
  
  ページ: 120-123
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] Process of Software Evolution2002
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Proceedings of 1st International Symposium on Cyber Worlds
  
  ページ: 8-15
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] Evolvable Programming based on Collaboration-Field and Role Model2002
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Proceedings of International Workshop on Principles of Software Evolution
  
  ページ: 1-5
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13224013
[雑誌論文] An Adaptive Object Model with Dynamic Role Binding
- 著者名/発表者名
  Tetsuo Tamai
- 雑誌名
  
  Proceedings of 27th International Conference on Software Engineering
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13224013

1. 中島震 (60350211)

共同の研究課題数: 3件

共同の研究成果数: 0件
2. 鵜林尚靖 (80372762)

共同の研究課題数: 3件

共同の研究成果数: 1件
3. 増原英彦 (40280937)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 五十嵐淳 (40323456)

共同の研究課題数: 3件

共同の研究成果数: 0件
5. 千葉滋 (80282713)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 紙名哲生 (90431882)

共同の研究課題数: 2件

共同の研究成果数: 2件
7. 荒木啓二郎 (40117057)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 宮本衛市 (00001173)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 上田和紀 (10257206)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 富樫敦 (20172140)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 二木厚吉 (50251971)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 萩谷昌己 (30156252)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 山本光晴 (00291295)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 劉少英 (90264960)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 大場充 (50264966)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 新井紀子 (40264931)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 安西祐一郎 (40051875)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 安達淳 (80143551)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 松山隆司 (10109035)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 寺岡文男 (70338250)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 須藤修 (10179286)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 柴山悦哉 (80162642)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 金子知適 (00345068)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 青山幹雄 (40278073)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 高橋孝一

共同の研究課題数: 1件

共同の研究成果数: 0件

玉井 哲雄 TAMAI Tetsuo

研究課題

研究成果

共同研究者

ポスト・アスペクト指向時代の階層的分割と横断的分割を統合するモジュール化の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ITの深化の基盤を拓く情報学研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

信頼性の高いコンポーネント技術の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

描象モデル検査とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェア開発における 形式的工学手法

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

発展可能ソフトウェアの構築方法論の研究

研究代表者

研究期間 (年度)

研究種目

研究機関

[図書] ソフトウエア工学の基礎2004

著者名/発表者名

総ページ数

出版者

説明

データソース

[図書] ソフトウェア工学の基礎2004

著者名/発表者名

総ページ数

出版者

データソース

[図書] ソフトウェア工学の基礎2004

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] Social Impact of Information System Failures2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Introduction to the RE'08 special issue2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Social Impact of Information System Failures2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] 問題フレームについて2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Lightweight Dependent Classes, Proceedings of the 7th ACM Int'l Conf2008

著者名/発表者名

雑誌名

玉井哲雄 TAMAI Tetsuo

ソフトウェア開発における形式的工学手法