| 2008 | ||
|---|---|---|
| 3 | EE | Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai: Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. SERA 2008: 171-178 |
| 2007 | ||
| 2 | EE | Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai: An aspect-oriented weaving mechanism based on component and connector architecture. ASE 2007: 154-163 |
| 1 | EE | Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai: An interface mechanism for encapsulating weaving in class-based AOP. SPLAT 2007: 8 |
| 1 | Yuki Sato | [3] |
| 2 | Tetsuo Tamai | [1] [2] [3] |
| 3 | Naoyasu Ubayashi | [1] [2] [3] |