About KURUMA HIRONOBU
About 日立製作所横浜研究所
About NAKAJIMA SHIN
About 国立情報学研究所 & 総合研究大学院大学
About コンピュータソフトウェア
About improvement
About modeling
About formal method
About reliability(property)
About language design
About support program
About adaptive refinement
About system modeling
About formal method
About software reliability
About Event-B
About Eclipse
About System programmings in general
About モデリング