Travelled to:
1 × Portugal
2 × USA
Collaborated with:
S.Honiden M.Kang H.Nakagawa Y.Tahara N.Yoshioka H.Washizaki
Talks about:
model (3) generat (2) specif (2) formal (2) kao (2) superarchitect (1) transform (1) approach (1) softwar (1) practic (1)
Person: Kenji Taguchi
DBLP: Taguchi:Kenji
Facilitated 1 volumes:
Contributed to:
Wrote 3 papers:
- ASE-2007-NakagawaTH #approach #generative #model transformation #modelling #requirements #specification
- Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.
- ICSE-2007-HonidenTYTW #architecture #development #re-engineering #tool support
- Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan (SH, YT, NY, KT, HW), pp. 708–718.
- ICEIS-v4-2004-KangT #diagrams #mobile #modelling #process #uml
- Modelling Mobile Agent Applications by Extended UML Activity Diagram (MK, KT), pp. 519–522.