著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 原 彬寛 and 上田 賀一,デバイス擬似コンポーネントに基づいたUML設計の検査手法の提案,情報処理学会研究報告 = IPSJ SIG technical reports,09196072,東京 : 情報処理学会,2007-05,2007,52,11-18,https://cir.nii.ac.jp/crid/1520009409520187904,