You are here

Métodos Formais em Engenharia de Software

Edições: 2013/2014, 2012/2013, 2011/12, 2010/11, 2009/10, 2008/09, 2007/08

Esta UCE30, proposta por investigadores do HASLab (High Assurance Software Lab), consolida uma experiência de 25 anos no ensino de métodos formais para o desenvolvimento de aplicações de software. Os módulos que a compõem corporizam os principais vetores de que depende o projeto 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 perspetiva de engenharia, criando modelos matemáticos sobre os quais é possível raciocinar e calcular. Na sua componente prática, esta UCE30 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 perspetiva ou infantilidades de conceçã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 UCE30 pretendem realizar o desígnio de que é possível afixar, nos artefactos de software desenvolvidos segundo os seus princípios, o carimbo


CorrectInside

Equipa Docente

Classificação ACM

Número de ECTS por área de conhecimento, segundo as IEEE/ACM Curriculum Guidelines for Software Engineering:

  • Software / Software Engineering / Metrics --- 2
  • Software / Software Engineering / Requirements/Specifications --- 6
  • Software / Software Engineering / Software Architectures --- 6
  • Software / Software Engineering / Software/Program Verification --- 6
  • Software / Software Engineering / Testing and Debugging --- 4
  • Theory of Computation / Logics and Meanings of Porgrams / Specifying and Verifying and Reasoning about Programs --- 6

Resultados de Aprendizagem

  • Criar, rever, analisar, classificar, animar, testar e transformar modelos abstratos 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, objetos, serviços) e esquemas de organização arquitetural do software.
  • Seleccionar técnicas de análise, planear e executar projetos de teste de software.
  • Planear, executar e avaliar a qualidade de projetos 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 conceção e projeto em Engenharia.

Módulos

  • CSI - Cálculo de Sistemas de Informação (5 ECTS)
  • AMT - Análise, Modelação e Teste (5 ECTS)
  • VFS - Verificação Formal de Software (5 ECTS)
  • PAS - Processos e Arquiteturas de Software(5 ECTS)
  • Projeto Integrado (10 ECTS)

MFES - módulos

Parcerias

 SIG - Software Improvement Group

 Critical Software

 Galois

 Altreonic

 Outsystems

 CSAIL (MIT)

 ITA

 QUiiQ

 Primavera

início contactos RSS Feed última actualização: 30-Mai-2019 partilhar facebook
Drupal theme by pixeljets.com D7 ver.1.1