Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Artigo

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".

18 fevereiro 2019

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.