Download - Preparing Programmers for Quantum
MFP 21/22
Lema
EWD 249, 1970
E.W. Dijkstra (1920-2002)
O perfil
I Criado em 2007/8 segundo as recomendacoes do Processo deBolonha (EU)
I WWW: https://haslab.github.io/MFP
I Visibilidade internacional(https://fme-teaching.github.io/courses)
Historial desde os anos 80/90
Classificacao segundo IEEE/ACM
I Software Modeling andAnalysis – 30%
I Software Verification andValidation – 20%
I Requirements Analysis andSpecification – 20%
I Software Design – 20%
I Mathematical and engin.fundamentals – 10%
O perfil
O perfil
Semestre Unidades curriculares Regime1o MFES Obrig.
2o CSI VF PCF Opc.
CSI
Na vida la fora, tudo parece ser umarelacao — relacao profissional,relacao amorosa, relacao numerica,relacao internacional, relacaofamiliar, relacao ..., relacao ...
Como sera possıvel construir um sistema de informacao sem seestudar a serio o que e uma relacao (no sentido formal do termo)e como manipular relacoes? E o que se fara nesta disciplina.
VF
Abordam-se tecnicas classicas deverificacao de software apoiadas nautilizacao de tres das ferramentas maisutilizadas para este fim: Coq, muitopoderoso e com inumeras aplicacoes;Why3, que dispoe de uma grandevariedade de ferramentas ao servico daprova logica e a suite TLA+, queintegra um ”model-checker” paraverificacao automatica de propriedadesde sistemas.
PCF
A Programacao ciber-fısica estende a teoriae respectivas metodologias leccionadas nosoutros modulos para o domınio em que osoftware interage continuamente comprocessos do mundo exterior (softwareciber-fısico).
O piloto automatico de uma sonda espacial e um exemplo classicode software ciber-fısico: o software interage com processos fısicoscrıticos para o sistema, tais como posicao e velocidade.
Testemunhos
Joao Pereira
ETH-Zurich
Ter passado pelo perfil de metodos formaisfoi sem duvida alguma a melhor decisao quetomei enquanto aluno de MIEI. Nao so meequipou com as ferramentas de raciocınio ede programacao que ainda hoje uso nodia-a-dia, como me expos a uma areacientıfica rica e estimulante e a umaindustria numa fase de crescimentoexplosivo, com oportunidades abundantes eque recompensa o empreendedorismo.Recomendo este perfil a todos os alunos!
Cristiano Sousa
Deloitte
MFP destaca-se entre os diversos perfis porestudar uma disciplina da engenhariainformatica, dando-nos bases importantesque sao transversais a nossa atividadeacademica e profissional,independentemente da tecnologia eplataforma.
MFP foi um complemento importante para a minha formacaoacademica, onde desenvolvi capacidade de resolucao de problemase pensamento crıtico que ainda hoje aplico (...) na forma comoanaliso os desafios que os clientes me colocam.
Tiago Jorge
GMV
Como engenheiro de software a trabalhar naGMV, no domınio crıtico do ”Espaco”,tendo como principal cliente a ESA, eestando a trabalhar sobretudo em projetosde R&D, posso afirmar por experiencia quedesenvolvimento de sistemas e softwarebaseado em modelos (MBSE), em que osMF se inserem como elemento chave, estaentre as principais visoes estrategicas
da agenda europeia, e por isso praticamente todas as grandesempresas na area se estao a desenvolver nesta area.
Armando Santos
WellTyped
O perfil de Metodos Formais permitiu-meadquirir bases e metodologias cientıficas ematematicas importantes para o desenho,raciocino e construcao de sistemas desoftware precisos. Estes conhecimentosdemonstraram ser uma mais valia nomercado de trabalho, distinguindo-me deoutros candidatos, pela capacidade deabstracao e interesse pelo rigor.
Daniel Murta
Farfetch
Engenharia de Software sob uma perspetivacientificamente segura. Tal como umaponte nao se ergue, sem antes ter prova deque a mesma nao ira ceder, tambem osoftware pode ser desenvolvido comgarantias de que nao falhara. O perfil MFPaborda a Engenharia de Software seguindoesta abordagem, dando ferramentas solidaspara provar e desenvolver software paraalem do modus operandi da industria que seresume a cargas de testes
Pedro Araujo
ISSU
MFP (MFES) foi essencial para a minhacarreira. Embora o seu uso no dia a dia naoseja explıcito eu sei que em todos ossistemas e codigo que crio o pensamentoformal esta la. Compreender que programarpode ser uma ciencia exata ajuda a dar aperspectiva necessaria para criar sistemasrobustos, bem especificados e formais.