@techreport{oai:ipsj.ixsq.nii.ac.jp:00081075,
 author = {古家, 直樹 and 山岸, 正知 and 鈴木, 康文 and 川上, 真澄 and 小川, 秀人 and Naoki, Furuya and Masatomo, Yamagishi and Yasufumi, Suzuki and Masumi, Kawakami and Hideto, Ogawa},
 issue = {9},
 month = {Mar},
 note = {状態遷移表は，遷移動作を網羅的に記述可能であり，仕様の抜け漏れを防止することが出来るため，今日のソフトウェア開発で広く適用されている．その一方で，実行時の動作シーケンスを把握し難いという課題がある．特に，状態遷移動作の結果が実行順序によって変わるという，実行順序依存性を持つ状態遷移表の場合，状態遷移動作を直感的に理解することが困難である．そこで，状態遷移表から特定の動作シーケンスを生成することによる，動作仕様理解支援手法を提案する．, A State transition matrix is widely used in software development since it can exhaustively describe the specification of software and avoid misspecification. However, it is difficult to understand intuitively each action sequence from a state transition matrix, especially if it has an execution order dependency. We suggest a support method for understanding actions, which is based on creating each action sequence from the state transition matrix.},
 title = {実行順序依存性のある状態遷移表に対する動作理解支援手法},
 year = {2012}
}