Offside
Lado B

A world sprinkled with salsa

Corporate

INESC TEC, in the words of our partners – Statement by Armindo Oliveira from EGITRON.

Limelight

"Knowing that, due to the importance of an institution like INESC TEC, the creation of the most innovative solutions are expected from us is really challenging.", João Pedro Aguiar (CPES)

Serious Thinking

"The adoption of advanced technologies by companies is a complex process and has an impact in several aspects of their management.", Ana Simões (CESE)

Gallery of the Uncommon

Do you think there are many uncommon moments in a research institution? There are more uncommon moments than you think: so many in fact!

Where are you now?

Every month INESC TEC sends highly qualified individuals into the market...

Jobs 4 the Boys & Girls

In this section, the reader may find reference to public announcements made by INESC TEC offering grants, contracts and other opportunities.

Biptoon

More scenes of how life goes merrily on...

 

New INESC TEC publication on Supporting Tools for Development

Ricardo Queirós, collaborator of INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS) published a new book entitled "Code Generation, Analysis Tools, and Testing for Quality".

Despite the advances that have been made in programming, there is still a lack of methods for quality control. Although there are code standards that “force” programmers to follow a specific set of rules, there are few tools that can assess and work on the automatic development of that code.

This book, which was co-edited with Alberto Simões (IPCA) and Mário Teixeira Pinto (P. Porto) and edited in January 2019 by IGI Global, intends to analyse the generation and writing of computer programming and quality control methods. This book, which focuses on topics such as programming languages, quality assessment and automated development, was designed for academics, practitioners, computer science teachers, programmers , and researchers.

Ricardo Queirós completed his PhD in Computer Science and besides being a professor, he is also a researcher in the areas of e-learning interoperability and in the learning of programming languages. Queirós is an author of five books on the development of Android and of about 100 scientific publications on education in Computer Science.

 

The researcher mentioned in this news piece is associated with P.Porto-ESMAD.