Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [16/17]
View   r33  >  r32  >  r31  >  r30  >  r29  ...

AC 33 - 29 Jun 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 166 to 166
 
Número Nome TP1 10% TP2 20% TP3 10% Teste 60% Recurso Média Final
a70058 Daniel Torres 18.7 - - - - - F
Changed:
<
<
a64287 David Moreira 17.1 11.1 0 5.4 - 7.2 R
>
>
a64287 David Moreira 17.1 11.1 0 - 6.4 7.8 R
 
a72227 Diogo Vilaça 18.1 13.2 16 11.6 - 13.0 13
pg28842 Fátima Cristiana Conceição 15.5 19.7 17 7.8 - 11.8 12
pg32996 Hugo Ribeiro 18.6 14.4 16 9.0 - 11.7 12

AC 32 - 26 Jun 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 146 to 146
 
a70058 Daniel Torres     18.7
a72205 Martinho Aragão     15.1
pg30869 Rúben Cruz     16.0
Deleted:
<
<		-->
 
Número Nome TP1 10% TP2 20% TP3 10% Teste 60%
a70058 Daniel Torres 18.7 - - -
Line: 163 to 162
 
a70441 Mário Ferreira 18.1 12.1 - 7.6
a71580 Rafael Barbosa 15.2 14.0 - 12.5
pg30869 Rúben Cruz 16.0 19.7 - 16.4
Added:
>
>		-->

Número Nome TP1 10% TP2 20% TP3 10% Teste 60% Recurso Média Final
a70058 Daniel Torres 18.7 - - - - - F
a64287 David Moreira 17.1 11.1 0 5.4 - 7.2 R
a72227 Diogo Vilaça 18.1 13.2 16 11.6 - 13.0 13
pg28842 Fátima Cristiana Conceição 15.5 19.7 17 7.8 - 11.8 12
pg32996 Hugo Ribeiro 18.6 14.4 16 9.0 - 11.7 12
pg31577 Isac Meira 18.6 14.4 16 10.0 - 12.3 12
a70430 João Costa 15.2 14.0 16 8.7 - 11.1 11
a64293 Jorge Ferreira 16.0 11.2 16 6.0 - 9.0 10
a72424 José Macedo 18.1 13.2 16 14.3 - 14.6 15
a72204 José Paulo Fernandes 18.1 12.1 13 6.7 - 9.5 10
a72205 Luís Martinho Silva 15.1 13.2 16 9.7 - 11.6 12
a70441 Mário Ferreira 18.1 12.1 13 7.6 - 10.1 10
a71580 Rafael Barbosa 15.2 14.0 16 12.6 - 13.5 14
pg30869 Rúben Cruz 16.0 19.7 17 16.4 - 17.1 17
 [ Acesso às edições anteriores de 2014-15 e 2015-16 ]

AC 31 - 22 Jun 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 129 to 129
 
  • Conhecer e utilizar ferramentas computacionais de suporte.
  • Integrar os conhecimentos adquiridos para utilização no projecto de engenharia de sistemas reactivos.
Changed:
<
<

Alunos

>
>

Alunos - pautas provisórias

 
Added:
>
>

Número Nome TP1 10% TP2 20% TP3 10% Teste 60%
a70058 Daniel Torres 18.7 - - -
a64287 David Moreira 17.1 11.1 - 5.4
a72227 Diogo Vilaça 18.1 13.2 - 11.6
pg28842 Fátima Cristiana Conceição 15.5 19.7 - 7.8
pg32996 Hugo Ribeiro 18.6 14.4 - 9.0
pg31577 Isac Meira 18.6 14.4 - 10
a70430 João Costa 15.2 14.0 - 8.7
a64293 Jorge Ferreira 16.0 11.2 - 6.0
a72424 José Nuno Macedo 18.1 13.2 - 14.3
a72204 José Paulo Fernandes 18.1 12.1 - 6.7
a72205 Luís Martinho Silva 15.1 13.2 - 9.7
a70441 Mário Ferreira 18.1 12.1 - 7.6
a71580 Rafael Barbosa 15.2 14.0 - 12.5
pg30869 Rúben Cruz 16.0 19.7 - 16.4
 [ Acesso às edições anteriores de 2014-15 e 2015-16 ]

AC 30 - 21 Jun 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 14 to 14
 
  • Teste individual escrito (60%) + 3 trabalhos (40%)
    • Prazo de entrega do trabalho 2: 31 Maio 15 Junho @ 23:59
    • Apresentação do trabalho 2: 1 Junho 16 Junho - 10 min por grupo
Added:
>
>
    • Prazo de entrega do trabalho 3: 22 Junho @ 23:59
 
    • Teste individual com consulta: 8 Junho
Added:
>
>
    • Exame com consulta: 29 Junho @ 9:00
 

Atendimento


AC 29 - 07 Jun 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 69 to 69
 
Added:
>
>
 

Software

Line: 164 to 165
 
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1495720953" name="ac1617.zip" path="ac1617.zip" size="16504" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="5"
META FILEATTACHMENT attachment="ac1617sl.pdf" attr="h" comment="" date="1495730286" name="ac1617sl.pdf" path="ac1617sl.pdf" size="925207" stream="ac1617sl.pdf" user="Main.JoseNunoOliveira" version="3"
Added:
>
>
META FILEATTACHMENT attachment="teste-1516.pdf" attr="h" comment="" date="1496831952" name="teste-1516.pdf" path="teste-1516.pdf" size="233793" stream="teste-1516.pdf" user="Main.JoseProenca" version="1"

AC 28 - 25 May 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 62 to 62
 
Changed:
<
<
>
>
 

Material

Line: 163 to 163
 
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1495720953" name="ac1617.zip" path="ac1617.zip" size="16504" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="5"
Changed:
<
<
META FILEATTACHMENT attachment="ac1617sl.pdf" attr="h" comment="" date="1494517820" name="ac1617sl.pdf" path="ac1617sl.pdf" size="894000" stream="ac1617sl.pdf" user="Main.JoseNunoOliveira" version="2"
>
>
META FILEATTACHMENT attachment="ac1617sl.pdf" attr="h" comment="" date="1495730286" name="ac1617sl.pdf" path="ac1617sl.pdf" size="925207" stream="ac1617sl.pdf" user="Main.JoseNunoOliveira" version="3"

AC 27 - 25 May 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 73 to 73
 

Software

Changed:
<
<
>
>
 

Links úteis

Line: 162 to 162
 
META FILEATTACHMENT attachment="AC1617-6-Reo1.pdf" attr="h" comment="" date="1490878693" name="AC1617-6-Reo1.pdf" path="AC1617-6-Reo1.pdf" size="1447682" stream="AC1617-6-Reo1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1494453896" name="ac1617.zip" path="ac1617.zip" size="14314" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="4"
>
>
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1495720953" name="ac1617.zip" path="ac1617.zip" size="16504" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="5"
 
META FILEATTACHMENT attachment="ac1617sl.pdf" attr="h" comment="" date="1494517820" name="ac1617sl.pdf" path="ac1617sl.pdf" size="894000" stream="ac1617sl.pdf" user="Main.JoseNunoOliveira" version="2"

AC 26 - 24 May 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 12 to 12
 

Método de avaliação

  • Teste individual escrito (60%) + 3 trabalhos (40%)
Changed:
<
<
    • Prazo de entrega do trabalho 2: 31 Maio @ 23:59
    • Apresentação do trabalho 2: 1 Junho - 10 min por grupo
>
>
    • Prazo de entrega do trabalho 2: 31 Maio 15 Junho @ 23:59
    • Apresentação do trabalho 2: 1 Junho 16 Junho - 10 min por grupo
 
    • Teste individual com consulta: 8 Junho

Atendimento


AC 25 - 11 May 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 163 to 163
 
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1494453896" name="ac1617.zip" path="ac1617.zip" size="14314" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="4"
Changed:
<
<
META FILEATTACHMENT attachment="ac1617sl.pdf" attr="h" comment="" date="1494322864" name="ac1617sl.pdf" path="ac1617sl.pdf" size="570298" stream="ac1617sl.pdf" user="Main.JoseNunoOliveira" version="1"
>
>
META FILEATTACHMENT attachment="ac1617sl.pdf" attr="h" comment="" date="1494517820" name="ac1617sl.pdf" path="ac1617sl.pdf" size="894000" stream="ac1617sl.pdf" user="Main.JoseNunoOliveira" version="2"

AC 24 - 10 May 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 73 to 73
 

Software

Changed:
<
<
>
>
 

Links úteis

Line: 162 to 162
 
META FILEATTACHMENT attachment="AC1617-6-Reo1.pdf" attr="h" comment="" date="1490878693" name="AC1617-6-Reo1.pdf" path="AC1617-6-Reo1.pdf" size="1447682" stream="AC1617-6-Reo1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1493891647" name="ac1617.zip" path="ac1617.zip" size="15447" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="3"
>
>
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1494453896" name="ac1617.zip" path="ac1617.zip" size="14314" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="4"
 
META FILEATTACHMENT attachment="ac1617sl.pdf" attr="h" comment="" date="1494322864" name="ac1617sl.pdf" path="ac1617sl.pdf" size="570298" stream="ac1617sl.pdf" user="Main.JoseNunoOliveira" version="1"

AC 23 - 09 May 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 62 to 62
 
Added:
>
>
 

Material

Line: 162 to 163
 
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1493891647" name="ac1617.zip" path="ac1617.zip" size="15447" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="3"
Added:
>
>
META FILEATTACHMENT attachment="ac1617sl.pdf" attr="h" comment="" date="1494322864" name="ac1617sl.pdf" path="ac1617sl.pdf" size="570298" stream="ac1617sl.pdf" user="Main.JoseNunoOliveira" version="1"

AC 22 - 09 May 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 12 to 12
 

Método de avaliação

  • Teste individual escrito (60%) + 3 trabalhos (40%)
Changed:
<
<
>
>
    • Prazo de entrega do trabalho 2: 31 Maio @ 23:59
    • Apresentação do trabalho 2: 1 Junho - 10 min por grupo
    • Teste individual com consulta: 8 Junho
 

Atendimento

Line: 58 to 60
 
Changed:
<
<
>
>
 

Material


AC 21 - 04 May 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 159 to 159
 
META FILEATTACHMENT attachment="AC1617-6-Reo1.pdf" attr="h" comment="" date="1490878693" name="AC1617-6-Reo1.pdf" path="AC1617-6-Reo1.pdf" size="1447682" stream="AC1617-6-Reo1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1493299680" name="ac1617.zip" path="ac1617.zip" size="14367" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="2"
>
>
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1493891647" name="ac1617.zip" path="ac1617.zip" size="15447" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="3"

AC 20 - 27 Apr 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 159 to 159
 
META FILEATTACHMENT attachment="AC1617-6-Reo1.pdf" attr="h" comment="" date="1490878693" name="AC1617-6-Reo1.pdf" path="AC1617-6-Reo1.pdf" size="1447682" stream="AC1617-6-Reo1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1493239746" name="ac1617.zip" path="ac1617.zip" size="11735" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="1"
>
>
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1493299680" name="ac1617.zip" path="ac1617.zip" size="14367" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="2"

AC 19 - 26 Apr 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 67 to 67
 
Added:
>
>

Software

 

Links úteis

Line: 154 to 159
 
META FILEATTACHMENT attachment="AC1617-6-Reo1.pdf" attr="h" comment="" date="1490878693" name="AC1617-6-Reo1.pdf" path="AC1617-6-Reo1.pdf" size="1447682" stream="AC1617-6-Reo1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"
Added:
>
>
META FILEATTACHMENT attachment="ac1617.zip" attr="h" comment="" date="1493239746" name="ac1617.zip" path="ac1617.zip" size="11735" stream="ac1617.zip" user="Main.JoseNunoOliveira" version="1"

AC 18 - 06 Apr 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 11 to 11
 

Método de avaliação

Changed:
<
<		Teste individual escrito (60%) + 3 trabalhos (40%)
>
>
  • Teste individual escrito (60%) + 3 trabalhos (40%)
 

Atendimento

Line: 119 to 120
 

Alunos

Changed:
<
<
a64287 David António Cardoso Moreira P MiEI
a72227 Diogo Filipe da Silva Vilaça P MiEI
pg32996 Hugo Filipe da Silva Ribeiro P MEI
pg31577 Isac Pereira Oliveira Meira P MEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a64293 Jorge Miguel Sol Ferreira P MiEI
a72424 José Nuno Castro de Macedo P MiEI
a72204 José Paulo Queiroga Amorim Fernandes P MiEI
a70441 Mário Jorge Viana Ferreira P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI
>
>
Número Nome     TP1
a64287 David António Cardoso Moreira P MiEI 17.1
a72227 Diogo Filipe da Silva Vilaça P MiEI 18.1
pg32996 Hugo Filipe da Silva Ribeiro P MEI 18.6
pg31577 Isac Pereira Oliveira Meira P MEI 18.6
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI 15.2
a64293 Jorge Miguel Sol Ferreira P MiEI 16.0
a72424 José Nuno Castro de Macedo P MiEI 18.1
a72204 José Paulo Queiroga Amorim Fernandes P MiEI 18.1
a70441 Mário Jorge Viana Ferreira P MiEI 18.1
a71580 Rafael Alexandre Antunes Barbosa P MiEI 15.2
a70058 Daniel Torres     18.7
a72205 Martinho Aragão     15.1
pg30869 Rúben Cruz     16.0
 [ Acesso às edições anteriores de 2014-15 e 2015-16 ]

AC 17 - 30 Mar 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 56 to 56
 
Added:
>
>
 

Material

Line: 144 to 147
 
META FILEATTACHMENT attachment="AC1617-5-Uppaal2.tex" attr="h" comment="" date="1489591096" name="AC1617-5-Uppaal2.tex" path="AC1617-5-Uppaal2.tex" size="23392" stream="AC1617-5-Uppaal2.tex" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-5-Uppaal2.pdf" attr="h" comment="" date="1489591162" name="AC1617-5-Uppaal2.pdf" path="AC1617-5-Uppaal2.pdf" size="522226" stream="AC1617-5-Uppaal2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="tp2.pdf" attr="h" comment="" date="1490004073" name="tp2.pdf" path="tp2.pdf" size="683329" stream="tp2.pdf" user="Main.JoseProenca" version="1"
Added:
>
>
META FILEATTACHMENT attachment="AC1617-6-Reo1.pdf" attr="h" comment="" date="1490878693" name="AC1617-6-Reo1.pdf" path="AC1617-6-Reo1.pdf" size="1447682" stream="AC1617-6-Reo1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo2.pdf" attr="h" comment="" date="1490878705" name="AC1617-6-Reo2.pdf" path="AC1617-6-Reo2.pdf" size="6146029" stream="AC1617-6-Reo2.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-6-Reo3.pdf" attr="h" comment="" date="1490878717" name="AC1617-6-Reo3.pdf" path="AC1617-6-Reo3.pdf" size="4054240" stream="AC1617-6-Reo3.pdf" user="Main.JoseProenca" version="1"

AC 16 - 20 Mar 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 61 to 61
 
Added:
>
>
 

Links úteis

Line: 142 to 143
 
META FILEATTACHMENT attachment="AC1617-4-Uppaal1.pdf" attr="h" comment="" date="1489056186" name="AC1617-4-Uppaal1.pdf" path="AC1617-4-Uppaal1.pdf" size="582201" stream="AC1617-4-Uppaal1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-5-Uppaal2.tex" attr="h" comment="" date="1489591096" name="AC1617-5-Uppaal2.tex" path="AC1617-5-Uppaal2.tex" size="23392" stream="AC1617-5-Uppaal2.tex" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-5-Uppaal2.pdf" attr="h" comment="" date="1489591162" name="AC1617-5-Uppaal2.pdf" path="AC1617-5-Uppaal2.pdf" size="522226" stream="AC1617-5-Uppaal2.pdf" user="Main.JoseProenca" version="1"
Added:
>
>
META FILEATTACHMENT attachment="tp2.pdf" attr="h" comment="" date="1490004073" name="tp2.pdf" path="tp2.pdf" size="683329" stream="tp2.pdf" user="Main.JoseProenca" version="1"

AC 15 - 15 Mar 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 45 to 45
 
    • O modelo e a linguagem reo: Sintaxe e semântica.
!-->
Changed:
<
<

Slides

>
>

Material de apoio

Slides

 
Added:
>
>
 
Changed:
<
<

Material

>
>

Material

 
Changed:
<
<

Links úteis

>
>

Links úteis

 
Added:
>
>

Bibliografia

 

Resultados de aprendizagem

Line: 97 to 140
 
META FILEATTACHMENT attachment="tp1.pdf" attr="h" comment="" date="1487948839" name="tp1.pdf" path="tp1.pdf" size="142736" stream="tp1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-3-ModalLogic.pdf" attr="h" comment="" date="1488453260" name="AC1617-3-ModalLogic.pdf" path="AC1617-3-ModalLogic.pdf" size="411335" stream="AC1617-3-ModalLogic.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-4-Uppaal1.pdf" attr="h" comment="" date="1489056186" name="AC1617-4-Uppaal1.pdf" path="AC1617-4-Uppaal1.pdf" size="582201" stream="AC1617-4-Uppaal1.pdf" user="Main.JoseProenca" version="1"
Added:
>
>
META FILEATTACHMENT attachment="AC1617-5-Uppaal2.tex" attr="h" comment="" date="1489591096" name="AC1617-5-Uppaal2.tex" path="AC1617-5-Uppaal2.tex" size="23392" stream="AC1617-5-Uppaal2.tex" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-5-Uppaal2.pdf" attr="h" comment="" date="1489591162" name="AC1617-5-Uppaal2.pdf" path="AC1617-5-Uppaal2.pdf" size="522226" stream="AC1617-5-Uppaal2.pdf" user="Main.JoseProenca" version="1"

AC 14 - 10 Mar 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Changed:
<
<		[ Acesso às edições anteriores de 2014-15 e 2015-16 ]
>
>

Funcionamento

Docentes

Método de avaliação

Teste individual escrito (60%) + 3 trabalhos (40%)

Atendimento

  • Horário: 4ª 10h-12h (por marcação)
  • Marcação: jose at proenca dot org
 

Objectivos

Line: 48 to 62
 
Deleted:
<
<

Funcionamento

Docentes

Método de avaliação

Teste individual escrito (60%) + 3 trabalhos (40%)

Atendimento

  • Horário: 4ª 10h-12h (por marcação)
  • Marcação: jose at proenca dot org
 

Resultados de aprendizagem

  • Conhecer e caracterizar modelos para computação reactiva baseados em diferentes tipos de sistemas de transição, nomeadamente com evolução não-determinística, em tempo real ou estocástica.
Line: 85 to 83
 
a70441 Mário Jorge Viana Ferreira P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI
Added:
>
>		[ Acesso às edições anteriores de 2014-15 e 2015-16 ]
  -- Página criada por LuisSoaresBarbosa - 28 Sep 2016

AC 13 - 09 Mar 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 37 to 37
 
Added:
>
>
 

Material

Line: 94 to 95
 
META FILEATTACHMENT attachment="mcrl2_tutorial-ropebridge.zip" attr="h" comment="" date="1487243652" name="mcrl2_tutorial-ropebridge.zip" path="mcrl2_tutorial-ropebridge.zip" size="516028" stream="mcrl2_tutorial-ropebridge.zip" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="tp1.pdf" attr="h" comment="" date="1487948839" name="tp1.pdf" path="tp1.pdf" size="142736" stream="tp1.pdf" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="AC1617-3-ModalLogic.pdf" attr="h" comment="" date="1488453260" name="AC1617-3-ModalLogic.pdf" path="AC1617-3-ModalLogic.pdf" size="411335" stream="AC1617-3-ModalLogic.pdf" user="Main.JoseProenca" version="1"
Added:
>
>
META FILEATTACHMENT attachment="AC1617-4-Uppaal1.pdf" attr="h" comment="" date="1489056186" name="AC1617-4-Uppaal1.pdf" path="AC1617-4-Uppaal1.pdf" size="582201" stream="AC1617-4-Uppaal1.pdf" user="Main.JoseProenca" version="1"

AC 12 - 02 Mar 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 93 to 93
 
META FILEATTACHMENT attachment="AC1617-0-Intro.pdf" attr="h" comment="" date="1487091047" name="AC1617-0-Intro.pdf" path="AC1617-0-Intro.pdf" size="292100" stream="AC1617-0-Intro.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="mcrl2_tutorial-ropebridge.zip" attr="h" comment="" date="1487243652" name="mcrl2_tutorial-ropebridge.zip" path="mcrl2_tutorial-ropebridge.zip" size="516028" stream="mcrl2_tutorial-ropebridge.zip" user="Main.JoseProenca" version="1"
META FILEATTACHMENT attachment="tp1.pdf" attr="h" comment="" date="1487948839" name="tp1.pdf" path="tp1.pdf" size="142736" stream="tp1.pdf" user="Main.JoseProenca" version="1"
Added:
>
>
META FILEATTACHMENT attachment="AC1617-3-ModalLogic.pdf" attr="h" comment="" date="1488453260" name="AC1617-3-ModalLogic.pdf" path="AC1617-3-ModalLogic.pdf" size="411335" stream="AC1617-3-ModalLogic.pdf" user="Main.JoseProenca" version="1"

AC 11 - 24 Feb 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 41 to 41
 

Material

Added:
>
>
 

Links úteis

Line: 91 to 92
 
META FILEATTACHMENT attachment="AC1617-2-LTS.pdf" attr="h" comment="" date="1487091032" name="AC1617-2-LTS.pdf" path="AC1617-2-LTS.pdf" size="962441" stream="AC1617-2-LTS.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="AC1617-0-Intro.pdf" attr="h" comment="" date="1487091047" name="AC1617-0-Intro.pdf" path="AC1617-0-Intro.pdf" size="292100" stream="AC1617-0-Intro.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="mcrl2_tutorial-ropebridge.zip" attr="h" comment="" date="1487243652" name="mcrl2_tutorial-ropebridge.zip" path="mcrl2_tutorial-ropebridge.zip" size="516028" stream="mcrl2_tutorial-ropebridge.zip" user="Main.JoseProenca" version="1"
Added:
>
>
META FILEATTACHMENT attachment="tp1.pdf" attr="h" comment="" date="1487948839" name="tp1.pdf" path="tp1.pdf" size="142736" stream="tp1.pdf" user="Main.JoseProenca" version="1"

AC 10 - 23 Feb 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 36 to 36
 
Added:
>
>
 

Material


AC 9 - 16 Feb 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

[ Acesso às edições anteriores de 2014-15 e 2015-16 ]

Deleted:
<
<

Método de avaliação

Teste individual escrito (60%) + 3 trabalhos (40%)

 

Objectivos

Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos.

Line: 55 to 51
 
Changed:
<
<

Avaliação

>
>

Método de avaliação

 
Changed:
<
<
  • 3 trabalhos práticos (10%+15%+15%)
  • Prova individual escrita (60%)
>
>		Teste individual escrito (60%) + 3 trabalhos (40%)
 

Atendimento


AC 8 - 16 Feb 2017 - Main.JoseProenca
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 35 to 35
 
    • O modelo e a linguagem reo: Sintaxe e semântica.
!-->
Added:
>
>

Slides

 

Material

Changed:
<
<
>
>

Links úteis

Funcionamento

Docentes

Avaliação

  • 3 trabalhos práticos (10%+15%+15%)
  • Prova individual escrita (60%)

Atendimento

* Horário: 4ª 10h-12h (por marcação) * Marcação: jose at proenca dot org

 

Resultados de aprendizagem

Line: 70 to 94
 
META FILEATTACHMENT attachment="AC1617-1-revisions.pdf" attr="h" comment="" date="1487091010" name="AC1617-1-revisions.pdf" path="AC1617-1-revisions.pdf" size="190276" stream="AC1617-1-revisions.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="AC1617-2-LTS.pdf" attr="h" comment="" date="1487091032" name="AC1617-2-LTS.pdf" path="AC1617-2-LTS.pdf" size="962441" stream="AC1617-2-LTS.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="AC1617-0-Intro.pdf" attr="h" comment="" date="1487091047" name="AC1617-0-Intro.pdf" path="AC1617-0-Intro.pdf" size="292100" stream="AC1617-0-Intro.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="mcrl2_tutorial-ropebridge.zip" attr="h" comment="" date="1487243652" name="mcrl2_tutorial-ropebridge.zip" path="mcrl2_tutorial-ropebridge.zip" size="516028" stream="mcrl2_tutorial-ropebridge.zip" user="Main.JoseProenca" version="1"

AC 7 - 14 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Line: 35 to 35
 
    • O modelo e a linguagem reo: Sintaxe e semântica.
!-->
Added:
>
>

Material

 

Resultados de aprendizagem

  • Conhecer e caracterizar modelos para computação reactiva baseados em diferentes tipos de sistemas de transição, nomeadamente com evolução não-determinística, em tempo real ou estocástica.
Line: 59 to 66
  -- Página criada por LuisSoaresBarbosa - 28 Sep 2016
Added:
>
>
META FILEATTACHMENT attachment="AC1617-1-revisions.pdf" attr="h" comment="" date="1487091010" name="AC1617-1-revisions.pdf" path="AC1617-1-revisions.pdf" size="190276" stream="AC1617-1-revisions.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="AC1617-2-LTS.pdf" attr="h" comment="" date="1487091032" name="AC1617-2-LTS.pdf" path="AC1617-2-LTS.pdf" size="962441" stream="AC1617-2-LTS.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="AC1617-0-Intro.pdf" attr="h" comment="" date="1487091047" name="AC1617-0-Intro.pdf" path="AC1617-0-Intro.pdf" size="292100" stream="AC1617-0-Intro.pdf" user="Main.JoseNunoOliveira" version="1"

AC 6 - 07 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Changed:
<
<		[ Acesso ao sítio da edição de 2014-15 ]
>
>		[ Acesso às edições anteriores de 2014-15 e 2015-16 ]
 

Método de avaliação

Line: 57 to 57
 
a71580 Rafael Alexandre Antunes Barbosa P MiEI

Changed:
<
<		-- LuisSoaresBarbosa - 28 Sep 2016
>
>		-- Página criada por LuisSoaresBarbosa - 28 Sep 2016
 

AC 5 - 07 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Changed:
<
<		Acesso ao sítio da edição de 2014-15
>
>		[ Acesso ao sítio da edição de 2014-15 ]
 

Método de avaliação

Line: 12 to 12
 Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos.
Deleted:
<
<

Resultados de aprendizagem

  • *Conhecer e caracterizar modelos para computação reactiva baseados em diferentes tipos de sistemas de transição, nomeadamente com evolução não-determinística, em tempo real ou estocástica.
  • *Formular propriedades sobre esses modelos e analisar a sua satisfação.
  • *Familiarizar-se com a noção de coordenação de software e utilizá-la produtivamente na definição de arquitecturas de sistemas reactivos.
  • *Conhecer e utilizar ferramentas computacionais de suporte.
  • *Integrar os conhecimentos adquiridos para utilização no projecto de engenharia de sistemas reactivos.

Alunos

(A confirmar)

a64287 David António Cardoso Moreira P MiEI
a70441 Mário Jorge Viana Ferreira P MiEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI
a72204 José Paulo Queiroga Amorim Fernandes P MiEI
a72227 Diogo Filipe da Silva Vilaça P MiEI
a72424 José Nuno Castro de Macedo P MiEI
a72873 Ana Filipa Rodrigues Gomes P ?
pg22842 Fátima Cristiana da Costa Conceição P MMC
pg31577 Isac Pereira Oliveira Meira P MEI
pg32996 Hugo Filipe da Silva Ribeiro P MEI
 

Programa Resumido

Changed:
<
<
Added:
>
>

Resultados de aprendizagem

  • Conhecer e caracterizar modelos para computação reactiva baseados em diferentes tipos de sistemas de transição, nomeadamente com evolução não-determinística, em tempo real ou estocástica.
  • Formular propriedades sobre esses modelos e analisar a sua satisfação.
  • Familiarizar-se com a noção de coordenação de software e utilizá-la produtivamente na definição de arquitecturas de sistemas reactivos.
  • Conhecer e utilizar ferramentas computacionais de suporte.
  • Integrar os conhecimentos adquiridos para utilização no projecto de engenharia de sistemas reactivos.

Alunos

a64287 David António Cardoso Moreira P MiEI
a72227 Diogo Filipe da Silva Vilaça P MiEI
pg32996 Hugo Filipe da Silva Ribeiro P MEI
pg31577 Isac Pereira Oliveira Meira P MEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a64293 Jorge Miguel Sol Ferreira P MiEI
a72424 José Nuno Castro de Macedo P MiEI
a72204 José Paulo Queiroga Amorim Fernandes P MiEI
a70441 Mário Jorge Viana Ferreira P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI

 -- LuisSoaresBarbosa - 28 Sep 2016
Added:
>
>

AC 4 - 27 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Acesso ao sítio da edição de 2014-15

Added:
>
>

Método de avaliação

Teste individual escrito (60%) + 3 trabalhos (40%)

 

Objectivos

Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos.

Line: 17 to 21
 
  • *Conhecer e utilizar ferramentas computacionais de suporte.
  • *Integrar os conhecimentos adquiridos para utilização no projecto de engenharia de sistemas reactivos.
Added:
>
>

Alunos

(A confirmar)

a64287 David António Cardoso Moreira P MiEI
a70441 Mário Jorge Viana Ferreira P MiEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI
a72204 José Paulo Queiroga Amorim Fernandes P MiEI
a72227 Diogo Filipe da Silva Vilaça P MiEI
a72424 José Nuno Castro de Macedo P MiEI
a72873 Ana Filipa Rodrigues Gomes P ?
pg22842 Fátima Cristiana da Costa Conceição P MMC
pg31577 Isac Pereira Oliveira Meira P MEI
pg32996 Hugo Filipe da Silva Ribeiro P MEI
 

Programa Resumido

Added:
>
>
 -- LuisSoaresBarbosa - 28 Sep 2016 \ No newline at end of file

AC 3 - 21 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Acesso ao sítio da edição de 2014-15

Added:
>
>

Objectivos

Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos.

Resultados de aprendizagem

  • *Conhecer e caracterizar modelos para computação reactiva baseados em diferentes tipos de sistemas de transição, nomeadamente com evolução não-determinística, em tempo real ou estocástica.
  • *Formular propriedades sobre esses modelos e analisar a sua satisfação.
  • *Familiarizar-se com a noção de coordenação de software e utilizá-la produtivamente na definição de arquitecturas de sistemas reactivos.
  • *Conhecer e utilizar ferramentas computacionais de suporte.
  • *Integrar os conhecimentos adquiridos para utilização no projecto de engenharia de sistemas reactivos.

Programa Resumido

  • Introdução aos sistemas reactivos
  • Fundamentos
    • Semântica: Sistema de transição etiquetado. Morfismo. Noção de simulação e bissimulação. Bissimilaridade e sua relação com noções intuitivas de equivalência de comportamentos.Composição concorrente de sistemas de transição.
    • Lógicas: Introdução às lógicas modais e temporais. Taxonomia de propriedades dos sistemas reactivos. Tempo linear e tempo ramificado. Nominais e lógica híbrida.
  • Modelação e análise de sistemas reactivos
    • Sistemas de transição não determinísticos (mCRL2).
    • Sistemas com requisitos de tempo real (Uppaal).
    • Sistemas com evolução probabilística (IMC).
  • Arquitectura de sistemas reactivos
    • Motivação: Arquitectura de sistemas reactivos.
    • O paradigma de coordenação: Interacção mediada por conectores.
    • O modelo e a linguagem reo: Sintaxe e semântica. *Projecto e integração de ferramentas.

 -- LuisSoaresBarbosa - 28 Sep 2016

AC 2 - 29 Sep 2016 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

Deleted:
<
<		-- JoseNunoOliveira - 21 Sep 2016
 \ No newline at end of file
Added:
>
>		Acesso ao sítio da edição de 2014-15

-- LuisSoaresBarbosa - 28 Sep 2016


AC 1 - 21 Sep 2016 - Main.JoseNunoOliveira
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

Arquitectura e Cálculo

-- JoseNunoOliveira - 21 Sep 2016


Revision 33r33 - 29 Jun 2017 - 10:40:38 - JoseProenca
Revision 32r32 - 26 Jun 2017 - 14:02:21 - JoseProenca
Revision 31r31 - 22 Jun 2017 - 17:02:27 - JoseProenca
Revision 30r30 - 21 Jun 2017 - 10:55:16 - JoseProenca
Revision 29r29 - 07 Jun 2017 - 10:40:40 - JoseProenca
Revision 28r28 - 25 May 2017 - 16:38:27 - JoseNunoOliveira
Revision 27r27 - 25 May 2017 - 14:02:33 - JoseNunoOliveira
Revision 26r26 - 24 May 2017 - 09:02:31 - JoseProenca
Revision 25r25 - 11 May 2017 - 15:50:21 - JoseNunoOliveira
Revision 24r24 - 10 May 2017 - 22:05:27 - JoseNunoOliveira
Revision 23r23 - 09 May 2017 - 09:41:04 - JoseNunoOliveira
Revision 22r22 - 09 May 2017 - 08:46:17 - JoseProenca
Revision 21r21 - 04 May 2017 - 09:54:07 - JoseNunoOliveira
Revision 20r20 - 27 Apr 2017 - 13:28:01 - JoseNunoOliveira
Revision 19r19 - 26 Apr 2017 - 20:49:07 - JoseNunoOliveira
Revision 18r18 - 06 Apr 2017 - 10:41:13 - JoseProenca
Revision 17r17 - 30 Mar 2017 - 13:00:42 - JoseProenca
Revision 16r16 - 20 Mar 2017 - 10:02:11 - JoseProenca
Revision 15r15 - 15 Mar 2017 - 16:02:40 - JoseProenca
Revision 14r14 - 10 Mar 2017 - 10:54:35 - JoseNunoOliveira
Revision 13r13 - 09 Mar 2017 - 10:43:58 - JoseProenca
Revision 12r12 - 02 Mar 2017 - 11:14:20 - JoseProenca
Revision 11r11 - 24 Feb 2017 - 15:07:20 - JoseProenca
Revision 10r10 - 23 Feb 2017 - 09:37:07 - JoseProenca
Revision 9r9 - 16 Feb 2017 - 13:56:35 - JoseProenca
Revision 8r8 - 16 Feb 2017 - 11:24:08 - JoseProenca
Revision 7r7 - 14 Feb 2017 - 16:50:47 - JoseNunoOliveira
Revision 6r6 - 07 Feb 2017 - 15:14:05 - JoseNunoOliveira
Revision 5r5 - 07 Feb 2017 - 11:28:16 - JoseNunoOliveira
Revision 4r4 - 27 Jan 2017 - 15:29:41 - JoseNunoOliveira
Revision 3r3 - 21 Jan 2017 - 12:13:52 - JoseNunoOliveira
Revision 2r2 - 29 Sep 2016 - 22:17:53 - LuisSoaresBarbosa
Revision 1r1 - 21 Sep 2016 - 10:09:58 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM