About NAKAJIMA SHIN
About 国立情報学研究所
About UBAYASHI NAOYASU
About コンピュータソフトウェア
About formal specification language
About formal method
About reference model
About support program
About software engineering
About program analysis
About model checking
About automation
About automatic analysis
About software development
About ARENA
About Mathematical linguistics
About 解析
About モデル
About 規範
About 形式
About 仕様言語