査読有り 2011年9月 プロブレムフレームに基づく組込みシステムの状態遷移分析支援システム 情報処理学会ソフトウェアエンジニアリングシンポジウム2011 紫合治, 横山薫 記述言語 日本語 掲載種別 その他 エクスポート BibTeX RIS