Offside
Corporate

Um olhar sobre nós na voz dos nossos parceiros - Testemunho da Clever House – Sistemas Inteligentes, Lda, pelas vozes de José Ribeiro e Jorge Paiva.

Fora de Série

"(...) vim para o INESC Porto, sem qualquer experiência, para substituir uma secretária em licença de maternidade. Sabia que era um emprego temporário, mas lembro-me de (...) pensar que era uma sortuda por ter esta oportunidade." Grasiela Almeida

A Vós a Razão

"Hoje tenho a visão cristalina de que o INESC TEC é elemento chave para o desenvolvimento de Portugal e que o INESC TEC e Portugal são fatores importantíssimos para o desenvolvimento sustentável do Brasil (...)", Renato Francês (UTM)

Asneira Livre

"Hoje em dia já nada é o que era... Claro que devíamos saber isso, afinal todos os dias esforçamo-nos por fazer desse lema uma realidade", Alfredo Martins (ROBIS)

Galeria do Insólito

Por vezes uma imagem diz tudo. Esta é uma delas...

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
 

CISTER/INESC TEC cria programa científico para conferência de renome

Luís Miguel Pinho, investigador do Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real (CISTER) do INESC TEC, foi um dos investigadores responsáveis pelo programa científico da 17ª edição da International Conference on Reliable Software Technologies (Ada-Europe), que se realizou entre os dias 11 e 15 de junho, em Estocolmo, na Suécia.

O programa desta edição, a cargo de Luís Miguel Pinho e de Mats Brorsson (Professor no KTH Royal Institute of Technology, Suécia), abordou um conjunto de temas de interesse no âmbito geral dos sistemas de software confiáveis. Dois temas importantes foram a conclusão do trabalho técnico do processo de revisão da norma ISO da linguagem Ada (Ada 2012), e os desafios apresentados para o desenvolvimento de software confiável pela necessidade de evolução para modelos de programação multicore.

Trata-se de um fórum internacional de sucesso em tecnologias de software confiáveis, ilustrando trabalhos na teoria e prática do projeto, desenvolvimento e manutenção de longa duração de sistemas de software de alta qualidade para uma variedade de domínios de aplicação.

A conferência contou ainda com um programa rico em termos de artigos científicos,e ainda em termos de apresentações industriais e painéis de discussão. O evento atraiu diversos membros da academia e indústria provenientes de 17 países, que trabalham na área dos sistemas cofiáveis.