2008-09-11から1日間の記事一覧

「モデル検査のゲームシナリオへの適用」を執筆中

夜行バスで無事に帰ってきました。昨日のモデル検査のセッションはおつかれさまでした。昨日のモデル検査のセッションと関連して、「モデル検査のゲームシナリオへの適用」というページを執筆中です。モデル検査の技術のうち、ゲームのシナリオスクリプトへ…