@article{weko_15110_1,
   author	 = "山田,宏之 and 松下,芳典 and 井上,健 and 手塚慶一 and 高松,雄三",
   title	 = "モジュール間の整合性検査のための要求仕様記述の検証",
   journal	 = "情報処理学会論文誌",
   year 	 = "1990",
   volume	 = "31",
   number	 = "1",
   pages	 = "136--143",
   month	 = "jan"
}