| タイトル | Forecasting model checking needs during early requirements engineering with Rapture/SP2 |
| 著者（英） | Powell, J.; Menzies, T. |
| 発行日 | 2001-05-19 |
| 言語 | eng |
| 内容記述 | The proposed usage of Rapture/SP2 in this paper is to identify 'smaller' portions of a system that are more likely to contribute to hazardous behavior. |
| 権利 | Copyright |
|
