Sciweavers

932 search results - page 11 / 187
» Software Reliability Engineering: A Roadmap
Sort
View
86
Voted
VSTTE
2005
Springer
15 years 5 months ago
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
Gerard J. Holzmann, Rajeev Joshi
91
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration
Most of the current software reliability analysis approaches are geared to traditional desktop software systems, which are relatively stable and static throughout their execution....
Sam Malek, Roshanak Roshandel, David Kilgore, Ibra...
109
Voted
COMPSAC
2003
IEEE
15 years 5 months ago
Sensitivity Analysis of Software Reliability for Component-Based Software Applications
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
Jung-Hua Lo, Chin-Yu Huang, Sy-Yen Kuo, Michael R....
96
Voted
EUROSYS
2006
ACM
15 years 6 months ago
Language support for fast and reliable message-based communication in singularity OS
Manuel Fähndrich, Mark Aiken, Chris Hawblitze...
65
Voted
CODES
2008
IEEE
15 years 6 months ago
Reliable performance analysis of a multicore multithreaded system-on-chip
Simon Schliecker, Mircea Negrean, Gabriela Nicoles...