TAMAI Tetsuo 玉井哲雄

Researcher Number	60217172
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2014: 法政大学, 理工学部, 教授 2007 – 2009: The University of Tokyo, 大学院・総合文化研究科, 教授 2005 – 2006: The University of Tokyo, Graduate School of Arts and Sciences, Professor, 大学院総合文化研究科, 教授 2005: University of Tokyo, Graduate School of Arts and Sciences, Professor, 大学院情報学環, 教授 2003 – 2005: 東京大学, 大学院・総合文化研究科, 教授 … More 2001 – 2004: Graduate School of Interfaculty Initiative in Information Studies, The University of Tokyo, Professor, 大学院・情報学環, 教授 1999 – 2001: 東京大学, 教養学部, 教授 1999 – 2000: 東京大学, 大学院・総合文化研究科, 教授 1999: University of Tokyo, Interfaculty Initiative in Information Studies, Professor, 情報学環, 教授 1998: 東京大学, 大学院総合文化研究科, 教授 1997: 東京大学, 大学院・総合文化研究科, 教授 Less
Review Section/Research Field	Principal Investigator Science and Engineering / Software Except Principal Investigator 計算機科学 / Science and Engineering / Software
Keywords	Principal Investigator requirements specification / type system / aspect-oriented programming / model checking / reuse / high reliability / component / software / Webサービス / 要求仕様 … More / 型システム / アスペクト指向 / モデル検査 / 再利用 / 高信頼性 / コンポーネント / ソフトウェア / ソフトウェア開発効率化、安定化 / ディスペンダブル、コンピューティング / ディペンダブル・コンピューティング / プログラム言語 / ディスペンタブル・コンピューティング / 要求工学 / ソフトウェア開発効率化・安定化 / 形式手法 / UML / ディスペンダブル・コンピューティング / ソフトウェア工学 / セキュリティ / アスペクト指向プログラミング … More Except Principal Investigator 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 / 形式的仕様記述 / 並行論理プログラムのモード解析 / 並行オブジェクトの振舞い / 環境適応 / 振舞い仕様 / システムの多面的記述 / 発展可能ソフトウェア / 分散データ構造 / 能動形プログラミング / マルチエージェントシステム / 強モード体系 / 形式仕様記述 / 代数仕様言語 / 進化パターン / 開放分散系 / 型システム / モジュール化 / プログラミング言語 / ソフトウェア学 / ソフトウェア開発効率化・安定化 / 文脈指向 / アスペクト指向 / オブジェクト指向 / ソフトウェア・モジュール化 Less

A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era
- Principal Investigator
  
  CHIBA Shigeru
- Project Period (FY)
  2010 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
  Tokyo Institute of Technology
Aspect-Oriented Software Development Methodology for Enhancing Productivity and SafetyPrincipal Investigator
- Principal Investigator
  
  TAMAI Tetsuo
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Information Studies for the Foundation of IT Evolution
- Principal Investigator
  
  ANZAI Yuichiro
- Project Period (FY)
  2001 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Keio University
High Reliability Component-Based Software EngineeringPrincipal Investigator
- Principal Investigator
  
  TAMAI Tetsuo
- Project Period (FY)
  2001 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
Abstract Model Cheking and Its Applications
- Principal Investigator
  
  HAGIYA Masami
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
Formal Engineering Methods for Software Development
- Principal Investigator
  
  SHAO-YING Liu
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Hosei University
  Hiroshima City University
Research on Methodologies for Constructing Evolutionary Software
- Principal Investigator
  
  MIYAMOTO Eiichi
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Future University-Hakodate
  Hokkaido University

All 2009 2008 2007 2006 2005 2004 2002 Other

All Journal Article Book

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

1. NAKAJIMA Shin (60350211)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. UBAYASHI Naoyasu (80372762)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
3. MASUHARA Hidehiko (40280937)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. IGARASHI Atsushi (40323456)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. CHIBA Shigeru (80282713)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. KAMINA Tetsuo (90431882)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
7. ARAKI Keijiro (40117057)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. MIYAMOTO Eiichi (00001173)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. UEDA Kazunori (10257206)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TOGASHI Atsushi (20172140)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. FUTATSUGI Kokichi (50251971)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. HAGIYA Masami (30156252)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. SHAO-YING Liu (90264960)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. OHBA Mitsuru (50264966)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. ARAI Noriko (40264931)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. ANZAI Yuichiro (40051875)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. ADACHI Jun (80143551)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. MATSUYAMA Takashi (10109035)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. TERAOKA Fumio (70338250)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. SUDOH Osamu (10179286)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. SHIBAYAMA Etsuya (80162642)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 金子知適 (00345068)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 青山幹雄 (40278073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. TAKAHASHI Kouichi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TAMAI Tetsuo 玉井 哲雄

Research Projects

Research Products

Co-Researchers

A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Aspect-Oriented Software Development Methodology for Enhancing Productivity and SafetyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Information Studies for the Foundation of IT Evolution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

High Reliability Component-Based Software EngineeringPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Abstract Model Cheking and Its Applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formal Engineering Methods for Software Development

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Methodologies for Constructing Evolutionary Software

Principal Investigator

Project Period (FY)

Research Category

Research Institution

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

Author(s)

Total Pages

Publisher

Description

Data Source

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

Author(s)

Total Pages

Publisher

Data Source

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

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Social Impact of Information System Failures2009

Author(s)

Journal Title

Data Source

[Journal Article] Introduction to the RE'08 special issue2009

Author(s)

Journal Title

Data Source

[Journal Article] Social Impact of Information System Failures2009

Author(s)

Journal Title

Data Source

[Journal Article] 問題フレームについて2008

Author(s)

Journal Title

Data Source

[Journal Article] Lightweight Dependent Classes, Proceedings of the 7th ACM Int'l Conf2008

Author(s)

Journal Title

TAMAI Tetsuo 玉井哲雄