3667 search results - page 77 / 734 » Software Rejuvenation - Modeling and Analysis |
VISSOFT
2002
IEEE
14 years 18 days ago
2002
IEEE
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
HASE
1998
IEEE
13 years 12 months ago
1998
IEEE
Independence is a fundamental requirement for calculating system reliability from component reliabilities, whether in hardware or software systems. Markov analysis is often used i...
WICSA
2008
13 years 9 months ago
2008
Several architecture analysis methods are proposed in the literature for evaluating both the structure and the behavior of architectures. A parallel between humans and software sy...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...