03 Set Lancamento das classificações finais - ver secção Funcionamento19 Jul As notas da 2ª milestone de PI1 foram (finalmente) lançadas.
12 Jul A data de entrega dos exercícios de Coq foi adiada para o dia 29 de Julho.
29 Jun - Palestra HASLab de 30-Jun foi adiada devido à ICPC'10- detalhes
aqui27 Jun - A sessão da manhã do dia 1-Jul será dedicada à preparação da última milestone - ver Sumários27 Jun - Data da última Milestone do PI(II):
15-Julho. Mais detalhes sobre a calendarização do mês de Julho na página de Sumários15 Jun - Actualizada informação relativa a provas de avaliação individual (ver Funcionamento)
24 Mai Atenção à data da segunda Milestone do PI(II):
17-Junho. A terceira (e última, com participação da indústria) será em meados de Julho.
22 Abr Atenção à data da primeira Milestone do PI(II):
6-Maio. A segunda será em meados de Junho e a terceira (e última) em meados de Julho.
3 Fev Atenção à calendarização das provas de avaliação e milestones (ver sumários da UCE).
9 Dez O relatório referente à primeira Milestone (10-Dez) pode ser entregue até ao dia 17-Dez.
3 Dez O fórum dos alunos encontra-se aqui.
29 Out Está a partir de hoje on-line o repositório de ferramentas da associação FME.
29 Out A sessão de CSI de 05-Nov será ocupada pelo módulo AMT (ver sumários)
29 Set As aulas começaram no dia 1 de Outubro às 9h00.
29 Set Criação do site.
Índice do material disponível: Bibliografia Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba. Systems: Modelling, Specification and Verification . ...
Índice: Onde As aulas desta UCE decorrem todas num só dia, à 5ª feira , das 9h00 18h00 e numa só sala, o Laboratório DI 1.08 . Os meios audiovisuais estão localizados ...
03 Set Lancamento das classificações finais ver secção Funcionamento 19 Jul As notas da 2ª milestone de PI1 foram (finalmente) lançadas. 12 Jul A data de ...
Bem vindo a MFES Bem vindo à página da edição de 2009/10 da UCE de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou o responsável ...
Módulos A UCE consta dos módulos seguintes, CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ...
Education/MFES0910 Web Preferences The following settings are web preferences of the Education/MFES0910 web. These preferences overwrite the site level preferences ...
Métodos Formais Preâmbulo A ciência tem a ver com o perceber se como o mundo e as suas coisas funcionam e a tecnologia com o garantir que certas coisas que se ...
Cálculo de Sistemas de Informação O objectivo deste módulo é mostrar como, de modelos abstractos, puramente declarativos, como os que se estudaram em Formais , se ...
Análise e Teste de Software Neste módulo, convidam se os alunos a trocar a visão construtiva do arquitecto de software pela visão do avaliador , ou gestor de ...
Módulos Os conteúdos programáticos desta UCE são agrupados em 4 módulos temáticos e um de projecto integrador, de acordo com a seguinte estrutura: Métodos Formais ...
Processos e Arquitecturas de Software Este módulo constitui uma introdução ao estudo da arquitectura dos sistemas na dupla perspectiva da estrutura das suas intera ...