ICRE
1998
IEEE
13 years 8 months ago
1998
IEEE
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
ICRE
1998
IEEE
13 years 8 months ago
1998
IEEE
Pervasive societal dependency on large-scale, unbounded network systems, the substantial risks of such dependency, and the growing sophistication of system intruders, have focused...
ICRE
1998
IEEE
13 years 8 months ago
1998
IEEE
ICRE
1998
IEEE
13 years 8 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 8 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...
ICRE
1998
IEEE
13 years 8 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
ICRE
1998
IEEE
13 years 8 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 8 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
ICRE
1998
IEEE
13 years 8 months ago
1998
IEEE