Laboratório de Métodos Formais
2004-2005
Docente Coordenador
Horário
- Acompanhamento dos Projectos: Quartas, 11-13 h, Sala DI 0.04.
- Seminários PURe: Terças, 11-13, Sala de Reuniões do DI.
Objectivos
A disciplina é
orientada ao projecto em engenharia de software no contexto das abordagens formais à especificação e desenvolvimento de sistemas. Assim, visa-se
- Desenvolver competências específicas no projecto e implementação de sistemas envolvendo diversas plataformas de suporte e requisitos não triviais
- Desenvolver um conjunto de `soft-skills' essenciais a qualquer técnico de informática dos dias de hoje: gestão de projecto, organização, comunicação e trabalho colaborativo.
- Aprofundar o contacto com ferramentas de suporte ao desenvolvimento formal de software
- Oferecer uma iniciação à investigação científica através da integração dos alunos em equipas de projectos de investigação em curso no Grupo de Lógica e Métodos Formais do DI.
Em 2004-05, em particular, os alunos que escolherem esta Opção são convidados a integrar a equipa do projecto
PURe e a participar nos correspondentes
seminários de investigação. A apresentação final dos projectos a realizar será igualmente feita no âmbito deste projecto.
Programa Resumido
Estudo e desenvolvimento de técnicas de análise de requisitos e experiência em interface/ coabitação de ferramentas de apoio ao uso de métodos formais (à escala industrial) com as tecnologias tradicionais. Casos de estudo - projectos propostos no contexto do Projecto PURe (FCT):
- PURe Camila: re-engenharia do sistema de prototipagem Camila e sua re-implementação sobre Haskell
- Métodos e ferremantas para slicing sobre especificações VDM
Projectos
Critérios de Avaliação
Tratando-se de uma disciplina eminentemente práticai, é adoptado o regime de avaliação contínua (sem provas escritas) que terá em conta as seguintes componentes:
- Capacidade de organização e gestão de projectos de software
- Capacidade de interligação de conhecimentos obtidos ao longo do curso na realização de um projecto de engenharia de software.
- Qualidade do produto desenvolvido
- Capacidade de comunicação e trabalho em grupo
Bibliografia
Grupos
Grupos e Classificações
Grupo | Nr | Nome | Curso | Data Apresentação | Classificação |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
-- LuisSoaresBarbosa - 21 Sep 2004
|
--
LuisSoaresBarbosa - 21 Sep 2004