Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de...
Transcript of Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de...
![Page 1: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/1.jpg)
Área de Especialização em
Engenharia de SoftwareAntónio Rito Silva
![Page 2: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/2.jpg)
O que é?
![Page 3: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/3.jpg)
Explicar-vos porque escolher Engenharia de
Software ?
![Page 4: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/4.jpg)
Tarefa simplificada...
![Page 5: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/5.jpg)
Porquê?
![Page 6: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/6.jpg)
O mundo está feito de software!
![Page 7: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/7.jpg)
Cada vez será necessário mais
software!
![Page 8: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/8.jpg)
Não é fácil automatizar a produção de software
![Page 9: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/9.jpg)
Mas não é só isso...
![Page 10: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/10.jpg)
Muito abrangente, do negócio à execução
![Page 11: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/11.jpg)
Disciplinas...
![Page 12: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/12.jpg)
Arquitecturas de Software
1º Semestre
António Rito Silva
![Page 13: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/13.jpg)
e.g. Twitter
Aplicações
![Page 14: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/14.jpg)
e.g. Twitter
Aplicações
![Page 15: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/15.jpg)
e.g. Twitter
Aplicações
![Page 16: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/16.jpg)
Social Software Engineering (software tools)
António Rito Silva (investigação)
![Page 17: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/17.jpg)
e.g. LdoD
Social Software Engineering (software tools)
António Rito Silva (investigação)
![Page 18: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/18.jpg)
e.g. LdoD
Social Software Engineering (software tools)
António Rito Silva (investigação)
![Page 19: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/19.jpg)
e.g. LdoDe.g. Agile BPM
Social Software Engineering (software tools)
António Rito Silva (investigação)
![Page 20: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/20.jpg)
e.g. LdoDe.g. Agile BPM
Social Software Engineering (software tools)
António Rito Silva (investigação)
![Page 21: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/21.jpg)
Especificação de Software
1º Semestre
Pedro Adão
![Page 22: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/22.jpg)
Gestão de Projectos Informáticos
1º Semestre
Rosário Ponces CarvalhoAlberto Silva
![Page 23: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/23.jpg)
Aplicações
MS-Project
BOA-GPI
Triskell no IST
![Page 24: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/24.jpg)
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
![Page 25: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/25.jpg)
Teste e Validação de Software
2º Semestre
João Dias Pereira
![Page 26: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/26.jpg)
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.
![Page 27: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/27.jpg)
• Symbolic Execution
• Random Testing
• Fuzzing Testing
João Dias Pereira (investigação)
![Page 28: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/28.jpg)
Programação Avançada
2º Semestre
António Leitão
![Page 29: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/29.jpg)
Aplicações
• Introspecção e Intercessão: Profilers, Hibernate, Clojure, AspectJ
• Meta-classes: CLOS, Ruby, Python
• Meta-programação: Templates C++, Macros, DSLs
![Page 30: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/30.jpg)
António Leitão (investigação)
• Meta-sistemas computacionais
• Paradigmas de programação
• Linguagens de programação
• Avaliadores
![Page 31: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/31.jpg)
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
![Page 32: Área de Especialização em Engenharia de Softwareneiist.daemon/docs...Requisitos e Gestão de Projectos: Modelo para melhorar a análise da performance estimativa e efectiva de projectos](https://reader035.fdocumentos.tips/reader035/viewer/2022063021/5fe5d07c2196b9600a529265/html5/thumbnails/32.jpg)
Questões?