| 2008 |
|---|
| 12 | EE | Jin Song Dong,
Jing Sun,
Jun Sun,
Kenji Taguchi,
Xian Zhang:
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
ICFEM 2008: 318-337 |
| 11 | EE | Kenji Taguchi,
Jin Song Dong:
Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.
IJAOSE 2(4): 449-474 (2008) |
| 2007 |
|---|
| 10 | EE | Hiroyuki Nakagawa,
Kenji Taguchi,
Shinichi Honiden:
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.
ASE 2007: 531-532 |
| 9 | EE | Shinichi Honiden,
Yasuyuki Tahara,
Nobukazu Yoshioka,
Kenji Taguchi,
Hironori Washizaki:
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan.
ICSE 2007: 708-718 |
| 2004 |
|---|
| 8 | EE | Kenji Taguchi,
Jin Song Dong,
Gabriel Ciobanu:
Relating pi-calculus to Object-Z.
ICECCS 2004: 97-106 |
| 7 | | Miao Kang,
Kenji Taguchi:
Modelling Mobile Agent Applications by Extended UML Activity Diagram.
ICEIS (4) 2004: 519-522 |
| 2002 |
|---|
| 6 | EE | Kenji Taguchi,
Jin Song Dong:
An Overview of Mobile Object-Z.
ICFEM 2002: 144-155 |
| 2000 |
|---|
| 5 | EE | Juliana Küster Filipe,
Kung-Kiu Lau,
Mario Ornaghi,
Kenji Taguchi,
Hirokazu Yatsu,
Alan Wills:
Formal specification of Catalysis frameworks.
APSEC 2000: 180-187 |
| 1999 |
|---|
| 4 | | Keijiro Araki,
Andy Galloway,
Kenji Taguchi:
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999
Springer 1999 |
| 1998 |
|---|
| 3 | EE | Kenji Taguchi,
Keijiro Araki:
A Calculus Based on the Agent-Place Model.
ICFEM 1998: 56-63 |
| 1997 |
|---|
| 2 | | Kenji Taguchi,
Keijiro Araki:
The State-Based CCS Semantics for Concurrent Z Specification.
ICFEM 1997: 283-292 |
| 1996 |
|---|
| 1 | EE | Kenji Taguchi,
Keijiro Araki:
Extending Z with State Transition Constraints.
COMPSAC 1996: 246-260 |
