15 Jul - Exame de recurso do módulo CSI - terá lugar dia 18 de Julho (5ª-feira), às 9h30, na sala DI 1.08.
15 Jul - Publicadas as notas finais da época normal em Funcionamento6 Jul - As notas finais de AMT foram publicadas.
10 Jun - As classificações do teste de CSI encontram-se em Funcionamento.
08 Jun - Milestone 4 (PI): recomenda-se a leitura de How to write a great research paper (ver Projecto) na preparação dos slides+relatório a apresentar nesta milestone final.
06 Jun - A Milestone 4 do PI terá lugar no dia 27-Jun - ver planeamento em Sumários.
06 Jun - Chama-se a atenção dos alunos para o preenchimento na intranet dos inquéritos pedagógicos até 3-Jul 2013.
13 Fev - Teste do módulo CSI - terá lugar dia 1 de Março (6ª-feira), às 9h00, na sala DI 1.08.
04 Jan - a milestone nr.1 do Projecto integrado terá lugar na próxima quinta-feira, 10-Jan, das 14h00 às 18h00, na sala DI 1.08 (1º andar do edifício do DI), sendo transmitidas via Skype para os supervisores nas empresas.
13 Nov - A WS de apresentação dos projectos (PI) aos alunos aulas terá lugar na próxima quinta-feira, 15-Nov, das 12h00 às 18h00, na sala DI 1.08 (1º andar do edifício do DI).
28 Set - As aulas iniciam-se na próxima quinta-feira, 4-Out, às 9h00, na sala DI 1.08 (1º andar do edifício do DI).
24 Set - A apresentaçao desta UC na Semana Inaugural MEI @ 2012/2013 terá lugar no dia 27-Set às 16h00, ver Sumários.
13 Set - Criação do site.
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%). ...
15 Jul Exame de recurso do módulo CSI terá lugar dia 18 de Julho (5ª feira), às 9h30, na sala DI 1.08. 15 Jul Publicadas as notas finais da época normal ...
Í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. ...
Exercícios sobre Model Checking Instale a ferramenta de model checking NuSMV e utilize a para resolver os seguintes exercícios: 1. Verifique que o de Peterson para ...
Projecto Integrado (Cohesive Project) Interesting and useful slides for preparing the milestones: http://research.microsoft.com/en us/um/people/simonpj/papers ...
MSc theses proposals For more details about any of these proposals please contact its proponent: (1) Enforcing model consistency with minimal repairs (Alcino Cunha ...
Bem vindo a MFES Bem vindo à página da edição de 2012/13 da UCE de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou o responsável ...
Education/MFES1213 Web Preferences The following settings are web preferences of the Education/MFES1213 web. These preferences overwrite the site level preferences ...