| 2009 |
|---|
| 47 | EE | Shaoying Liu,
Tetsuo Tamai,
Shin Nakajima:
Integration of formal specification, review, and testing for software component quality assurance.
SAC 2009: 415-421 |
| 2008 |
|---|
| 46 | EE | Naoyasu Ubayashi,
Genya Otsubo,
Kazuhide Noda,
Jun Yoshida,
Tetsuo Tamai:
AspectM: UML-Based Extensible AOM Language.
ASE 2008: 501-502 |
| 45 | EE | Tetsuo Kamina,
Tetsuo Tamai:
Lightweight dependent classes.
GPCE 2008: 113-124 |
| 44 | EE | Naoyasu Ubayashi,
Jinji Piao,
Suguru Shinotsuka,
Tetsuo Tamai:
Contract-Based Verification for Aspect-Oriented Refactoring.
ICST 2008: 180-189 |
| 43 | EE | Naoyasu Ubayashi,
Yuki Sato,
Akihiro Sakai,
Tetsuo Tamai:
Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.
SERA 2008: 171-178 |
| 2007 |
|---|
| 42 | EE | Naoyasu Ubayashi,
Akihiro Sakai,
Tetsuo Tamai:
An aspect-oriented weaving mechanism based on component and connector architecture.
ASE 2007: 154-163 |
| 41 | EE | Tetsuo Kamina,
Tetsuo Tamai:
Lightweight scalable components.
GPCE 2007: 145-154 |
| 40 | EE | Mayumi Itakura Kamata,
Tetsuo Tamai:
How Does Requirements Quality Relate to Project Success or Failure?
RE 2007: 69-78 |
| 39 | EE | Naoyasu Ubayashi,
Akihiro Sakai,
Tetsuo Tamai:
An interface mechanism for encapsulating weaving in class-based AOP.
SPLAT 2007: 8 |
| 2006 |
|---|
| 38 | EE | 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 | EE | 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 | EE | 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 | EE | Naoyasu Ubayashi,
Genki Moriyama,
Hidehiko Masuhara,
Tetsuo Tamai:
A parameterized interpreter for modeling different AOP mechanisms.
ASE 2005: 194-203 |
| 32 | EE | Naoyasu Ubayashi,
Tetsuo Tamai,
Shinji Sano,
Yusaku Maeno,
Satoshi Murakami:
Model Compiler Construction Based on Aspect-Oriented Mechanisms.
GPCE 2005: 109-124 |
| 31 | EE | Tetsuo Tamai:
Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities.
ICECCS 2005: 261-272 |
| 30 | EE | Tetsuo Tamai,
Naoyasu Ubayashi,
Ryoichi Ichiyama:
An adaptive object model with dynamic role binding.
ICSE 2005: 166-175 |
| 29 | EE | Tetsuo Tamai:
How to teach software modeling.
ICSE 2005: 609-610 |
| 28 | EE | Hideaki Shinomi,
Tetsuo Tamai:
Impact Analysis of Weaving in Aspect-Oriented Programming.
ICSM 2005: 657-660 |
| 27 | EE | Naoyasu Ubayashi,
Shinji Sano,
Yusaku Maeno,
Satoshi Murakami,
Tetsuo Tamai:
Model Evolution with Aspect-Oriented Mechanisms.
IWPSE 2005: 187-194 |
| 26 | EE | Tetsuo Kamina,
Tetsuo Tamai:
Selective method combination in mixin-based composition.
SAC 2005: 1269-1273 |
| 25 | EE | Tetsuo Tamai:
A Pedagogical View on Software Modeling and Graph-Structured Diagrams.
Software Education and Training Sessions @ ICSE 2005: 59-70 |
| 24 | EE | Naoyasu Ubayashi,
Tetsuo Tamai:
Concern management for constructing model compilers.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 23 | EE | Tetsuo Kamina,
Tetsuo Tamai:
Flexible Method Combination based on Mixin Subtyping.
Journal of Object Technology 4(10): 95-115 (2005) |
| 2004 |
|---|
| 22 | EE | Tetsuo Kamina,
Tetsuo Tamai:
McJava - A Design and Implementation of Java with Mixin-Types.
APLAS 2004: 398-414 |
| 21 | EE | 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 | EE | Naoyasu Ubayashi,
Tetsuo Tamai:
Aspect-oriented programming with model checking.
AOSD 2002: 148-154 |
| 18 | EE | Tetsuo Kamina,
Tetsuo Tamai:
Embedding XML Processing Toolkit on General Purpose Programming Language.
APSEC 2002: 159-166 |
| 17 | EE | Tetsuo Tamai:
Process of Software Evolution.
CW 2002: 8-15 |
| 16 | EE | 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 | EE | Takako Nakatani,
Tetsuya Urai,
Sou Ohmura,
Tetsuo Tamai:
A Requirements Description Metamodel for Use Cases.
APSEC 2001: 251-258 |
| 14 | EE | Yoshihiro Matsumoto,
Yoshihiro Akiyama,
Osamu Dairiki,
Tetsuo Tamai:
A Case of Software Engineering Accreditation.
CSEE&T 2001: 201- |
| 13 | EE | Naoyasu Ubayashi,
Tetsuo Tamai:
Separation of Concerns in Mobile Agent Applications.
Reflection 2001: 89-109 |
| 12 | EE | Shin Nakajima,
Tetsuo Tamai:
Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture.
SPIN 2001: 163-182 |
| 2000 |
|---|
| 11 | EE | Tetsuo Tamai:
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ.
ICFEM 2000: 67- |
| 10 | EE | Takako Nakatani,
Tetsuo Tamai:
Organizing process of objects viewed in multiple perspectives.
Systems and Computers in Japan 31(3): 1-10 (2000) |
| 1999 |
|---|
| 9 | EE | Takako Nakatani,
Tetsuo Tamai:
Empirical Observations on Object Evolution.
APSEC 1999: 2-9 |
| 8 | EE | 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 | EE | 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 | EE | Tetsuo Tamai:
Abstraction orientated property of software and its relation to patentability.
Information & Software Technology 40(5-6): 253-257 (1998) |
| 1997 |
|---|
| 3 | EE | Takako Nakatani,
Tetsuo Tamai,
Atsushi Tomoeda,
Harumi Matsuda:
Towards Constructing a Class Evolution Model.
APSEC 1997: 131- |
| 1993 |
|---|
| 2 | EE | 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 |
