Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2010/11)

Tópicos

Avisos

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

16 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 SIG

02 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.

50 Recent Changes in TWiki Web retrieved at 20:22 (GMT)

WebStatistics 04 Jul 2020 - 19:53 - r2188 TWikiGuest
Statistics for Education/MFES1011 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebSideBar 20 Sep 2014 - 21:44 - r41 JoseNunoOliveira
Tópicos Benvindo a MFES Docentes Contacto principal Alunos Funcionamento Programa Sumários Material Projecto ...
Alunos 10 Jul 2013 - 09:05 - r18 JoseNunoOliveira
Alunos Nr Mestrado Nome Fotografia E mail E4083 Erasmus/Utrecht Paul van der Walt paul AT denknerd DOT nl ...
Material 15 Jul 2012 - 18:15 - r34 JoseNunoOliveira
Índice do material disponível: Bibliografia Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba. Systems: Modelling, Specification and Verification . ...
Avisos 20 Mar 2012 - 14:19 - r24 JoseNunoOliveira
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 ...
Calendario 15 Sep 2011 - 13:34 - r5 JoseNunoOliveira
Sumários da UCE Calendário MFES 2010/11 : CalendarioEscolar2010 11.pdf. Formato ICS (última actualização: 2011.Mar.23) : mfes1011su.ics.zip. Actualização cont ...
EquipaDocente 15 Sep 2011 - 12:25 - r5 JoseNunoOliveira
Equipa docente Soares Barbosa Bernardo Barros Alcino Cunha João Frade ( ) Nuno Oliveira Sousa Pinto ...
Funcionamento 27 Jul 2011 - 17:10 - r11 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 ...
AMT 26 Jul 2011 - 11:15 - r20 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 (30%). ...
VFS 19 Jun 2011 - 01:23 - r12 JorgeSousaPinto
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 ...
ProjectoIntegrado 14 Jun 2011 - 17:04 - r19 JoseNunoOliveira
Projecto Integrado (II) Grupos, alunos e temas. Gr Nome Nr Fotografia Tema Grupo Critical Software 1 João Silva de Melo pg15989 ...
WebHome 17 Mar 2011 - 00:05 - r33 JoseNunoOliveira
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 ...
Programa 19 Oct 2010 - 14:24 - r2 AlcinoCunha
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 ...
WebPreferences 28 Sep 2010 - 13:14 - r19 AlcinoCunha
Education/MFES1011 Web Preferences The following settings are web preferences of the Education/MFES1011 web. These preferences overwrite the site level preferences ...
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/MFES1011 web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES1011 web"}% /Education/MFES1011
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
Found 27 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