@techreport{weko_22109_1,
   author	 = "大塚玲 and 菅谷光啓",
   title	 = "スパイラル型開発モデルにおける要求実行例・仕様・プログラム相互間の対話的検証手法",
   year 	 = "1993",
   institution	 = "（株）野村総合研究所, （株）野村総合研究所",
   number	 = "13(1992-SE-090)",
   month	 = "feb"
}