9 search results - page 1 / 2 » icre 1998 |
ICRE
1998
IEEE
13 years 9 months ago
1998
IEEE
ICRE
1998
IEEE
13 years 9 months ago
1998
IEEE
ICRE
1998
IEEE
13 years 9 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 9 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 9 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...