Sciweavers

2518 search results - page 5 / 504
» Using Communication Objects During Requirements Analysis
Sort
View
ASE
2008
120views more  ASE 2008»
13 years 7 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
RE
2007
Springer
13 years 7 months ago
Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
Robyn R. Lutz, Ann Patterson-Hine, Stacy Nelson, C...
RE
2005
Springer
14 years 28 days ago
Identifying Contingency Requirements Using Obstacle Analysis
This paper describes the use of Obstacle Analysis to identify anomaly-handling requirements for a safetycritical, autonomous system. The software requirements for the system evolv...
Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, C...
MMB
2010
Springer
153views Communications» more  MMB 2010»
13 years 9 months ago
The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System
We consider a finite buffer system where the buffer content moves in a Markov-additive way while it is strictly between the buffer boundaries. Upon reaching the upper boundary of t...
Lothar Breuer
SOFTWARE
2002
13 years 7 months ago
Handling Uncertainty in a Medical Study of Dietary Intake During Pregnancy
This paper is concerned with handling uncertainty as part of the analysis of data from a medical study. The study is investigating connections between the birth weight of babies an...
Adele H. Marshall, David A. Bell, Roy Sterritt