964 search results - page 1 / 193 » Scenario-driven modeling and validation of requirements mode... |
COMPSAC
2000
IEEE
13 years 10 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
HASE
2007
IEEE
13 years 10 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
JOT
2007
13 years 6 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
ICRE
1998
IEEE
13 years 10 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
ISSE
2008
13 years 6 months ago
2008
