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.

50 Recent Changes in TWiki Web retrieved at 12:16 (GMT)

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 ...
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 ...
WebSideBar 15 Oct 2014 - 16:26 - r69 JoseNunoOliveira
Tópicos Benvindo a MFES Docentes Contacto Sumários principal Alunos Funcionamento Programa Material AMT ...
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. ...
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 ...
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%). ...
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 ...
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
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 ...
EquipaDocente 11 Sep 2013 - 11:40 - NEW JoseNunoOliveira
Equipa docente Soares Barbosa Bernardo Barros Alcino Cunha João Frade Nuno Oliveira Sousa Pinto ...
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 ...
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 ...
WebTopicActions 29 Sep 2009 - 16:53 - r2 AlcinoCunha
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 ...
WebTopBar 13 Feb 2007 - 14:43 - NEW AlcinoCunha
WebLeftBar 13 Feb 2007 - 10:35 - r5 AlcinoCunha
Apresentação Sumários Projectos Material
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1314 web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES1314 web"}% /Education/MFES1314
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
Found 26 topics.

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

r3 - 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