@inproceedings{CTT100600925, author = {高久 陽平 and 林 晋平 and 佐伯 元司}, title = {ユースケース記述からの状態遷移モデル生成}, booktitle = {情報処理学会研究報告}, year = 2010, }