メンバー紹介 - Girier,Y., Honda,K., Nakagawa,H., Tahara,Y., and Ohsuga,A., “Visual-K: A Prototype for a Visualization Tool Modeling Goal-Oriented RE Methodology KAOS”, Proc. The 2nd International Conference on Measurement and Control Engineering (ICMCE 2011) pp315-326　(2011.10)