NASA NTRS · 20060031160
Forecasting model checking needs during early requirements engineering with Rapture/SP2
Abstract
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Powell, J., Menzies, T.. 2001-05-19. Forecasting model checking needs during early requirements engineering with Rapture/SP2. https://ntrs.nasa.gov/citations/20060031160
Cite the original work for its findings. Save a collection to share your selection of sources.