Title: RIMS Symposium on Software Science and Engineering II