| 2008 |
|---|
| 12 | EE | Natsuko Noda,
Tomoji Kishi:
Aspect-Oriented Modeling for Variability Management.
SPLC 2008: 213-222 |
| 2007 |
|---|
| 11 | EE | Natsuko Noda,
Tomoji Kishi:
Aspect-Oriented Modeling for Embedded Software Design.
APSEC 2007: 342-349 |
| 10 | | Natsuko Noda,
Tomoji Kishi:
Design Verification Tool for Product Line Development.
SPLC (2) 2007: 147-148 |
| 2006 |
|---|
| 9 | EE | Tomoji Kishi,
Natsuko Noda:
Formal verification and software product lines.
Commun. ACM 49(12): 73-77 (2006) |
| 2005 |
|---|
| 8 | EE | Tomoji Kishi,
Natsuko Noda,
Takuya Katayama:
Design Verification for Product Line Development.
SPLC 2005: 150-161 |
| 7 | EE | Takuya Katayama,
Tatsuo Nakajima,
Taiichi Yuasa,
Tomoji Kishi,
Shin Nakajima,
Shuichi Oikawa,
Masahiro Yasugi,
Toshiaki Aoki,
Mitsutaka Okazaki,
Seiji Umatani:
Highly Reliable Embedded Software Development Using Advanced Software Technologies.
IEICE Transactions 88-D(6): 1105-1116 (2005) |
| 2004 |
|---|
| 6 | EE | Tomoji Kishi,
Toshiaki Aoki,
Shin Nakajima,
Natsuko Noda,
Takuya Katayama:
Project Report: High-Reliable Object-Oriented Embedded Software Design.
WSTFEUS 2004: 144-148 |
| 2002 |
|---|
| 5 | EE | Tomoji Kishi,
Natsuko Noda,
Takuya Katayama:
A Method for Product Line Scoping Based on a Decision-Making Framework.
SPLC 2002: 348-365 |
| 2001 |
|---|
| 4 | EE | Tomoji Kishi,
Natsuko Noda,
Takuya Katayama:
Architectural Design for Evolution by Analyzing Requirements on Quality Attributes.
APSEC 2001: 111-118 |
| 2000 |
|---|
| 3 | | Tomoji Kishi,
Natsuko Noda:
Aspect-oriented analysis for product line architecture.
SPLC 2000: 135-146 |
| 1999 |
|---|
| 2 | EE | Natsuko Noda,
Tomoji Kishi:
On Aspect-Oriented Design: An Approach to Designing Quality Attributes.
APSEC 1999: 230-237 |
| 1 | | Tomoji Kishi,
Natsuko Noda:
Analysing Hot / Frozen Spot from Performance Aspect.
ECOOP Workshops 1999: 200-201 |
