3667 search results - page 148 / 734 » Software Rejuvenation - Modeling and Analysis |
ECSA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
Since pre-silicon functional verification is insufficient to detect all design errors, re-spins are often needed due to malfunctions that escape into the silicon. This paper pre...
METRICS
2002
IEEE
14 years 3 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
FORTEST
2008
13 years 11 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
WCRE
2010
IEEE
13 years 8 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...