Offside
Lado B

Fomos ao Museu do FC.Porto, numa viagem por momentos e histórias marcantes na existência do clube.

Corporate

Um olhar sobre nós na voz dos nossos parceiros - Testemunho da FAUP, pela voz de José Pedro Sousa.

Fora de Série

"Um dia a meio de um despacho de trabalho virei-me para o Prof. João Paulo Cunha e disse 'Prof. não sei se alguma vez lhe disse, mas gosto muito de trabalhar no C-BER', ao que ele respondeu 'não disse, mas nota-se!'", Rute Ferreira, C-BER

Pensar Sério

"Esta partida significa apenas um até já, já com saudade, mas com a coragem e determinação necessárias para este tipo de empreitada." Ana Paula Silva, CSIG

Galeria do Insólito

E eis que o insólito mais uma vez acontece: num exercício de zapping, no recato do nosso lar, deparámo-nos com o nosso investigador Rui Campos, todo janota, a apresentar um programa no canal Q!

Ecografia

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

Novos Doutorados

Venha conhecer os novos doutorados do 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 do mesmo género...

Biptoon

Mais cenas de como bamos indo porreiros...

Subscrever o BIP
 
 

Arrancam no INESC TEC mais dois projetos de engenharia de software

O Laboratório de Software Confiável (HASLab) do INESC TEC iniciou este mês dois novos projetos, o TRUST e o DaLí, nas áreas da engenharia de software. Os projetos, que arrancaram nos dias 19 e 20 de setembro na Universidade do Minho, contam com um financiamento de 250 mil euros.

O projeto TRUST (Conceção de Software Confiável usando Alloy) tem como objetivo propor extensões e novas ferramentas para a linguagem Alloy, uma das mais populares linguagens de especificação formal usadas na fase de conceção de software, por forma a simplificar a especificação e validação de requisitos em sistemas críticos complexos.

O TRUST é liderado por Alcino Cunha, co-coordenador do HASLab, e conta com Queen Mary University of London (EECS-QMUL), no Reino Unido, e o Office National d’Études et de Recherches Aérospatiales (ONERA), na França, como parceiros.

O DaLí (Lógicas dinâmicas para sistemas híbridos: para uma metodologia de desenvolvimento orientado a contratos) tem como objetivo o desenvolvimento de sistemas complexos pelo uso e geração de lógicas. A metodologia tem por foco os sistemas híbridos como, por exemplo, os sistemas computacionais dedicados à gestão de processos físicos. Tem como responsável Alexandre Madeira, investigador pós-doutorado do HASLab. A Universidade de Aveiro é parceira neste projeto.

O TRUST e o DaLí contam com financiamento FEDER, através do Programa Operacional Competitividade e Internacionalização (COMPETE 2020), e de Fundos Nacionais, através da Fundação para a Ciência e a Tecnologia (FCT).

Os investigadores mencionados nesta notícia têm vínculo à Universidade do Minho e ao INESC TEC.