形式的手法による仕様品質向上への取り組み－運賃計算仕様書の記述の改善 －

• シンポジウム論文

前に戻る

発行物	シンポジウム論文
回	第47回
発行年月	2010年11月
区分	Ⅱ 旅客輸送
課題	1. 旅客情報システム
論文番号	211
タイトル	形式的手法による仕様品質向上への取り組み－運賃計算仕様書の記述の改善 －
著者	幡山 五郎（オムロン(株)）、大崎 人士（産業技術総合研究所）、相馬 大輔（産業技術総合研究所）、Nguyen Van Tang（産業技術総合研究所）
キーワード	0
PDF	PDF