Tetsuo Tamai

Publication Activity (10 Years)

Years Active: 1991-2018
Publications (10 Years): 3

Top Topics

Modeling Framework

Success Or Failure

Clone Detection

Requirements Analysis

Top Venues

LNCS Trans. Modul. Compos.

NII Shonan Meet. Rep.

Publications

Tetsuo Tamai, Taichi Anzai
Quality Requirements Analysis with Machine Learning. ENASE (2018)
Tetsuo Tamai
Product-centered view vs process-centered view. SPLC (2016)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai
Context-Oriented Software Development with Generalized Layer Activation Mechanism. LNCS Trans. Modul. Compos. 1 (2016)
Tetsuo Tamai, Hausi A. Müller, Bashar Nuseibeh
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11). NII Shonan Meet. Rep. 2015 (2015)
Tetsuo Tamai
Software Engineering View of a Large-Scale System Failure and the Following Lawsuit. SER&IP@ICSE (2015)
Tetsuo Tamai, Supasit Monpratarnchai
A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems. APSEC (1) (2014)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai
Context-oriented software engineering: a modularity vision. MODULARITY (2014)
Tsutomu Kumazawa, Tetsuo Tamai
Counterexample-Based Error Localization of Behavior Models. NASA Formal Methods (2011)
Shaoying Liu, Tetsuo Tamai, Shin Nakajima
A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. Int. J. Softw. Eng. Knowl. Eng. 21 (2) (2011)
Naoyasu Ubayashi, Yasutaka Kamei, Masayuki Hirayama, Tetsuo Tamai
A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. RE (2011)
Naoyasu Ubayashi, Jun Nomura, Tetsuo Tamai
Archface: a contract place where architectural design and code meet together. ICSE (1) (2010)
Takako Nakatani, Toshihiko Tsumaki, Tetsuo Tamai
Requirements engineering education for senior engineers: Course design and its evaluation. REET (2010)
Shaoying Liu, Tetsuo Tamai, Shin Nakajima
Integration of formal specification, review, and testing for software component quality assurance. SAC (2009)
Tetsuo Tamai
Social Impact of Information System Failures. Computer 42 (6) (2009)
Tetsuo Kamina, Tetsuo Tamai
Towards safe and flexible object adaptation. COP@ECOOP (2009)
Yi Wang, Tetsuo Tamai
A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process. NASA Formal Methods (2009)
Tetsuo Tamai
Introduction to the RE'08 special issue. Requir. Eng. 14 (4) (2009)
Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai
AspectM: UML-Based Extensible AOM Language. ASE (2008)
Supasit Monpratarnchai, Tetsuo Tamai
The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ. SNPD (2008)
Tsutomu Kumazawa, Tetsuo Tamai
Iterative Model Fixing with Counterexamples. APSEC (2008)
Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai
Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. SERA (2008)
Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai
Contract-Based Verification for Aspect-Oriented Refactoring. ICST (2008)
Tetsuo Kamina, Tetsuo Tamai
Lightweight dependent classes. GPCE (2008)
Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai
An aspect-oriented weaving mechanism based on component and connector architecture. ASE (2007)
Mayumi Itakura Kamata, Tetsuo Tamai
How Does Requirements Quality Relate to Project Success or Failure? RE (2007)
Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai
An interface mechanism for encapsulating weaving in class-based AOP. SPLAT (2007)
Tetsuo Kamina, Tetsuo Tamai
Lightweight scalable components. GPCE (2007)
Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. SEKE (2006)
Toshihiko Tsumaki, Tetsuo Tamai
Framework for matching requirements elicitation techniques to project characteristics. Softw. Process. Improv. Pract. 11 (5) (2006)
Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama
Objects as Actors Assuming Roles in the Environment. SELMAS (LNCS) (2006)
Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. Int. Trans. Syst. Sci. Appl. 1 (1) (2006)
Shin Nakajima, Tetsuo Tamai
Formal specification and analysis of JAAS framework. SESS@ICSE (2006)
Shin Nakajima, Tetsuo Tamai
Aspect-oriented software design with a variant of UML/STD. SCESM (2006)
Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
Model Compiler Construction Based on Aspect-Oriented Mechanisms. GPCE (2005)
Naoyasu Ubayashi, Shinji Sano, Yusaku Maeno, Satoshi Murakami, Tetsuo Tamai
Model Evolution with Aspect-Oriented Mechanisms. IWPSE (2005)
Hideaki Shinomi, Tetsuo Tamai
Impact Analysis of Weaving in Aspect-Oriented Programming. ICSM (2005)
Tetsuo Tamai
A Pedagogical View on Software Modeling and Graph-Structured Diagrams. Software Education and Training Sessions @ ICSE (2005)
Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama
An adaptive object model with dynamic role binding. ICSE (2005)
Tetsuo Tamai
Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. ICECCS (2005)
Naoyasu Ubayashi, Tetsuo Tamai
Concern management for constructing model compilers. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Naoyasu Ubayashi, Tetsuo Tamai
Concern management for constructing model compilers. MACS@ICSE (2005)
Tetsuo Kamina, Tetsuo Tamai
Selective method combination in mixin-based composition. SAC (2005)
Naoyasu Ubayashi, Genki Moriyama, Hidehiko Masuhara, Tetsuo Tamai
A parameterized interpreter for modeling different AOP mechanisms. ASE (2005)
Tetsuo Tamai
How to teach software modeling. ICSE (2005)
Tetsuo Kamina, Tetsuo Tamai
Flexible Method Combination based on Mixin Subtyping. J. Object Technol. 4 (10) (2005)
Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai
An AOP Implementation Framework for Extending Join Point Models. RAM-SE (2004)
Tetsuo Kamina, Tetsuo Tamai
McJava - A Design and Implementation of Java with Mixin-Types. APLAS (2004)
Tetsuo Kamina, Tetsuo Tamai
Loosely Connected RPC: An Approach for Extendable Interface of Web Services. WSMAI (2003)
Tetsuo Kamina, Tetsuo Tamai
Embedding XML Processing Toolkit on General Purpose Programming Language. APSEC (2002)
Naoyasu Ubayashi, Tetsuo Tamai
Modeling collaborations among objects that change their roles dynamically and its modularization mechanism. Systems and Computers in Japan 33 (5) (2002)
Tetsuo Tamai, Takako Nakatani
Analysis of software evolution processes using statistical distribution Models. IWPSE (2002)
Tetsuo Tamai
Evolvable programming based on collaboration-field and role model. IWPSE (2002)
Tetsuo Tamai
Process of Software Evolution. CW (2002)
Naoyasu Ubayashi, Tetsuo Tamai
Aspect-oriented programming with model checking. AOSD (2002)
Naoyasu Ubayashi, Tetsuo Tamai
Separation of Concerns in Mobile Agent Applications. Reflection (2001)
Shin Nakajima, Tetsuo Tamai
Component Architecture. SPIN (2001)
Yoshihiro Matsumoto, Yoshihiro Akiyama, Osamu Dairiki, Tetsuo Tamai
A Case of Software Engineering Accreditation. CSEE&T (2001)
Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai
A Requirements Description Metamodel for Use Cases. APSEC (2001)
Tetsuo Tamai
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. ICFEM (2000)
Takako Nakatani, Tetsuo Tamai
Organizing process of objects viewed in multiple perspectives. Systems and Computers in Japan 31 (3) (2000)
Tetsuo Tamai
Objects and roles: modeling based on the dualistic view. Inf. Softw. Technol. 41 (14) (1999)
Akihiro Abe, Tetsuo Tamai
IDEFO-Based Software Process Analysis for Scheduling Systems Development. ICEIS (1999)
Takako Nakatani, Tetsuo Tamai
Empirical Observations on Object Evolution. APSEC (1999)
Naoyasu Ubayashi, Tetsuo Tamai
An Evolutional Cooperative Computation Based on Adaptation to Environment. APSEC (1999)
Guoqing Wu, Xiang Liu, Shi Ying, Tetsuo Tamai
Automated analysis of the SCR-style requirements specifications. J. Comput. Sci. Technol. 14 (4) (1999)
Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
Formalization of Graph Search Algorithms and Its Applications. TPHOLs (1998)
Tetsuo Tamai
Abstraction orientated property of software and its relation to patentability. Inf. Softw. Technol. 40 (5-6) (1998)
Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Harumi Matsuda
Towards Constructing a Class Evolution Model. APSEC (1997)
Tetsuo Tamai
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study. IWSSD (1996)
Tetsuo Tamai, Akito Itou
Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. ICSE (1993)
Tetsuo Tamai, Yohsuke Torimitsu
Software lifetime and its evolution process over generations. ICSM (1992)
Tetsuo Tamai, Akito Itou
Backtrack and foresight in software process. ISPW (1991)
Tetsuo Tamai
Formal and informal approaches for validation. COMPSAC (1991)