XIONG Yingfei について
Univ. of Waterloo, Generative Software Dev. Lab, Waterloo, CAN について
SONG Hui について
Ministry of Education, Key Lab. of High Confidence Software Technologies (Peking University), Beijing, CHN について
HU Zhenjiang について
National Inst. of Informatics, GRACE Center, Tokyo, JPN について
TAKEICHI Masato について
The Univ. of Tokyo, Dep. of Mathematical Informatics, Tokyo, JPN について
Software and Systems Modeling について
方向性 について
モデル更新 について
同期化 について