摘要 : 本論文では，作成済みのシナリオ検証用のルールを同じドメインに属する他のシナリオにも再利用することを目的に，事前条件·事後条件を用いたシナリオ検証手法を提案する．シナリオ，ルールには共に事前条件·事後条件が記述されている．シナリオの事... 展开
| 作者 | 外山竜也 大西淳 Tatsuya TOYAMA Atsushi OHNISHI |
|---|---|
| 期刊名称 | 《電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science》 |
| 总页数 | 6 |
| 语种/中图分类号 | 日语 / TP31 |
| 关键词 | シナリオ分析 シナリオ検証 Scenario Analysis Scenario Verification |
| 馆藏号 | N2008EPST0010389 |
原文获取