Skip to content

Tetsuo Tamai

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

36

Venues

17

Active years

1991–2018

Best venue rank

A*

Where they publish

Papers

36 indexed papers, newest first.

YearVenueTitleAuthors
2018ENASEQuality Requirements Analysis with Machine Learning.Tetsuo Tamai, Taichi Anzai
2016SPLCProduct-centered view vs process-centered view.Tetsuo Tamai
2015ICSESoftware Engineering View of a Large-Scale System Failure and the Following Lawsuit.Tetsuo Tamai
2014APSECA Context-Role Based Modeling Framework for Engineering Adaptive Software Systems.Tetsuo Tamai, Supasit Monpratarnchai
2011REA context analysis method for embedded systems - Exploring a requirement boundary between a system and its context.Naoyasu Ubayashi, Yasutaka Kamei, Masayuki Hirayama, Tetsuo Tamai
2010ICSEArchface: a contract place where architectural design and code meet together.Naoyasu Ubayashi, Jun Nomura, Tetsuo Tamai
2010RERequirements engineering education for senior engineers: Course design and its evaluation.Takako Nakatani, Toshihiko Tsumaki, Tetsuo Tamai
2009ECOOPTowards safe and flexible object adaptation.Tetsuo Kamina, Tetsuo Tamai
2009SACIntegration of formal specification, review, and testing for software component quality assurance.Shaoying Liu, Tetsuo Tamai, Shin Nakajima
2008APSECIterative Model Fixing with Counterexamples.Tsutomu Kumazawa, Tetsuo Tamai
2008GPCELightweight dependent classes.Tetsuo Kamina, Tetsuo Tamai
2008ICSTContract-Based Verification for Aspect-Oriented Refactoring.Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai
2008SNPDThe Implementation and Execution Framework of a Role Model Based Language, EpsilonJ.Supasit Monpratarnchai, Tetsuo Tamai
2008SERAAlloy-Based Lightweight Verification for Aspect-Oriented Architecture.Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai
2007GPCELightweight scalable components.Tetsuo Kamina, Tetsuo Tamai
2007REHow Does Requirements Quality Relate to Project Success or Failure?Mayumi Kamata-Itakura, Tetsuo Tamai
2006ICSEFormal specification and analysis of JAAS framework.Shin Nakajima, Tetsuo Tamai
2006SEKEAspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling.Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
2005GPCEModel Compiler Construction Based on Aspect-Oriented Mechanisms.Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
2005ICECCSConquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities.Tetsuo Tamai
2005ICSEHow to teach software modeling.Tetsuo Tamai
2005ICSEA Pedagogical View on Software Modeling and Graph-Structured Diagrams.Tetsuo Tamai
2005ICSEAn adaptive object model with dynamic role binding.Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama
2005ICSEConcern management for constructing model compilers.Naoyasu Ubayashi, Tetsuo Tamai
2005SACSelective method combination in mixin-based composition.Tetsuo Kamina, Tetsuo Tamai
2004APLASMcJava - A Design and Implementation of Java with Mixin-Types.Tetsuo Kamina, Tetsuo Tamai
2004ECOOPAn AOP Implementation Framework for Extending Join Point Models.Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai
2002APSECEmbedding XML Processing Toolkit on General Purpose Programming Language.Tetsuo Kamina, Tetsuo Tamai
2002CWProcess of Software Evolution.Tetsuo Tamai
2001APSECA Requirements Description Metamodel for Use Cases.Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai
2000ICFEMFormal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ.Tetsuo Tamai
1999APSECEmpirical Observations on Object Evolution.Takako Nakatani, Tetsuo Tamai
1999APSECAn Evolutional Cooperative Computation Based on Adaptation to Environment.Naoyasu Ubayashi, Tetsuo Tamai
1997APSECTowards Constructing a Class Evolution Model.Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Harumi Matsuda
1993ICSERequirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking.Tetsuo Tamai, Akito Itou
1991COMPSACFormal and informal approaches for validation.Tetsuo Tamai