3801 search results - page 211 / 761 » An Approach to Modeling Software Safety |
153
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
154
click to vote
ENTCS
2010
15 years 6 months ago
2010
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
157
click to vote
WSC
2007
15 years 8 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
160
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
170
click to vote
DICS
2006
15 years 8 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...