Área de Especialização em

Engenharia de SoftwareAntónio Rito Silva

O que é?

Explicar-vos porque escolher Engenharia de

Software ?

Tarefa simplificada...

Porquê?

O mundo está feito de software!

Cada vez será necessário mais

software!

Não é fácil automatizar a produção de software

Mas não é só isso...

Muito abrangente, do negócio à execução

Disciplinas...

Arquitecturas de Software

1º Semestre

António Rito Silva

e.g. Twitter

Aplicações

e.g. Twitter

Aplicações

e.g. Twitter

Aplicações

Social Software Engineering (software tools)

António Rito Silva (investigação)

e.g. LdoD

Social Software Engineering (software tools)

António Rito Silva (investigação)

e.g. LdoD

Social Software Engineering (software tools)

António Rito Silva (investigação)

e.g. LdoDe.g. Agile BPM

Social Software Engineering (software tools)

António Rito Silva (investigação)

e.g. LdoDe.g. Agile BPM

Social Software Engineering (software tools)

António Rito Silva (investigação)

Especificação de Software

1º Semestre

Pedro Adão

Gestão de Projectos Informáticos

1º Semestre

Rosário Ponces CarvalhoAlberto Silva

Aplicações

MS-Project

BOA-GPI

Triskell no IST

Alberto Silva (investigação)

• RSLingo/Gestão de Projectos: Especificação Rigorosa de Planos de Projecto

• Alinhamento entre Engenharia de Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos

• Gestão de Programas e Portfólio de Projectos

Teste e Validação de Software

2º Semestre

João Dias Pereira

Aplicações• SAGE: applied at Microsoft

• Scalable Automated Guided Execution

• Impact: since 2007

• 200+ machine years

• 1 Billion+ constraints

• 100s of apps, 100s of bugs (missed by everything else...)

• Exemple: 1/3 of all Win7 WEX security bugs found by SAGE

• Millions of dollars saved (for Microsoft and the world)

• SAGE is now used daily in Windows, Office, etc.

• Symbolic Execution

• Random Testing

• Fuzzing Testing

João Dias Pereira (investigação)

Programação Avançada

2º Semestre

António Leitão

Aplicações

• Introspecção e Intercessão: Profilers, Hibernate, Clojure, AspectJ

• Meta-classes: CLOS, Ruby, Python

• Meta-programação: Templates C++, Macros, DSLs

António Leitão (investigação)

• Meta-sistemas computacionais

• Paradigmas de programação

• Linguagens de programação

• Avaliadores

Rui Maranhão Abreu(investigação)

• Automatic testing & fault localisation

• Improve debugging efficiency and effectiveness

• Use vital signs to reason about potential bug locations

• Developing Energy Efficient (mobile) applications

• Secure Software Engineering

• Security by design

• CI/CD, DevOps

Questões?