Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [16/17]
View   r40  >  r39  >  r38  >  r37  >  r36  ...

EM 40 - 04 Sep 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Changed:
<
<

Classificações finais:

>
>

Classificações do exame da época especial:

a64287 = R; pg22842 = R.

Classificações finais:

 (Apenas dos alunos avaliados):

a32652 = 10;


EM 39 - 15 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 11 to 11
 a53791 = 10; a64287 = R; a64365 = R;
Changed:
<
<
a67652 = R;
>
>
a67652 = F;
 a67709 = 10;
Changed:
<
<
a70058 = R;
>
>
a70058 = F;
 a70430 = 14; a70441 = 10;
Changed:
<
<
a70644 = R;
>
>
a70644 = F;
 a71580 = 13;
Changed:
<
<
a71625 = R;
>
>
a71625 = F;
 a72204 = 11; a72205 = R; a72227 = 11; a72424 = 14;
Changed:
<
<
pg22842 = R;
>
>
pg22842 = F;
 pg31577 = 10; pg32996 = R.

EM 38 - 10 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 11 to 11
 a53791 = 10; a64287 = R; a64365 = R;
Changed:
<
<
a67652 = F;
>
>
a67652 = R;
 a67709 = 10;
Changed:
<
<
a70058 = F;
>
>
a70058 = R;
 a70430 = 14; a70441 = 10;
Changed:
<
<
a70644 = F;
>
>
a70644 = R;
 a71580 = 13;
Changed:
<
<
a71625 = F;
>
>
a71625 = R;
 a72204 = 11; a72205 = R; a72227 = 11; a72424 = 14;
Changed:
<
<
pg22842 = F;
>
>
pg22842 = R;
 pg31577 = 10; pg32996 = R.

EM 37 - 10 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Added:
>
>

Classificações finais:

(Apenas dos alunos avaliados):

a32652 = 10; a53791 = 10; a64287 = R; a64365 = R; a67652 = F; a67709 = 10; a70058 = F; a70430 = 14; a70441 = 10; a70644 = F; a71580 = 13; a71625 = F; a72204 = 11; a72205 = R; a72227 = 11; a72424 = 14; pg22842 = F; pg31577 = 10; pg32996 = R.

 

Método de avaliação

  • Teste individual escrito (70%, ≥ 8)
  • Trabalho de grupo (30%, ≥ 10)
  • Presença obrigatória nas aulas
Deleted:
<
<

Classificações do teste de 12-Jan:

a32652 = 8.0 ; a53791 = 6.4 ; a67652 = 5.0 ; a67709 = 3.8 ; a70058 = 8.1 ; a70430 = 14.8 ; a70441 = 4.5 ; a70644 = 3.0 ; a71580 = 12.4 ; a71625 = D ; a72204 = 6.6 ; a72227 = 9.9 ; a72424 = 14.9 ; pg22842 = 3.0 ; pg31577 = 10.5 ; pg32996 = 7.6 .

 

Enunciados de provas escritas de avaliação (T)


EM 36 - 26 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 103 to 103
 
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI G5 pg31384
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI G9 a72205
Changed:
<
<
Mário Jorge Viana Ferreira C? a70441 MiEI G6 a70441
>
>
Mário Jorge Viana Ferreira P a70441 MiEI G6 a70441
 
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI G4 A61066
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI (cong) A32652

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

Especificação e Modelação

Added:
>
>

Método de avaliação

  • Teste individual escrito (70%, ≥ 8)
  • Trabalho de grupo (30%, ≥ 10)
  • Presença obrigatória nas aulas
 

Classificações do teste de 12-Jan:

Line: 22 to 29
 pg31577 = 10.5 ; pg32996 = 7.6 .
Changed:
<
<

Enunciados de provas escritas de avaliação (T)

>
>

Enunciados de provas escritas de avaliação (T)

 
Data Descrição Ficheiro
Line: 49 to 56
 
  • Exercícios sobre SMV: as questões marcadas com CTL requerem conhecimento sobre lógica temporal CTL que ainda não foi leccionada este ano.
  • Exemplos SMV: barqueiro, cadeira pesada, algoritmo de exclusão mútua de Peterson (sem módulos e com módulos).
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
Changed:
<
<
>
>
 
Changed:
<
<

Bibliografia

>
>

Bibliografia

 
Line: 63 to 70
 
Changed:
<
<

Exemplos

>
>

Exemplos / bibliotecas Alloy

  • Módulo Alloy: RelCalc.als - Cálculo relacional básico em Alloy.
 
Line: 74 to 83
 
Deleted:
<
<

Método de avaliação

  • Teste individual escrito (70%, ≥ 8)
  • Trabalho de grupo (30%, ≥ 10)
  • Presença obrigatória nas aulas
 

Alunos

Deleted:
<
<
(14-Out-16)
 
Nome P/C Nr Curso Grupo Fot
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI G4 A53064
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI G9 a67634
Line: 119 to 120
 
<-- | Xavier Carvalho Fernandes | C | a55838 | ? | !-->
Changed:
<
<

Atendimento electrónico (FAQs) tinynew.gif

>
>

Atendimento electrónico (FAQs) tinynew.gif

 (Esta secção será actualizada regularmente com as dúvidas mais frequentes que forem colocadas à equipa docente.)
Line: 165 to 166
 
META FILEATTACHMENT attachment="a72205.jpg" attr="h" comment="" date="1481140026" name="a72205.jpg" path="a72205.jpg" size="12082" stream="a72205.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="avo.als" attr="h" comment="" date="1482323449" name="avo.als" path="avo.als" size="1948" stream="avo.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="avo.thm" attr="h" comment="" date="1482323535" name="avo.thm" path="avo.thm" size="1003" stream="avo.thm" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="RelCalc.als" attr="h" comment="" date="1485018499" name="RelCalc.als" path="RelCalc.als" size="3798" stream="RelCalc.als" user="Main.JoseNunoOliveira" version="1"

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

Especificação e Modelação

Line: 112 to 112
 
Sandra Isabel Lopes Ferreira P a67709 MiEI (cong) a67709
Changed:
<
<
<-- | Ana Filipa Rodrigues Gomes | 
<-- 11.06 !-->
P | a72873 | ? | !-->
>
>
<-- | Ana Filipa Rodrigues Gomes | P | a72873 | ? | !-->
 
<-- | Carlos Manuel da Silva Castro | P | pg33399 | MMC | desistiu !-->
<-- | Guadalupe Costa | P | pg32825 | MMC | desistiu !-->
<-- | Tiago Filipe Oliveira Sá | P | a71835 | ? | !-->

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

Especificação e Modelação

Added:
>
>

Classificações do teste de 12-Jan:

a32652 = 8.0 ; a53791 = 6.4 ; a67652 = 5.0 ; a67709 = 3.8 ; a70058 = 8.1 ; a70430 = 14.8 ; a70441 = 4.5 ; a70644 = 3.0 ; a71580 = 12.4 ; a71625 = D ; a72204 = 6.6 ; a72227 = 9.9 ; a72424 = 14.9 ; pg22842 = 3.0 ; pg31577 = 10.5 ; pg32996 = 7.6 .

Enunciados de provas escritas de avaliação (T)

Data Descrição Ficheiro
12-Jan-2017 Teste PDF (com a tinynew.gif correcção de algumas perguntas)
26-Jan-2017 Exame de recurso PDF
 

Enunciado do Trabalho (TP)

Introdução - Nesta disciplina foram estudados métodos de especificação, modelação e raciocínio para a produção de software de alta fiabilidade. Todos os sistemas de segurança-crítica exigem software fiável, por exemplo nos equipamentos médicos, nos transportes aéreos, etc. A norma de certificação DO-178B é uma diretriz sobre segurança do software crítico destinado à aviação.


EM 32 - 01 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 10 to 10
 O que é para fazer - os grupos de trabalho devem estudar o artigo acima referido com atenção por forma a perceberem bem qual é o problema que é abordado. Ao mesmo tempo, deverão informar-se sobre a linguagem de modelação Event-B, mas apenas na medida do que é necessário para perceberem o artigo. O que se pretende neste trabalho é exprimir o mesmo modelo em Alloy, de forma o mais simples possível. Note-se que não se pretende uma tradução à letra do modelo dado, mas antes um modelo independente e simplificado. Mais do que a quantidade, valorizar-se-á a qualidade e a capacidade de abstracção.
Changed:
<
<
Prazos e "deliverables" - os grupos deveram entregar, até a data limite de 31-Jan-2017, um pequeno relatório (em inglês) onde conste o código Alloy que desenvolveram. Deverão também preparar uma apresentação do seu trabalho (slides) prevista para (no máximo) 10 minutos. As orais destas apresentações decorrerão de 1 a 10 de Fevereiro.
>
>
Prazos e "deliverables" - os grupos deveram entregar, até à data limite de 31-Jan-2017, um pequeno relatório (em inglês) onde conste o código Alloy que desenvolveram. Deverão também preparar uma apresentação do seu trabalho (slides) prevista para (no máximo) 10 minutos. As orais destas apresentações decorrerão de 1 a 10 de Fevereiro.
 Os alunos deverão estar atentos a esta página quanto a prováveis esclarecimentos sobre este trabalho que os inicia na aplicação de métodos formais a problemas reais. Bom trabalho!

EM 31 - 21 Dec 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 34 to 34
 
Added:
>
>

Exemplos

 

Desafios Alloy

Line: 106 to 110
 

META FILEATTACHMENT attachment="Modeling.pdf" attr="h" comment="" date="1474541806" name="Modeling.pdf" path="Modeling.pdf" size="607908" stream="Modeling.pdf" user="Main.AlcinoCunha" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475218470" name="exercicios.pdf" path="exercicios.pdf" size="160577" stream="exercicios.pdf" user="Main.AlcinoCunha" version="3"
META FILEATTACHMENT attachment="model_checking.pdf" attr="" comment="" date="1475218710" name="model_checking.pdf" path="model_checking.pdf" size="1283311" stream="model_checking.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="barqueiro.smv" attr="" comment="" date="1475239658" name="barqueiro.smv" path="barqueiro.smv" size="856" stream="barqueiro.smv" user="Main.AlcinoCunha" version="1"
>
>
META FILEATTACHMENT attachment="exercicios.pdf" attr="h" comment="" date="1475218470" name="exercicios.pdf" path="exercicios.pdf" size="160577" stream="exercicios.pdf" user="Main.AlcinoCunha" version="3"
META FILEATTACHMENT attachment="model_checking.pdf" attr="h" comment="" date="1475218710" name="model_checking.pdf" path="model_checking.pdf" size="1283311" stream="model_checking.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="barqueiro.smv" attr="h" comment="" date="1475239658" name="barqueiro.smv" path="barqueiro.smv" size="856" stream="barqueiro.smv" user="Main.AlcinoCunha" version="1"
 
META FILEATTACHMENT attachment="chair.smv" attr="h" comment="" date="1475239674" name="chair.smv" path="chair.smv" size="1693" stream="chair.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="peterson.smv" attr="h" comment="" date="1475746248" name="peterson.smv" path="peterson.smv" size="1834" stream="peterson.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="peterson_modules.smv" attr="h" comment="" date="1475746259" name="peterson_modules.smv" path="peterson_modules.smv" size="1224" stream="peterson_modules.smv" user="Main.AlcinoCunha" version="1"
Line: 130 to 134
 
META FILEATTACHMENT attachment="a64365.jpg" attr="h" comment="" date="1481139575" name="a64365.jpg" path="a64365.jpg" size="11430" stream="a64365.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a67709.jpg" attr="h" comment="" date="1481139593" name="a67709.jpg" path="a67709.jpg" size="7875" stream="a67709.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a72205.jpg" attr="h" comment="" date="1481140026" name="a72205.jpg" path="a72205.jpg" size="12082" stream="a72205.jpg" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="avo.als" attr="h" comment="" date="1482323449" name="avo.als" path="avo.als" size="1948" stream="avo.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="avo.thm" attr="h" comment="" date="1482323535" name="avo.thm" path="avo.thm" size="1003" stream="avo.thm" user="Main.AlcinoCunha" version="1"

EM 30 - 17 Dec 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 53 to 53
 
Nome P/C Nr Curso Grupo Fot
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI G4 A53064
Changed:
<
<
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI
>
>
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI G9 a67634
 
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC G8 a70058
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI G2 a70058
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI (cong) A53791
Line: 68 to 68
 
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI G6 a72204
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI G5 pg31384
Changed:
<
<
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI   a72205
>
>
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI G9 a72205
 
Mário Jorge Viana Ferreira C? a70441 MiEI G6 a70441
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI G4 A61066

EM 29 - 07 Dec 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 52 to 52
 (14-Out-16)

Nome P/C Nr Curso Grupo Fot
Deleted:
<
<
Ana Filipa Rodrigues Gomes
<-- 11.06 !-->
P
a72873 ?
 
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI G4 A53064
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC G8 a70058
Changed:
<
<
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI G2 A53791
>
>
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI G2 a70058
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI (cong) A53791
 
Diana Filipa Oliveira
<-- 9.58 !-->
C
a67652 MiEI G7 a67652
Diogo Filipe da Silva Vilaça
<-- 14.36 !-->
P
a72227 MiEI G3 A72227
Changed:
<
<
Fernanda Raquel Cerdeira Alves
<-- 9.72 !-->
C
a64365 MiEI
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC
>
>
Fernanda Raquel Cerdeira Alves
<-- 9.72 !-->
C
a64365 MiEI G2 a64365
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC (cong) pg22842
 
Gil Gonçalves
<-- 12.11 !-->
C
a67738 MiEI G7 a67738
Changed:
<
<
Hugo Filipe da Silva Ribeiro
<-- - !-->
P
pg32996 MEI G5  
>
>
Hugo Filipe da Silva Ribeiro
<-- - !-->
P
pg32996 MEI G5 pg32996
 
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI G8 pg31577
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MiEI G3 A72424
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI G6 a72204
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
Changed:
<
<
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI G5  
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI  
>
>
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI G5 pg31384
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI   a72205
 
Mário Jorge Viana Ferreira C? a70441 MiEI G6 a70441
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI G4 A61066
Changed:
<
<
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI G2 A32652
>
>
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI (cong) A32652
 
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI G1 A71580
Ruben Miguel Cunha Santos
<-- 11.17 !-->
C
a70644 MiEI
Saulo Rodrigues e Silva
<-- - !-->
?
id5541 PDINF
Changed:
<
<
Sandra Isabel Lopes Ferreira P a67709 MiEI
>
>
Sandra Isabel Lopes Ferreira P a67709 MiEI (cong) a67709
 
Added:
>
>
<-- | Ana Filipa Rodrigues Gomes | 
<-- 11.06 !-->
P | a72873 | ? | !-->
 
<-- | Carlos Manuel da Silva Castro | P | pg33399 | MMC | desistiu !-->
<-- | Guadalupe Costa | P | pg32825 | MMC | desistiu !-->
<-- | Tiago Filipe Oliveira Sá | P | a71835 | ? | !-->
Line: 126 to 126
 
META FILEATTACHMENT attachment="a67738.jpg" attr="h" comment="" date="1480621257" name="a67738.jpg" path="a67738.jpg" size="6096" stream="a67738.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a70058.jpg" attr="h" comment="" date="1480707960" name="a70058.jpg" path="a70058.jpg" size="8311" stream="a70058.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pg31577.jpg" attr="h" comment="" date="1480707988" name="pg31577.jpg" path="pg31577.jpg" size="4149" stream="pg31577.jpg" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="a64287.jpg" attr="h" comment="" date="1481139556" name="a64287.jpg" path="a64287.jpg" size="6417" stream="a64287.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a64365.jpg" attr="h" comment="" date="1481139575" name="a64365.jpg" path="a64365.jpg" size="11430" stream="a64365.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a67709.jpg" attr="h" comment="" date="1481139593" name="a67709.jpg" path="a67709.jpg" size="7875" stream="a67709.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a72205.jpg" attr="h" comment="" date="1481140026" name="a72205.jpg" path="a72205.jpg" size="12082" stream="a72205.jpg" user="Main.JoseNunoOliveira" version="1"

EM 28 - 02 Dec 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 55 to 55
 
Ana Filipa Rodrigues Gomes
<-- 11.06 !-->
P
a72873 ?
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI G4 A53064
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI
Changed:
<
<
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC
>
>
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC G8 a70058
 
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI G2 A53791
Diana Filipa Oliveira
<-- 9.58 !-->
C
a67652 MiEI G7 a67652
Line: 64 to 64
 
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC
Gil Gonçalves
<-- 12.11 !-->
C
a67738 MiEI G7 a67738
Hugo Filipe da Silva Ribeiro
<-- - !-->
P
pg32996 MEI G5  
Changed:
<
<
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI
>
>
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI G8 pg31577
 
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MiEI G3 A72424
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI G6 a72204
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
Line: 124 to 124
 
META FILEATTACHMENT attachment="a70441.jpg" attr="h" comment="" date="1480527103" name="a70441.jpg" path="a70441.jpg" size="12049" stream="a70441.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a67652.jpg" attr="h" comment="" date="1480621243" name="a67652.jpg" path="a67652.jpg" size="8346" stream="a67652.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a67738.jpg" attr="h" comment="" date="1480621257" name="a67738.jpg" path="a67738.jpg" size="6096" stream="a67738.jpg" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="a70058.jpg" attr="h" comment="" date="1480707960" name="a70058.jpg" path="a70058.jpg" size="8311" stream="a70058.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pg31577.jpg" attr="h" comment="" date="1480707988" name="pg31577.jpg" path="pg31577.jpg" size="4149" stream="pg31577.jpg" user="Main.JoseNunoOliveira" version="1"

EM 27 - 01 Dec 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 58 to 58
 
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI G2 A53791
Changed:
<
<
Diana Filipa Oliveira
<-- 9.58 !-->
C
a67652 MiEI
>
>
Diana Filipa Oliveira
<-- 9.58 !-->
C
a67652 MiEI G7 a67652
 
Diogo Filipe da Silva Vilaça
<-- 14.36 !-->
P
a72227 MiEI G3 A72227
Fernanda Raquel Cerdeira Alves
<-- 9.72 !-->
C
a64365 MiEI
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC
Changed:
<
<
Gil Gonçalves
<-- 12.11 !-->
C
a67738 MiEI
>
>
Gil Gonçalves
<-- 12.11 !-->
C
a67738 MiEI G7 a67738
 
Hugo Filipe da Silva Ribeiro
<-- - !-->
P
pg32996 MEI G5  
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MiEI G3 A72424
Line: 122 to 122
 
META FILEATTACHMENT attachment="A53064.jpg" attr="h" comment="" date="1479471728" name="A53064.jpg" path="A53064.jpg" size="11178" stream="A53064.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a72204.jpg" attr="h" comment="" date="1480527053" name="a72204.jpg" path="a72204.jpg" size="7058" stream="a72204.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a70441.jpg" attr="h" comment="" date="1480527103" name="a70441.jpg" path="a70441.jpg" size="12049" stream="a70441.jpg" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="a67652.jpg" attr="h" comment="" date="1480621243" name="a67652.jpg" path="a67652.jpg" size="8346" stream="a67652.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a67738.jpg" attr="h" comment="" date="1480621257" name="a67738.jpg" path="a67738.jpg" size="6096" stream="a67738.jpg" user="Main.JoseNunoOliveira" version="1"

EM 26 - 30 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Changed:
<
<

Trabalho (TP)

>
>

Enunciado do Trabalho (TP)

 
Changed:
<
<
Será anunciado aqui dia 30-Nov.
>
>
Introdução - Nesta disciplina foram estudados métodos de especificação, modelação e raciocínio para a produção de software de alta fiabilidade. Todos os sistemas de segurança-crítica exigem software fiável, por exemplo nos equipamentos médicos, nos transportes aéreos, etc. A norma de certificação DO-178B é uma diretriz sobre segurança do software crítico destinado à aviação.

O artigo Modelling an Aircraft Landing System in Event-B, que descreve a modelação formal de um sistema de controlo do trem de aterragem de um avião baseado nos requisitos impostos pela Federal Aviation Administration dos EUA, é o ponto de partida para este trabalho.

O que é para fazer - os grupos de trabalho devem estudar o artigo acima referido com atenção por forma a perceberem bem qual é o problema que é abordado. Ao mesmo tempo, deverão informar-se sobre a linguagem de modelação Event-B, mas apenas na medida do que é necessário para perceberem o artigo. O que se pretende neste trabalho é exprimir o mesmo modelo em Alloy, de forma o mais simples possível. Note-se que não se pretende uma tradução à letra do modelo dado, mas antes um modelo independente e simplificado. Mais do que a quantidade, valorizar-se-á a qualidade e a capacidade de abstracção.

Prazos e "deliverables" - os grupos deveram entregar, até a data limite de 31-Jan-2017, um pequeno relatório (em inglês) onde conste o código Alloy que desenvolveram. Deverão também preparar uma apresentação do seu trabalho (slides) prevista para (no máximo) 10 minutos. As orais destas apresentações decorrerão de 1 a 10 de Fevereiro.

Os alunos deverão estar atentos a esta página quanto a prováveis esclarecimentos sobre este trabalho que os inicia na aplicação de métodos formais a problemas reais. Bom trabalho!

 

Material pedagógico

Line: 58 to 66
 
Hugo Filipe da Silva Ribeiro
<-- - !-->
P
pg32996 MEI G5  
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MiEI G3 A72424
Changed:
<
<
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI
>
>
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI G6 a72204
 
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI G5  
Changed:
<
<
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI
>
>
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI  
Mário Jorge Viana Ferreira C? a70441 MiEI G6 a70441
 
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI G4 A61066
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI G2 A32652
Line: 111 to 120
 
META FILEATTACHMENT attachment="A72424.jpg" attr="h" comment="" date="1479387369" name="A72424.jpg" path="A72424.jpg" size="4114" stream="A72424.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a61066.jpg" attr="h" comment="" date="1479471699" name="a61066.jpg" path="a61066.jpg" size="7254" stream="a61066.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A53064.jpg" attr="h" comment="" date="1479471728" name="A53064.jpg" path="A53064.jpg" size="11178" stream="A53064.jpg" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="a72204.jpg" attr="h" comment="" date="1480527053" name="a72204.jpg" path="a72204.jpg" size="7058" stream="a72204.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="a70441.jpg" attr="h" comment="" date="1480527103" name="a70441.jpg" path="a70441.jpg" size="12049" stream="a70441.jpg" user="Main.JoseNunoOliveira" version="1"

EM 25 - 29 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Added:
>
>

Trabalho (TP)

Será anunciado aqui dia 30-Nov.

 

Material pedagógico


EM 24 - 24 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 64 to 64
 
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI G1 A71580
Ruben Miguel Cunha Santos
<-- 11.17 !-->
C
a70644 MiEI
Saulo Rodrigues e Silva
<-- - !-->
?
id5541 PDINF
Changed:
<
<
Tiago Filipe Oliveira Sá
<-- 9.53 !-->
P
a71835 ?
Xavier Carvalho Fernandes
<-- 13.21 !-->
C
a55838 ?
>
>
Sandra Isabel Lopes Ferreira P a67709 MiEI
 

<-- | Carlos Manuel da Silva Castro | P | pg33399 | MMC | desistiu !-->
<-- | Guadalupe Costa | P | pg32825 | MMC | desistiu !-->
Added:
>
>
<-- | Tiago Filipe Oliveira Sá | P | a71835 | ? | !-->
<-- | Xavier Carvalho Fernandes | C | a55838 | ? | !-->
 

Atendimento electrónico (FAQs) tinynew.gif


EM 23 - 24 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 8 to 8
 
  • Exercícios sobre SMV: as questões marcadas com CTL requerem conhecimento sobre lógica temporal CTL que ainda não foi leccionada este ano.
  • Exemplos SMV: barqueiro, cadeira pesada, algoritmo de exclusão mútua de Peterson (sem módulos e com módulos).
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
Changed:
<
<
>
>
 

Bibliografia


EM 22 - 23 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 42 to 42
 
Nome P/C Nr Curso Grupo Fot
Ana Filipa Rodrigues Gomes
<-- 11.06 !-->
P
a72873 ?
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI G4 A53064
Deleted:
<
<
Carlos Costa(?)
<-- - !-->
P
pg33399 MMC
 
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI
Line: 52 to 51
 
Fernanda Raquel Cerdeira Alves
<-- 9.72 !-->
C
a64365 MiEI
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC
Gil Gonçalves
<-- 12.11 !-->
C
a67738 MiEI
Changed:
<
<
Guadalupe Costa
<-- - !-->
P
pg32825 MMC
Hugo Ribeiro
<-- - !-->
P
pg32996 MEI
>
>
Hugo Filipe da Silva Ribeiro
<-- - !-->
P
pg32996 MEI G5  
 
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MiEI G3 A72424
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
Changed:
<
<
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI
>
>
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI G5  
 
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI G4 A61066
Line: 70 to 68
 
Xavier Carvalho Fernandes
<-- 13.21 !-->
C
a55838 ?
Added:
>
>
<-- | Carlos Manuel da Silva Castro | P | pg33399 | MMC | desistiu !-->
<-- | Guadalupe Costa | P | pg32825 | MMC | desistiu !-->
 

Atendimento electrónico (FAQs) tinynew.gif


EM 21 - 20 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 8 to 8
 
  • Exercícios sobre SMV: as questões marcadas com CTL requerem conhecimento sobre lógica temporal CTL que ainda não foi leccionada este ano.
  • Exemplos SMV: barqueiro, cadeira pesada, algoritmo de exclusão mútua de Peterson (sem módulos e com módulos).
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
Changed:
<
<
>
>
 

Bibliografia


EM 20 - 18 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 41 to 41
 
Nome P/C Nr Curso Grupo Fot
Ana Filipa Rodrigues Gomes
<-- 11.06 !-->
P
a72873 ?
Changed:
<
<
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI
>
>
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI G4 A53064
 
Carlos Costa(?)
<-- - !-->
P
pg33399 MMC
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC
Line: 61 to 61
 
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Changed:
<
<
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI
>
>
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI G4 A61066
 
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI G2 A32652
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI G1 A71580
Ruben Miguel Cunha Santos
<-- 11.17 !-->
C
a70644 MiEI
Line: 103 to 103
 
META FILEATTACHMENT attachment="A53791.jpg" attr="h" comment="" date="1479387044" name="A53791.jpg" path="A53791.jpg" size="12571" stream="A53791.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A72227.jpg" attr="h" comment="" date="1479387340" name="A72227.jpg" path="A72227.jpg" size="8478" stream="A72227.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A72424.jpg" attr="h" comment="" date="1479387369" name="A72424.jpg" path="A72424.jpg" size="4114" stream="A72424.jpg" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="a61066.jpg" attr="h" comment="" date="1479471699" name="a61066.jpg" path="a61066.jpg" size="7254" stream="a61066.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A53064.jpg" attr="h" comment="" date="1479471728" name="A53064.jpg" path="A53064.jpg" size="11178" stream="A53064.jpg" user="Main.JoseNunoOliveira" version="1"

EM 19 - 17 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 48 to 48
 
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI G2 A53791
Diana Filipa Oliveira
<-- 9.58 !-->
C
a67652 MiEI
Changed:
<
<
Diogo Filipe da Silva Vilaça
<-- 14.36 !-->
P
a72227 MiEI
>
>
Diogo Filipe da Silva Vilaça
<-- 14.36 !-->
P
a72227 MiEI G3 A72227
 
Fernanda Raquel Cerdeira Alves
<-- 9.72 !-->
C
a64365 MiEI
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC
Gil Gonçalves
<-- 12.11 !-->
C
a67738 MiEI
Guadalupe Costa
<-- - !-->
P
pg32825 MMC
Hugo Ribeiro
<-- - !-->
P
pg32996 MEI
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI
Changed:
<
<
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MEI
>
>
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MiEI G3 A72424
 
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI
Line: 99 to 99
 
META FILEATTACHMENT attachment="peterson_modules.smv" attr="h" comment="" date="1475746259" name="peterson_modules.smv" path="peterson_modules.smv" size="1224" stream="peterson_modules.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="A70430.jpg" attr="h" comment="" date="1479071611" name="A70430.jpg" path="A70430.jpg" size="12921" stream="A70430.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A71580.jpg" attr="h" comment="" date="1479071662" name="A71580.jpg" path="A71580.jpg" size="3710" stream="A71580.jpg" user="Main.JoseNunoOliveira" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="A32652.jpg" attr="h" comment="" date="1479228805" name="A32652.jpg" path="A32652.jpg" size="8376" stream="A32652.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A53791.jpg" attr="h" comment="" date="1479228836" name="A53791.jpg" path="A53791.jpg" size="12571" stream="A53791.jpg" user="Main.JoseNunoOliveira" version="1"
>
>
META FILEATTACHMENT attachment="A32652.jpg" attr="h" comment="" date="1479387317" name="A32652.jpg" path="A32652.jpg" size="8376" stream="A32652.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A53791.jpg" attr="h" comment="" date="1479387044" name="A53791.jpg" path="A53791.jpg" size="12571" stream="A53791.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A72227.jpg" attr="h" comment="" date="1479387340" name="A72227.jpg" path="A72227.jpg" size="8478" stream="A72227.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A72424.jpg" attr="h" comment="" date="1479387369" name="A72424.jpg" path="A72424.jpg" size="4114" stream="A72424.jpg" user="Main.JoseNunoOliveira" version="1"

EM 18 - 15 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 46 to 46
 
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI
Changed:
<
<
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI
>
>
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI G2 A53791
 
Diana Filipa Oliveira
<-- 9.58 !-->
C
a67652 MiEI
Diogo Filipe da Silva Vilaça
<-- 14.36 !-->
P
a72227 MiEI
Fernanda Raquel Cerdeira Alves
<-- 9.72 !-->
C
a64365 MiEI
Line: 62 to 62
 
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI
Changed:
<
<
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI
>
>
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI G2 A32652
 
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI G1 A71580
Ruben Miguel Cunha Santos
<-- 11.17 !-->
C
a70644 MiEI
Saulo Rodrigues e Silva
<-- - !-->
?
id5541 PDINF
Line: 99 to 99
 
META FILEATTACHMENT attachment="peterson_modules.smv" attr="h" comment="" date="1475746259" name="peterson_modules.smv" path="peterson_modules.smv" size="1224" stream="peterson_modules.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="A70430.jpg" attr="h" comment="" date="1479071611" name="A70430.jpg" path="A70430.jpg" size="12921" stream="A70430.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A71580.jpg" attr="h" comment="" date="1479071662" name="A71580.jpg" path="A71580.jpg" size="3710" stream="A71580.jpg" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="A32652.jpg" attr="h" comment="" date="1479228805" name="A32652.jpg" path="A32652.jpg" size="8376" stream="A32652.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A53791.jpg" attr="h" comment="" date="1479228836" name="A53791.jpg" path="A53791.jpg" size="12571" stream="A53791.jpg" user="Main.JoseNunoOliveira" version="1"

EM 17 - 14 Nov 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 23 to 23
 

Desafios Alloy

Added:
>
>
 
Added:
>
>
 

Método de avaliação


EM 16 - 13 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 8 to 8
 
  • Exercícios sobre SMV: as questões marcadas com CTL requerem conhecimento sobre lógica temporal CTL que ainda não foi leccionada este ano.
  • Exemplos SMV: barqueiro, cadeira pesada, algoritmo de exclusão mútua de Peterson (sem módulos e com módulos).
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
Changed:
<
<
>
>
 

Bibliografia

Line: 36 to 36
 (14-Out-16)
Changed:
<
<
Nome P/C Nr Curso
>
>
Nome P/C Nr Curso Grupo Fot
 
Ana Filipa Rodrigues Gomes
<-- 11.06 !-->
P
a72873 ?
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI
Carlos Costa(?)
<-- - !-->
P
pg33399 MMC
Line: 54 to 54
 
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MEI
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI
Changed:
<
<
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI
>
>
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
 
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI
Changed:
<
<
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI
>
>
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI G1 A71580
 
Ruben Miguel Cunha Santos
<-- 11.17 !-->
C
a70644 MiEI
Saulo Rodrigues e Silva
<-- - !-->
?
id5541 PDINF
Tiago Filipe Oliveira Sá
<-- 9.53 !-->
P
a71835 ?
Line: 93 to 94
 
META FILEATTACHMENT attachment="chair.smv" attr="h" comment="" date="1475239674" name="chair.smv" path="chair.smv" size="1693" stream="chair.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="peterson.smv" attr="h" comment="" date="1475746248" name="peterson.smv" path="peterson.smv" size="1834" stream="peterson.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="peterson_modules.smv" attr="h" comment="" date="1475746259" name="peterson_modules.smv" path="peterson_modules.smv" size="1224" stream="peterson_modules.smv" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="A70430.jpg" attr="h" comment="" date="1479071611" name="A70430.jpg" path="A70430.jpg" size="12921" stream="A70430.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="A71580.jpg" attr="h" comment="" date="1479071662" name="A71580.jpg" path="A71580.jpg" size="3710" stream="A71580.jpg" user="Main.JoseNunoOliveira" version="1"

EM 15 - 05 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 8 to 8
 
  • Exercícios sobre SMV: as questões marcadas com CTL requerem conhecimento sobre lógica temporal CTL que ainda não foi leccionada este ano.
  • Exemplos SMV: barqueiro, cadeira pesada, algoritmo de exclusão mútua de Peterson (sem módulos e com módulos).
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
Changed:
<
<
>
>
 

Bibliografia


EM 14 - 05 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 38 to 38
 
Nome P/C Nr Curso
Ana Filipa Rodrigues Gomes
<-- 11.06 !-->
P
a72873 ?
Changed:
<
<
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 ?
>
>
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 MiEI
 
Carlos Costa(?)
<-- - !-->
P
pg33399 MMC
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC

EM 13 - 03 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 10 to 10
 
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
  • J.N. Oliveira. Specification and modelling: where everything becomes a relation (versão de 28-Out-16, 78 slides).
Added:
>
>

Bibliografia

  • C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986 (first edition). (345 pages)
 

Ferramentas

Line: 47 to 54
 
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MEI
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI
Changed:
<
<
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 ?
>
>
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI
 
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI

EM 12 - 29 Oct 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 8 to 8
 
  • Exercícios sobre SMV: as questões marcadas com CTL requerem conhecimento sobre lógica temporal CTL que ainda não foi leccionada este ano.
  • Exemplos SMV: barqueiro, cadeira pesada, algoritmo de exclusão mútua de Peterson (sem módulos e com módulos).
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
Changed:
<
<
>
>
 

Ferramentas


EM 11 - 20 Oct 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 15 to 15
 
Deleted:
<
<
>
>
 

Método de avaliação


EM 10 - 16 Oct 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 61 to 61
 
Xavier Carvalho Fernandes
<-- 13.21 !-->
C
a55838 ?
Added:
>
>

Atendimento electrónico (FAQs) tinynew.gif

(Esta secção será actualizada regularmente com as dúvidas mais frequentes que forem colocadas à equipa docente.)

  • Q1 - Tenho dificuldade em decorar a diferença entre núcleo e imagem de uma relação. Há alguma mnemónica que possa ajudar?

R: Haverá concerteza muitas, por exemplo: decore o nome feminino "NEIDE" e leia-o como o acrónimo de "Núcleo, Esquerda, Imagem, Direita, Etc", isto abreviatura de "num núcleo Rº.R o converso está à esqerda, numa imagem R.Rº está à direita, etc". Haverá melhores, mas este já pode ajudar.


  • Q2 - Se eu tiver <∀ a,b : a X b : a=b> posso trocar para <∀ a,b : a=b : aXb> e depois aplicar 'one point', correcto?

R: Não (!) Isso é se o quantificador for o existencial (∃). No caso do universal, a troca possível é de <∀ a,b : a X b : a=b> para <∀ a,b :: a X b => a=b>, cf. a regra Trading (∀) dos slides, para R = true.


 
META FILEATTACHMENT attachment="Modeling.pdf" attr="h" comment="" date="1474541806" name="Modeling.pdf" path="Modeling.pdf" size="607908" stream="Modeling.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475218470" name="exercicios.pdf" path="exercicios.pdf" size="160577" stream="exercicios.pdf" user="Main.AlcinoCunha" version="3"

EM 9 - 14 Oct 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 8 to 8
 
  • Exercícios sobre SMV: as questões marcadas com CTL requerem conhecimento sobre lógica temporal CTL que ainda não foi leccionada este ano.
  • Exemplos SMV: barqueiro, cadeira pesada, algoritmo de exclusão mútua de Peterson (sem módulos e com módulos).
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
Added:
>
>
 

Ferramentas

Line: 21 to 22
 

Método de avaliação

Changed:
<
<
  • Teste individual escrito (70%, >= 8)
  • Trabalho de grupo (30%, >= 10)
>
>
  • Teste individual escrito (70%, ≥ 8)
  • Trabalho de grupo (30%, ≥ 10)
 
  • Presença obrigatória nas aulas
Added:
>
>

Alunos

(14-Out-16)

Nome P/C Nr Curso
Ana Filipa Rodrigues Gomes
<-- 11.06 !-->
P
a72873 ?
Axel da Silva Ferreira
<-- 8.56 !-->
C
a53064 ?
Carlos Costa(?)
<-- - !-->
P
pg33399 MMC
Daniel Gonçalves Rodrigues
<-- 8.42 !-->
C
a67634 MiEI
Daniel da Fonte Torres
<-- - !-->
EC
a70058 LCC
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI
David Miguel Duarte Rodrigues Alves
<-- - !-->
C
a53791 MiEI
Diana Filipa Oliveira
<-- 9.58 !-->
C
a67652 MiEI
Diogo Filipe da Silva Vilaça
<-- 14.36 !-->
P
a72227 MiEI
Fernanda Raquel Cerdeira Alves
<-- 9.72 !-->
C
a64365 MiEI
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC
Gil Gonçalves
<-- 12.11 !-->
C
a67738 MiEI
Guadalupe Costa
<-- - !-->
P
pg32825 MMC
Hugo Ribeiro
<-- - !-->
P
pg32996 MEI
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MEI
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 ?
João Luís Braga Simões Romero
<-- 15.00 !-->
C
pg31384 MEI
Luís Martinho de Aragão Rego da Silva
<-- 14.97 !-->
C
a72205 MiEI
Nelson Arieira Parente
<-- 8.89 !-->
C
a71625 MiEI
Nuno Alberto Pires Fernandes
<-- 10.58 !-->
C
a61066 MiEI
Pedro Duarte Cardoso Lopes
<-- - !-->
C
a32652 MiEI
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI
Ruben Miguel Cunha Santos
<-- 11.17 !-->
C
a70644 MiEI
Saulo Rodrigues e Silva
<-- - !-->
?
id5541 PDINF
Tiago Filipe Oliveira Sá
<-- 9.53 !-->
P
a71835 ?
Xavier Carvalho Fernandes
<-- 13.21 !-->
C
a55838 ?

 
META FILEATTACHMENT attachment="Modeling.pdf" attr="h" comment="" date="1474541806" name="Modeling.pdf" path="Modeling.pdf" size="607908" stream="Modeling.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475218470" name="exercicios.pdf" path="exercicios.pdf" size="160577" stream="exercicios.pdf" user="Main.AlcinoCunha" version="3"
META FILEATTACHMENT attachment="model_checking.pdf" attr="" comment="" date="1475218710" name="model_checking.pdf" path="model_checking.pdf" size="1283311" stream="model_checking.pdf" user="Main.AlcinoCunha" version="1"

EM 8 - 06 Oct 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 6 to 6
 
Changed:
<
<
>
>
 
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.

Ferramentas

Line: 30 to 30
 
META FILEATTACHMENT attachment="model_checking.pdf" attr="" comment="" date="1475218710" name="model_checking.pdf" path="model_checking.pdf" size="1283311" stream="model_checking.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="barqueiro.smv" attr="" comment="" date="1475239658" name="barqueiro.smv" path="barqueiro.smv" size="856" stream="barqueiro.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="chair.smv" attr="h" comment="" date="1475239674" name="chair.smv" path="chair.smv" size="1693" stream="chair.smv" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="peterson.smv" attr="h" comment="" date="1475746248" name="peterson.smv" path="peterson.smv" size="1834" stream="peterson.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="peterson_modules.smv" attr="h" comment="" date="1475746259" name="peterson_modules.smv" path="peterson_modules.smv" size="1224" stream="peterson_modules.smv" user="Main.AlcinoCunha" version="1"

EM 7 - 04 Oct 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 14 to 14
 
Added:
>
>
<--

Desafios Alloy

!-->
 

Método de avaliação

  • Teste individual escrito (70%, >= 8)

EM 6 - 30 Sep 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 6 to 6
 
Added:
>
>
 
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.

Ferramentas

Line: 23 to 24
 
META FILEATTACHMENT attachment="Modeling.pdf" attr="h" comment="" date="1474541806" name="Modeling.pdf" path="Modeling.pdf" size="607908" stream="Modeling.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475218470" name="exercicios.pdf" path="exercicios.pdf" size="160577" stream="exercicios.pdf" user="Main.AlcinoCunha" version="3"
META FILEATTACHMENT attachment="model_checking.pdf" attr="" comment="" date="1475218710" name="model_checking.pdf" path="model_checking.pdf" size="1283311" stream="model_checking.pdf" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="barqueiro.smv" attr="" comment="" date="1475239658" name="barqueiro.smv" path="barqueiro.smv" size="856" stream="barqueiro.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="chair.smv" attr="h" comment="" date="1475239674" name="chair.smv" path="chair.smv" size="1693" stream="chair.smv" user="Main.AlcinoCunha" version="1"

EM 5 - 30 Sep 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Line: 6 to 6
 
Added:
>
>
  • A perspective on Model Checking. Estes slides sobre model checking abarcam muito mais matéria do que a que será leccionada este ano, mas podem ser úteis para quem desejar saber mais sobre este assunto (ver bibliografia no final). Em particular, este ano usamos SMV e não Petri Nets como linguagem de modelação.
 

Ferramentas

Line: 18 to 19
 
  • Trabalho de grupo (30%, >= 10)
  • Presença obrigatória nas aulas
Added:
>
>
 
META FILEATTACHMENT attachment="Modeling.pdf" attr="h" comment="" date="1474541806" name="Modeling.pdf" path="Modeling.pdf" size="607908" stream="Modeling.pdf" user="Main.AlcinoCunha" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475146873" name="exercicios.pdf" path="exercicios.pdf" size="160577" stream="exercicios.pdf" user="Main.AlcinoCunha" version="2"
>
>
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475218470" name="exercicios.pdf" path="exercicios.pdf" size="160577" stream="exercicios.pdf" user="Main.AlcinoCunha" version="3"
META FILEATTACHMENT attachment="model_checking.pdf" attr="" comment="" date="1475218710" name="model_checking.pdf" path="model_checking.pdf" size="1283311" stream="model_checking.pdf" user="Main.AlcinoCunha" version="1"

EM 4 - 29 Sep 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Material pedagógico

Changed:
<
<
>
>
  • Exercícios sobre SMV: as questões marcadas com CTL requerem conhecimento sobre lógica temporal CTL que ainda não foi leccionada este ano.
 

Ferramentas

Line: 19 to 19
 
  • Presença obrigatória nas aulas

META FILEATTACHMENT attachment="Modeling.pdf" attr="h" comment="" date="1474541806" name="Modeling.pdf" path="Modeling.pdf" size="607908" stream="Modeling.pdf" user="Main.AlcinoCunha" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475085217" name="exercicios.pdf" path="exercicios.pdf" size="153044" stream="exercicios.pdf" user="Main.AlcinoCunha" version="1"
>
>
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475146873" name="exercicios.pdf" path="exercicios.pdf" size="160577" stream="exercicios.pdf" user="Main.AlcinoCunha" version="2"

EM 3 - 28 Sep 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação

Material pedagógico

Added:
>
>
 

Ferramentas

Line: 18 to 19
 
  • Presença obrigatória nas aulas

META FILEATTACHMENT attachment="Modeling.pdf" attr="h" comment="" date="1474541806" name="Modeling.pdf" path="Modeling.pdf" size="607908" stream="Modeling.pdf" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="exercicios.pdf" attr="" comment="" date="1475085217" name="exercicios.pdf" path="exercicios.pdf" size="153044" stream="exercicios.pdf" user="Main.AlcinoCunha" version="1"

EM 2 - 22 Sep 2016 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<

Especificação e Modelação

>
>

Especificação e Modelação

 
Added:
>
>

Material pedagógico

 
Deleted:
<
<
-- JoseNunoOliveira - 20 Sep 2016
 \ No newline at end of file
Added:
>
>

Ferramentas

Método de avaliação

  • Teste individual escrito (70%, >= 8)
  • Trabalho de grupo (30%, >= 10)
  • Presença obrigatória nas aulas

META FILEATTACHMENT attachment="Modeling.pdf" attr="h" comment="" date="1474541806" name="Modeling.pdf" path="Modeling.pdf" size="607908" stream="Modeling.pdf" user="Main.AlcinoCunha" version="1"

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

Especificação e Modelação

-- JoseNunoOliveira - 20 Sep 2016


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