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