Formal and informal approaches for validation. - Tetsuo Tamai (COMPSAC, 1991)

Backtrack and foresight in software process. - Tetsuo Tamai; Akito Itou (ISPW, 1991)

Software lifetime and its evolution process over generations. - Tetsuo Tamai; Yohsuke Torimitsu (ICSM, 1992)

Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. - Tetsuo Tamai; Akito Itou (ICSE, 1993)

How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study. - Tetsuo Tamai (IWSSD, 1996)

Towards Constructing a Class Evolution Model. - Takako Nakatani; Tetsuo Tamai; Atsushi Tomoeda; Harumi Matsuda (APSEC, 1997)

Formalization of Graph Search Algorithms and Its Applications. - Mitsuharu Yamamoto; Koichi Takahashi; Masami Hagiya; Shin-ya Nishizaki; Tetsuo Tamai (TPHOLs, 1998)

Abstraction orientated property of software and its relation to patentability. - Tetsuo Tamai (Inf. Softw. Technol., 1998)

Empirical Observations on Object Evolution. - Takako Nakatani; Tetsuo Tamai (APSEC, 1999)

An Evolutional Cooperative Computation Based on Adaptation to Environment. - Naoyasu Ubayashi; Tetsuo Tamai (APSEC, 1999)

IDEFO-Based Software Process Analysis for Scheduling Systems Development. - Akihiro Abe; Tetsuo Tamai (ICEIS, 1999)

Objects and roles: modeling based on the dualistic view. - Tetsuo Tamai (Inf. Softw. Technol., 1999)

Automated analysis of the SCR-style requirements specifications. - Guoqing Wu; Xiang Liu; Shi Ying; Tetsuo Tamai (J. Comput. Sci. Technol., 1999)

Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. - Tetsuo Tamai (ICFEM, 2000)

Organizing process of objects viewed in multiple perspectives. - Takako Nakatani; Tetsuo Tamai (Syst. Comput. Jpn., 2000)

A Requirements Description Metamodel for Use Cases. - Takako Nakatani; Tetsuya Urai; Sou Ohmura; Tetsuo Tamai (APSEC, 2001)

A Case of Software Engineering Accreditation. - Yoshihiro Matsumoto; Yoshihiro Akiyama; Osamu Dairiki; Tetsuo Tamai (CSEE&T, 2001)

Separation of Concerns in Mobile Agent Applications. - Naoyasu Ubayashi; Tetsuo Tamai (Reflection, 2001)

Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. - Shin Nakajima 001; Tetsuo Tamai (SPIN, 2001)

Aspect-oriented programming with model checking. - Naoyasu Ubayashi; Tetsuo Tamai (AOSD, 2002)

Embedding XML Processing Toolkit on General Purpose Programming Language. - Tetsuo Kamina; Tetsuo Tamai (APSEC, 2002)

Process of Software Evolution. - Tetsuo Tamai (CW, 2002)

Evolvable programming based on collaboration-field and role model. - Tetsuo Tamai (IWPSE, 2002)

Analysis of software evolution processes using statistical distribution Models. - Tetsuo Tamai; Takako Nakatani (IWPSE, 2002)

Modeling collaborations among objects that change their roles dynamically and its modularization mechanism. - Naoyasu Ubayashi; Tetsuo Tamai (Syst. Comput. Jpn., 2002)

Loosely Connected RPC: An Approach for Extendable Interface of Web Services. - Tetsuo Kamina; Tetsuo Tamai (WSMAI, 2003)

McJava - A Design and Implementation of Java with Mixin-Types. - Tetsuo Kamina; Tetsuo Tamai (APLAS, 2004)

An AOP Implementation Framework for Extending Join Point Models. - Naoyasu Ubayashi; Hidehiko Masuhara; Tetsuo Tamai (RAM-SE, 2004)

Model Compiler Construction Based on Aspect-Oriented Mechanisms. - Naoyasu Ubayashi; Tetsuo Tamai; Shinji Sano; Yusaku Maeno; Satoshi Murakami (GPCE, 2005)

Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. - Tetsuo Tamai (ICECCS, 2005)

How to teach software modeling. - Tetsuo Tamai (ICSE, 2005)

A Pedagogical View on Software Modeling and Graph-Structured Diagrams. - Tetsuo Tamai (Software Education and Training Sessions @ ICSE, 2005)

An adaptive object model with dynamic role binding. - Tetsuo Tamai; Naoyasu Ubayashi; Ryoichi Ichiyama (ICSE, 2005)

Impact Analysis of Weaving in Aspect-Oriented Programming. - Hideaki Shinomi; Tetsuo Tamai (ICSM, 2005)

Model Evolution with Aspect-Oriented Mechanisms. - Naoyasu Ubayashi; Shinji Sano; Yusaku Maeno; Satoshi Murakami; Tetsuo Tamai (IWPSE, 2005)

A parameterized interpreter for modeling different AOP mechanisms. - Naoyasu Ubayashi; Genki Moriyama; Hidehiko Masuhara; Tetsuo Tamai (ASE, 2005)

Selective method combination in mixin-based composition. - Tetsuo Kamina; Tetsuo Tamai (SAC, 2005)

Flexible Method Combination based on Mixin Subtyping. - Tetsuo Kamina; Tetsuo Tamai (J. Object Technol., 2005)

Concern management for constructing model compilers. - Naoyasu Ubayashi; Tetsuo Tamai (ACM SIGSOFT Softw. Eng. Notes, 2005)

Formal specification and analysis of JAAS framework. - Shin Nakajima 001; Tetsuo Tamai (SESS@ICSE, 2006)

Aspect-oriented software design with a variant of UML/STD. - Shin Nakajima 001; Tetsuo Tamai (SCESM, 2006)

Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. - Naoyasu Ubayashi; Tetsuo Tamai; Shinji Sano; Yusaku Maeno; Satoshi Murakami (SEKE, 2006)

Objects as Actors Assuming Roles in the Environment. - Tetsuo Tamai; Naoyasu Ubayashi; Ryoichi Ichiyama (SELMAS (LNCS), 2006)

Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. - Naoyasu Ubayashi; Tetsuo Tamai; Shinji Sano; Yusaku Maeno; Satoshi Murakami (Int. Trans. Syst. Sci. Appl., 2006)

Framework for matching requirements elicitation techniques to project characteristics. - Toshihiko Tsumaki; Tetsuo Tamai (Softw. Process. Improv. Pract., 2006)

An interface mechanism for encapsulating weaving in class-based AOP. - Naoyasu Ubayashi; Akihiro Sakai; Tetsuo Tamai (SPLAT, 2007)

Lightweight scalable components. - Tetsuo Kamina; Tetsuo Tamai (GPCE, 2007)

An aspect-oriented weaving mechanism based on component and connector architecture. - Naoyasu Ubayashi; Akihiro Sakai; Tetsuo Tamai (ASE, 2007)

How Does Requirements Quality Relate to Project Success or Failure? - Mayumi Itakura Kamata; Tetsuo Tamai (RE, 2007)

Iterative Model Fixing with Counterexamples. - Tsutomu Kumazawa; Tetsuo Tamai (APSEC, 2008)

Lightweight dependent classes. - Tetsuo Kamina; Tetsuo Tamai (GPCE, 2008)

Contract-Based Verification for Aspect-Oriented Refactoring. - Naoyasu Ubayashi; Jinji Piao; Suguru Shinotsuka; Tetsuo Tamai (ICST, 2008)

AspectM: UML-Based Extensible AOM Language. - Naoyasu Ubayashi; Genya Otsubo; Kazuhide Noda; Jun Yoshida; Tetsuo Tamai (ASE, 2008)

Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. - Naoyasu Ubayashi; Yuki Sato; Akihiro Sakai; Tetsuo Tamai (SERA, 2008)

The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ. - Supasit Monpratarnchai; Tetsuo Tamai (SNPD, 2008)

Towards safe and flexible object adaptation. - Tetsuo Kamina; Tetsuo Tamai (COP@ECOOP, 2009)

A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process. - Yi Wang; Tetsuo Tamai (NASA Formal Methods, 2009)

Integration of formal specification, review, and testing for software component quality assurance. - Shaoying Liu; Tetsuo Tamai; Shin Nakajima 001 (SAC, 2009)

Social Impact of Information System Failures. - Tetsuo Tamai (Computer, 2009)

Introduction to the RE'08 special issue. - Tetsuo Tamai (Requir. Eng., 2009)

Archface: a contract place where architectural design and code meet together. - Naoyasu Ubayashi; Jun Nomura; Tetsuo Tamai (ICSE (1), 2010)

Requirements engineering education for senior engineers: Course design and its evaluation. - Takako Nakatani; Toshihiko Tsumaki; Tetsuo Tamai (REET, 2010)

Counterexample-Based Error Localization of Behavior Models. - Tsutomu Kumazawa; Tetsuo Tamai (NASA Formal Methods, 2011)

A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. - Naoyasu Ubayashi; Yasutaka Kamei; Masayuki Hirayama; Tetsuo Tamai (RE, 2011)

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. - Shaoying Liu; Tetsuo Tamai; Shin Nakajima 001 (Int. J. Softw. Eng. Knowl. Eng., 2011)

Context-oriented software engineering: a modularity vision. - Tetsuo Kamina; Tomoyuki Aotani; Hidehiko Masuhara; Tetsuo Tamai (MODULARITY, 2014)

A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems. - Tetsuo Tamai; Supasit Monpratarnchai (APSEC (1), 2014)

Software Engineering View of a Large-Scale System Failure and the Following Lawsuit. - Tetsuo Tamai (SER&IP@ICSE, 2015)

Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11). - Tetsuo Tamai; Hausi A. Müller; Bashar Nuseibeh (NII Shonan Meet. Rep., 2015)

Product-centered view vs process-centered view. - Tetsuo Tamai (SPLC, 2016)

Context-Oriented Software Development with Generalized Layer Activation Mechanism. - Tetsuo Kamina; Tomoyuki Aotani; Hidehiko Masuhara; Tetsuo Tamai (LNCS Trans. Modul. Compos., 2016)

Quality Requirements Analysis with Machine Learning. - Tetsuo Tamai; Taichi Anzai (ENASE, 2018)

Key Software Engineering Paradigms and Modeling Methods. - Tetsuo Tamai (Handbook of Software Engineering, 2019)

Assessing Security and Privacy Behavioural Risks for Self-Protection Systems. - Yijun Yu; Nobukazu Yoshioka; Tetsuo Tamai (Engineering Adaptive Software Systems, 2019)