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.
Esqueceu a sua senha?
