Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (13/14)
View   r69  >  r68  >  r67  >  r66  >  r65  ...

WebSideBar 69 - 15 Oct 2014 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 7 to 7
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 68 - 20 Sep 2014 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

WebSideBar 67 - 23 Jul 2014 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 66 - 12 Dec 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 6 to 6
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 65 - 05 Dec 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 11 to 11
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 64 - 14 Oct 2013 - Main.AlcinoCunha
Line: 1 to 1
 

Tópicos

Line: 10 to 10
 
Added:
>
>
 

WebSideBar 63 - 07 Oct 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

WebSideBar 62 - 17 Sep 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

WebSideBar 61 - 11 Sep 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

WebSideBar 60 - 11 Sep 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Line: 10 to 10
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 59 - 28 May 2013 - Main.AlcinoCunha
Line: 1 to 1
 

Tópicos

Line: 11 to 11
 
Added:
>
>
  • Teses? tinynew.gif
 

WebSideBar 58 - 15 Nov 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Added:
>
>
 
Deleted:
<
<
 

WebSideBar 57 - 15 Nov 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Added:
>
>
 

WebSideBar 56 - 25 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 6 to 6
 
Changed:
<
<
>
>
 
<--  * Projecto  tinynew.gif  !-->

WebSideBar 55 - 03 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 10 to 10
 
<--  * Projecto  tinynew.gif  !-->
Changed:
<
<
>
>
 

WebSideBar 54 - 03 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 12 to 12
 
Added:
>
>
 

Avisos


WebSideBar 53 - 02 Oct 2012 - Main.AlcinoCunha
Line: 1 to 1
 

Tópicos

Line: 11 to 11
 
Added:
>
>
 

Avisos


WebSideBar 52 - 24 Sep 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

WebSideBar 51 - 20 Sep 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

WebSideBar 50 - 20 Sep 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

WebSideBar 49 - 13 Sep 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
<--  * Projecto  tinynew.gif  !-->
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 48 - 28 Mar 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 6 to 6
 
Changed:
<
<
>
>
 

WebSideBar 47 - 04 Jan 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 46 - 03 Jan 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 45 - 12 Oct 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos


WebSideBar 44 - 12 Oct 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 43 - 07 Oct 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Added:
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 42 - 04 Oct 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 8 to 8
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 41 - 15 Sep 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Deleted:
<
<
  • Projecto
    <-- IMG ALIGN="BOTTOM" BORDER="0" SRC="http://www.di.uminho.pt/~jno/images/tinynew.gif" ALT="tinynew.gif" !-->
  • VFS?
  • AMT
 

Avisos


WebSideBar 40 - 15 Sep 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos


WebSideBar 39 - 22 Jul 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

WebSideBar 38 - 11 Jul 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Changed:
<
<
>
>
 
  • Projecto
    <-- IMG ALIGN="BOTTOM" BORDER="0" SRC="http://www.di.uminho.pt/~jno/images/tinynew.gif" ALT="tinynew.gif" !-->
Changed:
<
<
  • VFS? tinynew.gif
>
>
  • VFS?
 

Avisos


WebSideBar 37 - 19 Jun 2011 - Main.JorgeSousaPinto
Line: 1 to 1
 

Tópicos

Line: 11 to 11
 
  • Sumários
  • Material tinynew.gif
  • Projecto
    <-- IMG ALIGN="BOTTOM" BORDER="0" SRC="http://www.di.uminho.pt/~jno/images/tinynew.gif" ALT="tinynew.gif" !-->
Changed:
<
<
  • VFS?
>
>
  • VFS? tinynew.gif
 

Avisos


WebSideBar 36 - 14 Jun 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 6 to 6
 
Changed:
<
<
>
>
 

WebSideBar 35 - 03 Apr 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Changed:
<
<
  • Material
    <--IMG ALIGN="BOTTOM" BORDER="0" SRC="http://www.di.uminho.pt/~jno/images/tinynew.gif" ALT="tinynew.gif"!-->
  • Projecto tinynew.gif
>
>
  • Material tinynew.gif
  • Projecto
    <-- IMG ALIGN="BOTTOM" BORDER="0" SRC="http://www.di.uminho.pt/~jno/images/tinynew.gif" ALT="tinynew.gif" !-->
 

WebSideBar 34 - 23 Mar 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 8 to 8
 
Deleted:
<
<
 
Changed:
<
<
>
>
  • Material
    <--IMG ALIGN="BOTTOM" BORDER="0" SRC="http://www.di.uminho.pt/~jno/images/tinynew.gif" ALT="tinynew.gif"!-->
 
Added:
>
>
 

Avisos


WebSideBar 33 - 17 Mar 2011 - Main.JorgeSousaPinto
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Added:
>
>
  • VFS?
 

WebSideBar 32 - 14 Mar 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 31 - 10 Mar 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 10 to 10
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 30 - 16 Dec 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 10 to 10
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 29 - 29 Nov 2010 - Main.AlcinoCunha
Line: 1 to 1
 

Tópicos

Line: 8 to 8
 
Added:
>
>
 

WebSideBar 28 - 19 Oct 2010 - Main.AlcinoCunha
Line: 1 to 1
 

Tópicos

Line: 10 to 10
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 27 - 14 Oct 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 26 - 07 Oct 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 8 to 8
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 25 - 06 Oct 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 24 - 30 Sep 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

WebSideBar 23 - 30 Sep 2010 - Main.AlcinoCunha
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 22 - 05 Sep 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 6 to 6
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 21 - 14 Jul 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 8 to 8
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 20 - 28 Jun 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 6 to 6
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

WebSideBar 19 - 15 Jun 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 6 to 6
 
Changed:
<
<
>
>
 

WebSideBar 18 - 24 May 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

WebSideBar 17 - 17 May 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Deleted:
<
<
 
Added:
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 16 - 14 Apr 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Added:
>
>
 
Line: 9 to 10
 
Changed:
<
<
>
>
 

Avisos

Line: 17 to 18
 
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.

Added:
>
>
<--   tinynew.gif  !-->

WebSideBar 15 - 11 Mar 2010 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 14 - 03 Dec 2009 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Added:
>
>
 

WebSideBar 13 - 11 Nov 2009 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Line: 9 to 9
 
Added:
>
>
 

Avisos


WebSideBar 12 - 15 Oct 2009 - Main.AlcinoCunha
Line: 1 to 1
 

Tópicos

Line: 8 to 8
 
Added:
>
>
 

Avisos


WebSideBar 11 - 08 Oct 2009 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Added:
>
>
 

WebSideBar 10 - 01 Oct 2009 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 

Avisos


WebSideBar 9 - 01 Oct 2009 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

WebSideBar 8 - 30 Sep 2009 - Main.JoseNunoOliveira
Line: 1 to 1
 

Tópicos

Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 7 - 29 Sep 2009 - Main.AlcinoCunha
Line: 1 to 1
 

Tópicos

Added:
>
>
 
Changed:
<
<
>
>
 

Avisos


WebSideBar 6 - 03 May 2007 - Main.AlcinoCunha

WebSideBar 5 - 15 Oct 2014 - Main.TWikiGuest

WebSideBar 4 - 15 Oct 2014 - Main.TWikiGuest

WebSideBar 3 - 15 Oct 2014 - Main.TWikiGuest

WebSideBar 2 - 15 Oct 2014 - Main.TWikiGuest

WebSideBar 1 - 15 Oct 2014 - Main.TWikiGuest
Line: 1 to 1

Revision 69r69 - 15 Oct 2014 - 16:26:48 - JoseNunoOliveira
Revision 68r68 - 20 Sep 2014 - 21:41:02 - JoseNunoOliveira
Revision 67r67 - 23 Jul 2014 - 15:34:52 - JoseNunoOliveira
Revision 66r66 - 12 Dec 2013 - 14:21:27 - JoseNunoOliveira
Revision 65r65 - 05 Dec 2013 - 12:27:22 - JoseNunoOliveira
Revision 64r64 - 14 Oct 2013 - 16:14:41 - AlcinoCunha
Revision 63r63 - 07 Oct 2013 - 10:44:22 - JoseNunoOliveira
Revision 62r62 - 17 Sep 2013 - 19:03:25 - JoseNunoOliveira
Revision 61r61 - 11 Sep 2013 - 16:10:35 - JoseNunoOliveira
Revision 60r60 - 11 Sep 2013 - 11:52:58 - JoseNunoOliveira
Revision 59r59 - 28 May 2013 - 17:41:35 - AlcinoCunha
Revision 58r58 - 15 Nov 2012 - 20:15:10 - JoseNunoOliveira
Revision 57r57 - 15 Nov 2012 - 17:04:41 - JoseNunoOliveira
Revision 56r56 - 25 Oct 2012 - 12:10:41 - JoseNunoOliveira
Revision 55r55 - 03 Oct 2012 - 18:49:48 - JoseNunoOliveira
Revision 54r54 - 03 Oct 2012 - 08:50:10 - JoseNunoOliveira
Revision 53r53 - 02 Oct 2012 - 15:12:24 - AlcinoCunha
Revision 52r52 - 24 Sep 2012 - 15:03:57 - JoseNunoOliveira
Revision 51r51 - 20 Sep 2012 - 09:16:03 - JoseNunoOliveira
Revision 50r50 - 20 Sep 2012 - 05:21:08 - JoseNunoOliveira
Revision 49r49 - 13 Sep 2012 - 11:33:36 - JoseNunoOliveira
Revision 48r48 - 28 Mar 2012 - 09:59:59 - JoseNunoOliveira
Revision 47r47 - 04 Jan 2012 - 22:19:15 - JoseNunoOliveira
Revision 46r46 - 03 Jan 2012 - 19:52:03 - JoseNunoOliveira
Revision 45r45 - 12 Oct 2011 - 12:46:27 - JoseNunoOliveira
Revision 44r44 - 12 Oct 2011 - 09:03:09 - JoseNunoOliveira
Revision 43r43 - 07 Oct 2011 - 15:47:20 - JoseNunoOliveira
Revision 42r42 - 04 Oct 2011 - 11:36:58 - JoseNunoOliveira
Revision 41r41 - 15 Sep 2011 - 14:14:22 - JoseNunoOliveira
Revision 40r40 - 15 Sep 2011 - 11:23:33 - JoseNunoOliveira
Revision 39r39 - 22 Jul 2011 - 18:06:54 - JoseNunoOliveira
Revision 38r38 - 11 Jul 2011 - 18:01:52 - JoseNunoOliveira
Revision 37r37 - 19 Jun 2011 - 01:20:44 - JorgeSousaPinto
Revision 36r36 - 14 Jun 2011 - 17:09:43 - JoseNunoOliveira
Revision 35r35 - 03 Apr 2011 - 08:09:17 - JoseNunoOliveira
Revision 34r34 - 23 Mar 2011 - 15:33:44 - JoseNunoOliveira
Revision 33r33 - 17 Mar 2011 - 20:07:21 - JorgeSousaPinto
Revision 32r32 - 14 Mar 2011 - 16:47:23 - JoseNunoOliveira
Revision 31r31 - 10 Mar 2011 - 12:24:40 - JoseNunoOliveira
Revision 30r30 - 16 Dec 2010 - 22:37:38 - JoseNunoOliveira
Revision 29r29 - 29 Nov 2010 - 15:34:09 - AlcinoCunha
Revision 28r28 - 19 Oct 2010 - 14:21:58 - AlcinoCunha
Revision 27r27 - 14 Oct 2010 - 14:34:07 - JoseNunoOliveira
Revision 26r26 - 07 Oct 2010 - 15:26:14 - JoseNunoOliveira
Revision 25r25 - 06 Oct 2010 - 19:50:50 - JoseNunoOliveira
Revision 24r24 - 30 Sep 2010 - 10:12:26 - JoseNunoOliveira
Revision 23r23 - 30 Sep 2010 - 08:08:49 - AlcinoCunha
Revision 22r22 - 05 Sep 2010 - 10:00:36 - JoseNunoOliveira
Revision 21r21 - 14 Jul 2010 - 19:41:13 - JoseNunoOliveira
Revision 20r20 - 28 Jun 2010 - 09:33:00 - JoseNunoOliveira
Revision 19r19 - 15 Jun 2010 - 14:35:44 - JoseNunoOliveira
Revision 18r18 - 24 May 2010 - 14:27:46 - JoseNunoOliveira
Revision 17r17 - 17 May 2010 - 11:51:24 - JoseNunoOliveira
Revision 16r16 - 14 Apr 2010 - 14:04:55 - JoseNunoOliveira
Revision 15r15 - 11 Mar 2010 - 16:19:15 - JoseNunoOliveira
Revision 14r14 - 03 Dec 2009 - 12:10:54 - JoseNunoOliveira
Revision 13r13 - 11 Nov 2009 - 10:15:30 - JoseNunoOliveira
Revision 12r12 - 15 Oct 2009 - 16:24:32 - AlcinoCunha
Revision 11r11 - 08 Oct 2009 - 11:21:38 - JoseNunoOliveira
Revision 10r10 - 01 Oct 2009 - 11:31:23 - JoseNunoOliveira
Revision 9r9 - 01 Oct 2009 - 10:13:28 - JoseNunoOliveira
Revision 8r8 - 30 Sep 2009 - 16:07:49 - JoseNunoOliveira
Revision 7r7 - 29 Sep 2009 - 16:19:55 - AlcinoCunha
Revision 6r6 - 03 May 2007 - 08:25:56 - AlcinoCunha
Revision 5r1 - 15 Oct 2014 - 16:26:48 - TWikiGuest
Revision 4r1 - 15 Oct 2014 - 16:26:48 - TWikiGuest
Revision 3r1 - 15 Oct 2014 - 16:26:48 - TWikiGuest
Revision 2r1 - 15 Oct 2014 - 16:26:48 - TWikiGuest
Revision 1r1 - 15 Oct 2014 - 16:26:48 - TWikiGuest
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM