Pular para o conteúdo
Informática

Rigorous Development Of Complex Fault-Tolerant Systems

1ª Edição - 2007403 páginasSpringer Verlag *pt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Sinopse

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.

Detalhes do livro

Título
Rigorous Development Of Complex Fault-Tolerant Systems
Autor
VáRios Autores
Editora
Springer Verlag *
Ano
2026
Páginas
403 páginas
Idioma
PT
ISBN-13
9783540482659
Edição
1ª Edição - 2007
Formato
Paperback

Mais de VáRios

Outros livros de VáRios Autores

Informática

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras