Secções
  Entrada HASLab Ciência e Tecnologia Engenharia de Software
Acções do Documento

Engenharia de Software

Métodos formais e Engenharia orientada por modelos

Métodos formais

Modelação formal e análise de sistemas complexos (estocásticos e contínuos), técnicas e ferramentas de análise estática e model checking para a verificação automática de propriedades de segurança, e teste e depuração através de localização de faltas baseada em espectros.

Engenharia orientada por modelos

Gestão e transformação de modelos, aplicação de engenharia orientada por modelos a domínios inovadores, nomeadamente ao desenvolvimento e validação de folhas-de-cálculo.

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

Contactos

HASLAB +351 22 209 4000