Tetsuo Tamai

	2009
48		Shaoying Liu, Tetsuo Tamai, Shin Nakajima: Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421
	2008
47		Tsutomu Kumazawa, Tetsuo Tamai: Iterative Model Fixing with Counterexamples. APSEC 2008: 369-376
46		Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai: AspectM: UML-Based Extensible AOM Language. ASE 2008: 501-502
45		Tetsuo Kamina, Tetsuo Tamai: Lightweight dependent classes. GPCE 2008: 113-124
44		Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai: Contract-Based Verification for Aspect-Oriented Refactoring. ICST 2008: 180-189
43		Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai: Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. SERA 2008: 171-178
	2007
42		Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai: An aspect-oriented weaving mechanism based on component and connector architecture. ASE 2007: 154-163
41		Tetsuo Kamina, Tetsuo Tamai: Lightweight scalable components. GPCE 2007: 145-154
40		Mayumi Itakura Kamata, Tetsuo Tamai: How Does Requirements Quality Relate to Project Success or Failure? RE 2007: 69-78
39		Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai: An interface mechanism for encapsulating weaving in class-based AOP. SPLAT 2007: 8
	2006
38		Shin Nakajima, Tetsuo Tamai: Aspect-oriented software design with a variant of UML/STD. SCESM 2006: 44-50
37		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: 4-10
36		Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama: Objects as Actors Assuming Roles in the Environment. SELMAS 2006: 185-203
35		Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami: Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. ITSSA 1(1): 93- (2006)
34		Toshihiko Tsumaki, Tetsuo Tamai: Framework for matching requirements elicitation techniques to project characteristics. Software Process: Improvement and Practice 11(5): 505-519 (2006)
	2005
33		Naoyasu Ubayashi, Genki Moriyama, Hidehiko Masuhara, Tetsuo Tamai: A parameterized interpreter for modeling different AOP mechanisms. ASE 2005: 194-203
32		Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami: Model Compiler Construction Based on Aspect-Oriented Mechanisms. GPCE 2005: 109-124
31		Tetsuo Tamai: Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. ICECCS 2005: 261-272
30		Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama: An adaptive object model with dynamic role binding. ICSE 2005: 166-175
29		Tetsuo Tamai: How to teach software modeling. ICSE 2005: 609-610
28		Hideaki Shinomi, Tetsuo Tamai: Impact Analysis of Weaving in Aspect-Oriented Programming. ICSM 2005: 657-660
27		Naoyasu Ubayashi, Shinji Sano, Yusaku Maeno, Satoshi Murakami, Tetsuo Tamai: Model Evolution with Aspect-Oriented Mechanisms. IWPSE 2005: 187-194
26		Tetsuo Kamina, Tetsuo Tamai: Selective method combination in mixin-based composition. SAC 2005: 1269-1273
25		Tetsuo Tamai: A Pedagogical View on Software Modeling and Graph-Structured Diagrams. Software Education and Training Sessions @ ICSE 2005: 59-70
24		Naoyasu Ubayashi, Tetsuo Tamai: Concern management for constructing model compilers. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
23		Tetsuo Kamina, Tetsuo Tamai: Flexible Method Combination based on Mixin Subtyping. Journal of Object Technology 4(10): 95-115 (2005)
	2004
22		Tetsuo Kamina, Tetsuo Tamai: McJava - A Design and Implementation of Java with Mixin-Types. APLAS 2004: 398-414
21		Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai: An AOP Implementation Framework for Extending Join Point Models. RAM-SE 2004: 71-81
	2003
20		Tetsuo Kamina, Tetsuo Tamai: Loosely Connected RPC: An Approach for Extendable Interface of Web Services. WSMAI 2003: 62-73
	2002
19		Naoyasu Ubayashi, Tetsuo Tamai: Aspect-oriented programming with model checking. AOSD 2002: 148-154
18		Tetsuo Kamina, Tetsuo Tamai: Embedding XML Processing Toolkit on General Purpose Programming Language. APSEC 2002: 159-166
17		Tetsuo Tamai: Process of Software Evolution. CW 2002: 8-15
16		Naoyasu Ubayashi, Tetsuo Tamai: Modeling collaborations among objects that change their roles dynamically and its modularization mechanism. Systems and Computers in Japan 33(5): 51-63 (2002)
	2001
15		Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai: A Requirements Description Metamodel for Use Cases. APSEC 2001: 251-258
14		Yoshihiro Matsumoto, Yoshihiro Akiyama, Osamu Dairiki, Tetsuo Tamai: A Case of Software Engineering Accreditation. CSEE&T 2001: 201-
13		Naoyasu Ubayashi, Tetsuo Tamai: Separation of Concerns in Mobile Agent Applications. Reflection 2001: 89-109
12		Shin Nakajima, Tetsuo Tamai: Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. SPIN 2001: 163-182
	2000
11		Tetsuo Tamai: Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. ICFEM 2000: 67-
10		Takako Nakatani, Tetsuo Tamai: Organizing process of objects viewed in multiple perspectives. Systems and Computers in Japan 31(3): 1-10 (2000)
	1999
9		Takako Nakatani, Tetsuo Tamai: Empirical Observations on Object Evolution. APSEC 1999: 2-9
8		Naoyasu Ubayashi, Tetsuo Tamai: An Evolutional Cooperative Computation Based on Adaptation to Environment. APSEC 1999: 334-
7		Akihiro Abe, Tetsuo Tamai: IDEFO-Based Software Process Analysis for Scheduling Systems Development. ICEIS 1999: 361-370
6		Tetsuo Tamai: Objects and roles: modeling based on the dualistic view. Information & Software Technology 41(14): 1005-1010 (1999)
	1998
5		Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai: Formalization of Graph Search Algorithms and Its Applications. TPHOLs 1998: 479-496
4		Tetsuo Tamai: Abstraction orientated property of software and its relation to patentability. Information & Software Technology 40(5-6): 253-257 (1998)
	1997
3		Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Harumi Matsuda: Towards Constructing a Class Evolution Model. APSEC 1997: 131-
	1993
2		Tetsuo Tamai, Akito Itou: Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. ICSE 1993: 167-176
	1991
1		Tetsuo Tamai, Akito Itou: Backtrack and foresight in software process. ISPW 1991: 130-132

Coauthor Index

1	Akihiro Abe	[7]
2	Yoshihiro Akiyama	[14]
3	Osamu Dairiki	[14]
4	Masami Hagiya	[5]
5	Ryoichi Ichiyama	[30] [36]
6	Akito Itou	[1] [2]
7	Mayumi Itakura Kamata	[40]
8	Tetsuo Kamina	[18] [20] [22] [23] [26] [41] [45]
9	Tsutomu Kumazawa	[47]
10	Shaoying Liu	[48]
11	Yusaku Maeno	[27] [32] [35] [37]
12	Hidehiko Masuhara	[21] [33]
13	Harumi Matsuda	[3]
14	Yoshihiro Matsumoto	[14]
15	Genki Moriyama	[33]
16	Satoshi Murakami	[27] [32] [35] [37]
17	Shin Nakajima	[12] [38] [48]
18	Takako Nakatani	[3] [9] [10] [15]
19	Shin-ya Nishizaki	[5]
20	Kazuhide Noda	[46]
21	Sou Ohmura	[15]
22	Genya Otsubo	[46]
23	Jinji Piao	[44]
24	Akihiro Sakai	[39] [42] [43]
25	Shinji Sano	[27] [32] [35] [37]
26	Yuki Sato	[43]
27	Hideaki Shinomi	[28]
28	Suguru Shinotsuka	[44]
29	Koichi Takahashi	[5]
30	Atsushi Tomoeda	[3]
31	Toshihiko Tsumaki	[34]
32	Naoyasu Ubayashi	[8] [13] [16] [19] [21] [24] [27] [30] [32] [33] [35] [36] [37] [39] [42] [43] [44] [46]
33	Tetsuya Urai	[15]
34	Mitsuharu Yamamoto	[5]
35	Jun Yoshida	[46]

Colors in the list of coauthors