| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2010: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2009: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2008: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Research Abstract |
Design verifications utilizing model checking techniques require development of design model and verification model, and we have studied modeling techniques for these models. As software design model and verification model could have cross cutting relations, we have developed two aspect-oriented modeling mechanisms one is scenario based and the other is state transition based. We also developed assumption model that is used as a reference model for developing verification model.
|
