大会名称
2013年 情報科学技術フォーラム(FIT)
大会コ－ド
F
開催年
2013
発行日
2013/8/20
セッション番号
4B
セッション名
仕様・設計，形式的手法
講演日
2013/09/05
講演場所(会議室等)
共通教育棟 D棟 2F D21
講演番号
B-019
タイトル
要求、設計、評価工程をつなぐ仕様記述手法
著者名
久代　紀之, 小宮　紀之, 深澤　良彰, 
キーワード
抄録
本文pdf
PDF download (389KB)