@techreport{weko_35333_1,
   author	 = "福沢,尚司 and 郷健太郎 and 高橋,薫 and 白鳥,則郎",
   title	 = "命題論理に基づく要求仕様の詳細化とその支援",
   year 	 = "1997",
   institution	 = "東北大学電気通信研究所／情報科学研究科, 東北大学電気通信研究所／情報科学研究科, 仙台電波工業高等専門学校, 東北大学電気通信研究所／情報科学研究科",
   number	 = "35(1997-DPS-082)",
   month	 = "apr"
}