Engenharia de Software Fidedigno
Arndt von Staa · 2006
Em virtude da crescente participacao de software na sociedade, torna-se cada vez mais necessario assegurar que seja fidedigno. Um software e dito fidedigno (ingles: dependable) quando se pode justificavelmente depender dele assumindo riscos de danos compativeis com o servico do software. Em [ALRL 2004] Avizienis e outros estabelecem as propriedades que sistemas fidedignos devem possuir. Com pequenas modificacoes temos: