Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (13/14)

Tópicos

Avisos

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 Minho

18 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 2014

25 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ário

11 Set - Criação do site.

Education/MFES1314 Web Changed Changed by
AMT 28 Apr 2014 - 11:31 - r13 AlcinoCunha
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%). ...
Alunos 18 Jun 2014 - 16:08 - r15 JoseNunoOliveira
Alunos Nr Mestrado Nome Fotografia E mail Grupo pg19643 MMC Ana Catarina Pereira Correia B pg25335 MEI ...
Avisos 03 Mar 2015 - 11:07 - r20 JoseNunoOliveira
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 ...
Calendario 23 Oct 2013 - 10:44 - r3 JoseNunoOliveira
Calendarização / Sumários da UCE Calendário escolar: RT 07/2013 Actualização contínua no calendário: JoseNunoOliveira 11 Sep 2013
EquipaDocente 11 Sep 2013 - 11:40 - NEW JoseNunoOliveira
Equipa docente Soares Barbosa Bernardo Barros Alcino Cunha João Frade Nuno Oliveira Sousa Pinto ...
Funcionamento 25 Jul 2014 - 14:13 - r6 JoseNunoOliveira
Í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 14 Jul 2014 - 17:54 - r50 JoseNunoOliveira
Material disponível ou a disponibilizar: Bibliografia Daniel Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. ...
Programa 11 Sep 2013 - 11:45 - NEW JoseNunoOliveira
Módulos A UCE consta dos módulos CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ...
ProjectoIntegrado 15 Oct 2014 - 16:37 - r27 JoseNunoOliveira
Cohesive Project (Projecto Integrado) Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people ...
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1314 web
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebCss 03 May 2007 - 08:33 - r4 AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...
WebHome 04 Nov 2013 - 19:08 - r43 JoseNunoOliveira
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 ...
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebLeftBar 13 Feb 2007 - 10:35 - r5 AlcinoCunha
Apresentação Sumários Projectos Material
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
WebPreferences 11 Sep 2013 - 11:18 - r19 AlcinoCunha
Education/MFES1314 Web Preferences The following settings are web preferences of the Education/MFES1314 web. These preferences overwrite the site level preferences ...
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES1314 web"}% /Education/MFES1314
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSideBar 15 Oct 2014 - 16:26 - r69 JoseNunoOliveira
Tópicos Benvindo a MFES Docentes Contacto Sumários principal Alunos Funcionamento Programa Material AMT ...
WebStatistics 10 Sep 2011 - 18:37 - r1184 TWikiGuest
Statistics for Education/MFES1314 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebTopBar 13 Feb 2007 - 14:43 - NEW AlcinoCunha
WebTopicActions 29 Sep 2009 - 16:53 - r2 AlcinoCunha
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
Found 26 topics.

See also the faster WebTopicList

r4 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM