Offside
Lado B

Pé de salsa.

Corporate

Um olhar sobre nós na voz dos nossos parceiros - Testemunho da EGITRON, pela voz de Armindo Oliveira.

Fora de Série

"Saber que, devido à relevância de uma instituição como o INESC TEC, esperam de nós a criação das soluções mais inovadoras é muito desafiante.", João Pedro Aguiar (CPES)

Pensar Sério

"A adoção de tecnologias avançadas pelas empresas é um processo complexo e tem impacto em vários aspetos da sua gestão.", Ana Simões (CESE)

Galeria do Insólito

Acham que há muitos insólitos numa instituição de investigação? Há mais do que pensam: imensos!

Ecografia

BIP tira Raio X a colaboradores do INESC TEC...

Novos Doutorados

Venha conhecer os novos doutorados do INESC TEC...

Novos Colaboradores

No mês de dezembro entraram 21 novos colaboradores no INESC TEC.

Cadê Você?

O INESC TEC lança todos os meses no mercado pessoas altamente qualificadas...

Jobs 4 the Boys & Girls

Referência a anúncios publicados pelo INESC TEC, oferecendo bolsas, contratos de trabalho e outras oportunidades...

Biptoon

Mais cenas de como bamos indo porreiros...

 

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.