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