Área de especialização em engenharia de softwareneiist.daemon/docs/qtsm2016... · linguagem...
TRANSCRIPT
Á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?