@techreport{weko_21136_1, author = "原,彬寛 and 上田,賀一", title = "デバイス擬似コンポーネントに基づいたUML設計の検査手法の提案", year = "2007", institution = "茨城大, 茨城大", number = "52(2007-SE-156)", month = "may" }