23 Jul - Lançadas as classificações finais da UCE: ver Funcionamento.
14 Jul - Correcção do teste de CSI: ver enunciado no material pedagógico.
24 Jun - Sessão de correcção do teste de CSI: será dia 26-Jun, 17h, sala DI 1.08.
22 Jun - Classificações do teste de CSI: ver Funcionamento.
18 Jun - Chama-se a atenção dos alunos para a realização das JOIN'14 - XII Jornadas de Informática da Universidade do Minho18 Jun - A data da última 'milestone' do Projecto Integrado foi adiada para 3-Jul, ver sumários.
22 Mai - A pedido da organização, divulga-se e sugere-se a participação dos alunos no TIUP 201425 Abr - AMT: finalmente foram publicadas as notas do teste de Alloy! Em princípio as próximas notas serão lançadas durante a próxima semana.
22 Fev - Publicado oFormulário de CSI em material pedagógico.
05 Fev - CSI: colectados num único PDF todos os exercícios de CSI no material pedagógico.
17 Dez Já estão definidos os tutores de cada grupo, cf. Projecto. Cada grupo deverá entrar em contacto com o seu tutor para definirem horário conveniente para o PI e arrancarem com os trabalhos.
6 Dez - Sugestão de leitura para alunos de MFES... e não só!
12 Nov - Foi criada uma mailing list para a edição 13/14 de MFES. Recomenda-se a subscrição a todos os alunos.
12 Nov - AMT: exemplos do barqueiro adicionados na secção de material pedagógico.
04 Nov - CSI: o módulo Alloy RelCalc.als que se adicionou ao Material pedagógico deve ser estudado como preparação para a próxima aula.
31 Out - CSI: O sumário da TP1 de hoje (11h30) inclui o código Alloy que deve ser usado como ponto de partida para o problema de programação sugerido na aula.
24 Out - FAQs de CSI: ver Material pedagógico (no fim).
07 Out - O código de activação de pré-inscrição nesta UC no e-Learning pode ser obtido carregando aqui.
23 Set - As aulas iniciam-se no próximo dia 3 de Outubro. Ver detalhes em: Calendário11 Set - Criação do site.
23 Jul Lançadas as classificações finais da UCE: ver Funcionamento. 14 Jul Correcção do teste de CSI: ver enunciado no material pedagógico. 24 Jun Sess ...
Índice Onde As aulas desta UCE decorrem todas num só dia, à 5ª feira , das 9h00 19h00 e numa só sala, o Laboratório DI 1.08 . Os meios audiovisuais estão localizados ...
Material disponível ou a disponibilizar: Bibliografia Daniel Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. ...
Análise, Modelação e Teste Método de Avaliação A nota do módulo de AMT será a média pesada dos seguintes componentes: Teste individual sobre Alloy (40%). ...
Bem vindo a MFES Bem vindo à página da edição de 2013/14 da UCE de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou o responsável ...
Education/MFES1314 Web Preferences The following settings are web preferences of the Education/MFES1314 web. These preferences overwrite the site level preferences ...