SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法

題名SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
著者浜口 優, 吉村 顕, 岡野 浩三, 楠本 真二
文献電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34
種類report / 研究会
日付2006年8月4日
査読査読付き
登壇発表者浜口 優
会議の日程2006年7月
会議の開催場所北海道大学工学部M棟
登録日2006年8月8日
番号595
URLhttp://www.ieice.org/ken/program/index.php?mode=program&tgs_regid=50d79ec0ab1480c714c95f033a3e7f43cbbd8e7e8ff05825e5bfcf5c603f68a0&tgid=SS&layout=&lang=
学会名電子情報通信学会
ファイル
引用形式
@techreport{2006ID595,
	author = {浜口, 優 and 吉村, 顕 and 岡野, 浩三 and 楠本, 真二},
	year = {2006},
	month = {aug 4},
	title = {SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法},
}