Runtime Verification: A Hands-On Approach in Java

Descrição

Sobre o Livro

Runtime Verification: A Hands-On Approach in Java fornece uma introdução prática à verificação em tempo de execução que orienta o leitor do zero ao conhecimento prático suficiente necessário para considerá-la e aplicá-la na indústria. Ele começa quase sem suposições sobre o conhecimento do leitor e fornece exercícios ao longo do livro por meio dos quais o leitor constrói sua própria ferramenta de verificação de tempo de execução. Tudo o que é necessário são habilidades básicas de programação e um bom conhecimento prático do paradigma orientado a objetos, de preferência Java.
O livro foi escrito para estudantes de pós-graduação especializados em engenharia de software, bem como para profissionais do setor que precisam de uma introdução ao tópico de verificação de tempo de execução. Embora o livro se concentre nos fundamentos subjacentes e nas técnicas práticas, ele fornece adicionalmente, para cada capítulo, uma lista de leitura no apêndice para o leitor interessado que deseja aprofundar seus conhecimentos em uma área específica.

Número de páginas ‏ : ‎ 209 páginas