Área de Especialização em

Engenharia de SoftwareAntónio Rito Silva

O que é?

problema solução

linguagem natural máquina de Turing

métodos, técnicas, ferramentas

Explicar-vos porque escolher Engenharia de

Software ?

O mundo está feito de software!

Cada vez será necessário mais

software!

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

ganhos com automatização inferioresao aumento das necessidades 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. TwitterAplicações

e.g. LdoD e.g. Agile BPMSocial Software Engineering (software tools)

António Rito Silva (investigação)

Especificação de Software

1º Semestre

Pedro Adão

e.g. Verificação de sistemas críticosAplicações

Segurança e Criptografia, Teoria e Aplicações

Pedro Adão(investigação)

Google CTF201623º em 2400

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)

2º Semestre

António Leitão

Programação Avançada

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

• António Rito Silva - AS

• Pedro Adão - ES

• Rosário Carvalho & Alberto Silva - GPI

• João Pereira - TVS

• António Leitão - PA

Questões?