2008-07-24から1日間の記事一覧
★主なレビューワの指摘事項 シナリオ動作でなくて、「動作シナリオ」を定義すること シナリオ図をプロセス代数で定式化 シナリオ合成の入力の明確化 各種定義の厳密化 ★作戦 動作シナリオは、演算を用いた、順序制約システムとして形式化 シナリオ合成 シナ…
★主なレビューワの指摘事項 シナリオ動作でなくて、「動作シナリオ」を定義すること シナリオ図をプロセス代数で定式化 シナリオ合成の入力の明確化 各種定義の厳密化 ★作戦 動作シナリオは、演算を用いた、順序制約システムとして形式化 シナリオ合成 シナ…