@techreport{weko_86193_1, author = "川井,彬央 and 岸,知二", title = "モデル検査技術を用いたユースケース記述分析手法の提案", year = "2012", institution = "早稲田大学, 早稲田大学", number = "4", month = "oct" }