@techreport{weko_51271_1,
   author	 = "中島,俊介 and 橋本,正明 and 門田,充弘",
   title	 = "要求仕様における動作制約の部分性",
   year 	 = "1989",
   institution	 = "ATR通信システム研究所, ATR通信システム研究所, ATR通信システム研究所",
   number	 = "22(1988-ICS-063)",
   month	 = "mar"
}