27 Jul - A notas finais estão publicadas em Funcionamento.
11 Jul - A notas à data da época normal estão publicadas em Funcionamento.
18 Jun - Teste de VFS terá lugar na 2a.fa. dia 20, às 15:00, na sala 0.02.
16 Jun - Deadline para entrega do relatório (hard): 23-Jun16 Jun - Atenção ao facto de, para evitar conflito com as JOIN (28-30 Jun), a Milestone 3 (final) terá lugar numa sexta-feira, dia 1-Jul. O escalonamento das apresentações será anunciado no respectivo sumário.
14 Jun - As classificações do teste de CSI podem ser consultadas em Funcionamento.
16 Mar - Informa~se que, devido a um imprevisto de ordem pessoal, o Prof. LSB não poderá dar aula amanhã de manhã.
10 Mar - Informa~se que hoje de tarde só há a sessão às 17h00 (aulas de VFS só na próxima semana)
09 Mar - A alocação de projectos + tutorias de PI(II) serão anunciadas na sessão de amanhã (17h00).
23 Fev - A agenda e acetatos da milestone 2 estão no tópico do projecto.
10 Fev - A workshop de apresentação de propostas de projectos por parte dos parceiros industriais da UCE terá lugar dia 03-Mar, ver Sumários)
10 Fev - A Milestone PI(2) terá lugar dia 24-Fev de manhã; de tarde decorrerá a apresentação dos módulos do 2º semestre)
20 Jan - O dia 3-Fev será integralmente dedicado ao módulo CSI (aulas de revisões e preparação para o teste de 10-Fev)
4 Jan - As notas da primeira milestone de PI1 foram publicadas.
21 Dez - Já estão online os enunciados de mais um mini-projecto e um exercício de leitura de AMT.
14 Dez - Qualidade de dois projectos de MFES (2009/10) analisada na Open Code Clinic da SIG02 Dez - No dia 16 de Dezembro não haverá sessão de CSI - todo o dia será dedicado a AMT (docente: Joost Visser)
29 Nov - As notas do teste de Alloy foram publicadas na secção AMT.
24 Nov - A primeira milestone do Projecto Integrado terá lugar dia 2-Dez.
28 Set - As aulas da edição corrente da UCE (2010/11) iniciaram-se a 30-Out, às 9h00, na sala DI 1.08 do Departamento de Informática.
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 . ...
27 Jul A notas finais estão publicadas em Funcionamento. 11 Jul A notas à data da época normal estão publicadas em Funcionamento. 18 Jun Teste de VFS ...
Í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 ...
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 (30%). ...
Formal Software Verification Assessment Method Note test will take place on Monday June 20, at 15:00, in room 0.02 Presentation on a theme to be assigned ...
Bem vindo a MFES Bem vindo à página da edição de 2010/11 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/MFES1011 Web Preferences The following settings are web preferences of the Education/MFES1011 web. These preferences overwrite the site level preferences ...