Runtime Verification: A Hands-On Approach in Java

Sobre o Autor

Christian Colombo é pesquisador e professor na área de ciência da computação, com foco em verificação de software, linguagens de programação e sistemas distribuídos. Sua atuação acadêmica envolve o desenvolvimento de técnicas para aumentar a confiabilidade de sistemas críticos. Gordon J Pace também é professor e pesquisador, especializado em métodos formais, semântica de linguagens e verificação de sistemas. Ambos se destacam por unir teoria e prática, trazendo contribuições relevantes para a segurança e qualidade de software.

Sobre o Livro

Runtime Verification: A Hands-On Approach in Java apresenta uma introdução prática à verificação em tempo de execução, uma técnica que permite monitorar e validar o comportamento de programas enquanto eles estão em execução. O livro explica como essa abordagem complementa métodos tradicionais de verificação, oferecendo uma camada adicional de segurança e confiabilidade.

A obra utiliza a linguagem Java como base para os exemplos, mostrando como implementar monitores que verificam propriedades específicas de sistemas e como aplicar essas técnicas em diferentes contextos. Os autores detalham desde conceitos fundamentais até aplicações mais avançadas, como verificação de protocolos, sistemas concorrentes e ambientes distribuídos.

A proposta é oferecer ao leitor uma base sólida para aplicar runtime verification em projetos reais, seja em sistemas acadêmicos, industriais ou de missão crítica, reforçando que a confiabilidade de software depende não apenas de testes prévios, mas também de mecanismos que acompanham sua execução.

📑 Detalhes do produto

Título: Runtime Verification: A Hands-On Approach in Java
Autor (a): Christian Colombo e Gordon J. Pace
Editora: Springer
Data da Publicação: 13 de julho de 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 na eBookUniverse!