研究者情報 | 神奈川大学

カイヤ　ハルヒコ Kaiya Haruhiko 海谷　治彦所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2012/04
形態種別	学術雑誌
査読	査読あり
標題	Finding incorrect and missing quality requirements definitions using requirements frame
執筆形態	共著
掲載誌名	IEICE Transactions on Information and Systems, Vol. E95-D, No. 4.
巻・号・頁	1031-1043頁
著者・共著者	Haruhiko Kaiya and Atsushi Ohnishi.
概要	担当分 2章(要求仕様書記述言語の説明)以外 (全7章). ルール記述に基づき半形式的に記述された要求仕様書における品質要求定義の漏れや矛盾を検出する手法の提案と評価を行った．