...collaborate on
SumáriosAulas

T (2004.09.29): Apresentação da Disciplina. Discussão das propostas de projectos.

-- LuisSoaresBarbosa - 21 Sep 2004

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

r2 - 26 Oct 2004 - 06:56:04 - LuisSoaresBarbosa
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM