@techreport{weko_21256_1,
   author	 = "金子,誉万 and 間野,暢興",
   title	 = "知識ベースを用いたシステム設計における仕様の検証と直接実行",
   year 	 = "2005",
   institution	 = "明星大学大学院　情報学研究科, 明星大学大学院　情報学研究科",
   number	 = "55(2005-SE-148)",
   month	 = "may"
}