2918 search results - page 117 / 584 » Design tools for reliability analysis |
171
click to vote
IV
2008
IEEE
16 years 21 days ago
2008
IEEE
There is a large number of interactive visualization tools, however no universal tool exists that covers all relevant aspects for all possible application domains. We have develop...
119
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
210
click to vote
TSE
2010
15 years 1 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
185
click to vote
ICECCS
2009
IEEE
16 years 29 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
165
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...