Offside
Corporate

INESC TEC, in the words of our partners – Statement by Fausto de Carvalho at Altice Labs.

Limelight

This section honours collaborators for exceptional contributions in their area of expertise. This edition features Rute Ferreira and Samuel Moniz.

Serious Thinking

"Our adventurous spirit must be fed. That is what INESC TEC is made of, otherwise we wouldn’t be pioneers in innovation and excellence. That spirit characterises me also.", Ana Paula Silva (CSIG)

Gallery of the Uncommon

Yeah, we knew that researchers at LIAAD wrote papers, but we did not know they wrote about “science for young children”. They were caught in the act - we went through their shelves and what did we find?

Where are you now?

Every month INESC TEC sends highly qualified individuals into the market. Meet some of them.

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 of the same kind.

Biptoon

More scenes of how life goes merrily on...

Subscribe BIP
 
 

INESC TEC starts two more software engineering projects

INESC TEC starts two more software engineering projects

INESC TEC’s High-Assurance Software Laboratory (HASLab) started two new software engineering projects, TRUST and DaLí. The projects, which started on 19 and 20 September at the University of Minho, have secured a total of 250 thousand euros of funding.

The TRUST project (Designing High-Assurance Software using Alloy) aims to propose extensions and new tools for the Alloy, one of the most popular languages for formal specification used in the software design phase. The goal with this project is to simplify the specification and validation of requirements in complex critical systems.
The TRUST is led by Alcino Cunha, co-coordinator of HASLab, and features as partners the Queen Mary University of London (EECS-QMUL), United Kingdom, and the Office National d'Etudes et de Recherches Aérospatiales (ONERA), France.
The goal with DaLí (Dynamic logic for hybrid systems: for a contract-oriented development methodology) is to develop complex systems for using and generating logics. The methodology focuses on hybrid systems such as, for example, computer systems dedicated to managing physical processes. It is led by Alexandre Madeira, postdoctoral researcher at HASLab. The University of Aveiro is also partner in this project.
The TRUST and DaLí are funded by the ERDF, through the Operational Programme for Competitiveness and Internationalisation (COMPETE 2020), and by National Funds, through the Portuguese funding agency Fundação para a Ciência e a Tecnologia (FCT).


The INESC TEC researchers mentioned in this news piece are associated with University of Minho and INESC TEC.