3801 search results - page 90 / 761 » An Approach to Modeling Software Safety |
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
195
click to vote
ISPW
2011
IEEE
14 years 7 months ago
2011
IEEE
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
128
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
127
click to vote
ISVC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Computer assisted procedures play a key role in the improvement of surgical operations. The current techniques in simulation potentially lead to more accuracy, more safet...
120
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...