Secções
  Entrada HASLab Cooperação e Serviços Software confiável em sistemas IT
Acções do Documento

Software confiável em sistemas IT

A integração de software confiável em sistemas IT exige muitas vezes know-how profundo e específico do domínio de aplicação devido à utilização de tecnologias que o Engenheiro Informático típico não domina.

Estabelecer essas competências in-house não é muitas vezes comportável para as empresas que atuam na área das TIC. As parcerias com o HASLab têm permitido a muitas empresas ultrapassar esta limitação, através de dois mecanismos fundamentais:

  • Outsourcing da análise e desenvolvimento de componentes de software críticos ao HASLab;
  • Integração de investigadores do HASLab como consultores na equipa de desenvolvimento.

O HASLab oferece competências para cooperação e prestação de serviços nas seguintes áreas de especialização.

  • Análise rigorosa de requisitos não-funcionais;
  • Engenharia orientada por modelos;
  • Verificação de software para sistemas críticos;
  • Desenvolvimento e integração de componentes criptográficos;
  • Cloud computing;
  • Big data.

 

destaque.jpg
destaque.jpg
anuncio-site
anuncio-contactos

Contactos

HASLAB +351 22 209 4000