9 search results - page 1 / 2 » icre 1998 |
ICRE
1998
IEEE
13 years 10 months ago
1998
IEEE
ICRE
1998
IEEE
13 years 10 months ago
1998
IEEE
ICRE
1998
IEEE
13 years 10 months ago
1998
IEEE
Prioritizing requirements can play a significant role in reducing requirement problems and increasing customer satisfaction. This paper describes our experiences in teaching requi...
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...
ICRE
1998
IEEE
13 years 10 months ago
1998
IEEE
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...