Métodos Formais em Engenharia de Software

Esta UCE, proposta pelo Grupo TFM, consolida uma experiência de mais de 20 anos no ensino de métodos formais para o desenvolvimento de aplicações de software. Os módulos que a compoem corporizam os principais vectores de que depende o projecto fiável de aplicações à escala industrial.

Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perpsectiva de engenharia, criando modelos matemáticos sobre os quais é possível raciocinar e calcular. Em particular, aborda-se a síntese de bases de dados e de sistemas de informação por métodos de cálculo simples e eficazes, apoiados por ferramentas desenvolvidas para o efeito. Na sua componente prática, a UCE ensina a conceber e animar modelos de problemas, testando-os atempada e exaustivamente antes de se proceder à fase de cálculo e implementação, por forma a evitar erros de perspectiva ou infantilidades de concepção. Em suma: ensina-se a saber modelar e calcular, sim, mas também a saber testar e avaliar.

No seu conjunto, os conteúdos desta UCE pretendem realizar o desígnio de que é possível afixar o carimbo

nos artefactos de software desenvolvidos segundo os seus princípios.

MFES participa no mestrado FAST (Erasmus Mundus Master on Foundations and Applications of Software Technology), em fase de candidatura, em parceria com as universidades de Utreque e Goteburgo

Coordenação Científica

• José Nuno Oliveira
• Luís Soares Barbosa
• Manuel Alcino Cunha
• Joost Visser

Resultados de Aprendizagem

• Criar, rever, analisar, classificar, animar, testar e transformar modelos abstractos de problemas e sistemas em Engenharia de Software.
• Transformar especificações de sistemas de informação complexos em implementações sobre diversos tipos de tecnologias.
• Modelar, analisar, classificar e transformar diferentes padrões de interacção, estratégias de modularização (componentes, objectos, serviços) e esquemas de organização arquitectural do software.
• Seleccionar técnicas de análise, planear e executar projectos de teste de software.
• Planear, executar e avaliar a qualidade de projectos de modelação e desenvolvimento de software, recorrendo a métodos rigorosos e diferentes tecnologias de aplicação.
• Desenvolver de forma integrada a função de concepção e projecto em Engenharia.

Módulos

• Métodos Formais (5 ECTS)
• Análise e Teste de Software (5 ECTS)
• Cálculo de Sistemas de Informação (5 ECTS)
• Processos e Arquitecturas de Software (5 ECTS)
• Projecto Integrado (10 ECTS)

Mais informação aqui.

Parcerias