Nova publicação INESC TEC sobre Ferramentas de Apoio ao Desenvolvimento

Ricardo Queirós, colaborador do Centro de Sistemas de Computação Avançada (CRACS) do INESC TEC, publicou um novo livro, intitulado "Code Generation, Analysis Tools, and Testing for Quality".

Apesar dos avanços que têm sido feitos na área da programação, faltam ainda métodos para o controlo de qualidade. Apesar de existirem padrões de código que “obrigam” os programadores a seguir um conjunto específico de regras, há poucas ferramentas que avaliem e trabalhem o desenvolvimento automático desse código.

Este livro, escrito em co-autoria co-editado com Alberto Simões (IPCA) e Mário Teixeira Pinto (P. Porto) e editado em janeiro de 2019 pela IGI Global, procura analisar a produção e escrita de programação de computadores e métodos de controlo de qualidade. Focado em tópicos como linguagens de programação, avaliação de qualidade e desenvolvimento automatizado, este livro foi pensado para académicos, profissionais, professores de ciências da computação, programadores e investigadores.

Ricardo Queirós concluiu o doutoramento em Ciências da Computação e, além de professor, é investigador nas áreas da interoperabilidade de e-learning e da aprendizagem de linguagens de programação. É autor de cinco livros sobre o desenvolvimento do Android e de cerca de 100 publicações científicas sobre educação em Ciências da Computação.

O investigador do INESC TEC mencionado na notícia tem vínculo ao P.Porto-ESMAD.