/Top
Profile and Results of our Research
Profile
Research Topics
Publications
Information on Software Engineering
History and Survey
Skill Set Model of Collaboration(APCCM2014 Invited Talk)
Joint Activities or Projects
JAIST The 21st Century COE Program, Verifiable and Evolvable e-Society
For JAIST only
Lecture Notes