Runtime Verification: A Hands-On Approach in Java

Sobre o Autor

Christian Colombo é pesquisador e professor especializado em verificação de software, com foco em técnicas formais aplicadas a sistemas reais. Gordon J. Pace é professor de ciência da computação com atuação em lógica, semântica de linguagens e verificação de sistemas, reconhecido por seu trabalho em métodos formais e segurança de software.

Sobre o Livro

Runtime Verification: A Hands-On Approach in Java de Christian Colombo e Gordon J. Pace é um guia técnico e prático sobre verificação em tempo de execução — uma técnica usada para monitorar e validar o comportamento de sistemas enquanto eles estão sendo executados. Focado na linguagem Java, o livro apresenta conceitos fundamentais de especificação de propriedades, geração de monitores, instrumentação de código e análise de eventos. Os autores combinam teoria com exercícios práticos, mostrando como aplicar runtime verification para detectar erros, garantir conformidade com requisitos e aumentar a confiabilidade de sistemas complexos, especialmente em ambientes críticos como software embarcado, sistemas financeiros e aplicações distribuídas.

📑 Informações Técnicas: Runtime Verification: A Hands-On Approach in Java

Autor (a): Christian Colombo e Gordon J Pace
Editora: Springer
Data da Publicação: 13 julho 2022
Idioma: ‎Inglês
Número de páginas: ‎209
Compatibilidade: ‎Computador, celular, tablet e e-readers compatíveis

Os melhores eBooks você encontra aqui eBookUniverse!