Sumário

Esta UCE 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 (ver ao lado) 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.

Coordenação Científica

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

Docentes convidados (FEUP)

• Ana Paiva
• João Pascoal Faria

Classificação ACM

De acordo com IEEE/ACM Curriculum Guidelines for Software Engineering:

• Software/SOFTWARE ENGINEERING/Metrics - 5 ECTS
• Software/SOFTWARE ENGINEERING/Requirements/Specifications - 5 ECTS
• Software/SOFTWARE ENGINEERING/Software Architectures --- 5 ECTS
• Software/SOFTWARE ENGINEERING/Software/Program Verification --- 5 ECTS
• Software/SOFTWARE ENGINEERING/Testing and Debugging --- 5 ECTS
• Theory of Computation/LOGICS AND MEANINGS OF PROGRAMS/Specifying and Verifying and Reasoning about Programs --- 5 ECTS

Parcerias