1663 search results - page 85 / 333 » Software Reuse and Safety |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we discuss what we believe is the grand challenge facing the software quality research community: the ability to accurately define, in the very earliest stages of d...
SCS
2004
13 years 11 months ago
2004
In this paper I examine the issue of whether we can trust software systems and put forward an argument that in an absolute sense the answer must necessarily be no for a multitude ...
CLEIEJ
2006
13 years 9 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
ISSE
2010
13 years 8 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...