Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2020/2021
View   r28  >  r27  >  r26  >  r25  >  r24  ...

EM 28 - 30 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Changed:
<
<

Programa

  • Lógicas para especificação e modelação
    • Lógica de primeira ordem
    • Lógica relacional
    • Lógica temporal
  • Técnicas de análise e verificação
    • Model-finding para lógica relacional
    • Model-checking para lógica temporal
  • Linguagens e ferramentas principais
    • Alloy (Electrum) e o respectivo Analyzer
  • Outras linguagens e ferramentas
    • TLA+ e a respectiva Toolbox
    • SMV e NuSMV

Docente / Horário

Docente Foto Horário Sala
Manuel Alcino Cunha Alcino 5a-feira, 9h-11h CP1 1.21

Alunos

# Nome Curso
a83916 Ana João Dias de Almeida MiEI
a85516 António Manuel Carvalho Gonçalves MiEI
a80453 Bárbara Andreia Cardoso Ferreira MiEI
a82529 Carlos Manuel Marques Afonso MiEI
a34900 Cecília da Conceição de Oliveira Soares MiEI
a67683 César Eduardo da Silva Magalhães MiEI
pg41842 César Hugo Moreira da Silva MEI
a80970 Davide da Silva Matos MiEI
a76089 Etienne da Silva Filipe Amado da Costa MiEI
a85731 Gonçalo José Azevedo Esteves MiEI
a86617 Gonçalo Pinto Nogueira MiEI
a81283 Hugo Filipe Oliveira de Sousa Faria MiEI
a85573 Jorge Gabriel Alves Cerqueira MiEI
a84776 José Emanuel Silva Rodrigues MiEI
pg42839 José Gonçalo Macedo Costa MEI
a84577 José Pedro Oliveira Silva MiEI
a85954 Luís Mário Macedo Ribeiro MIEI
a78566 Marcos Daniel Teixeira da Silva MiEI
a71407 Maurício Zulueta Lima Salgado MiEI
a85700 Pedro Miguel Araújo Costa MiEI
a84783 Pedro Miguel Borges Rodrigues MiEI
a86266 Rafael Inácio Lourenço MiEI
a75411 Ricardo Guerra Leal MiEI
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
pg36086 Vítor Hugo Gonçalves Silva MMC

Método de avaliação

  • 1 teste individual escrito (60%, ≥ 8)
  • 1 trabalho a realizar em grupos de 2 alunos (20%)
  • Avaliação contínua (20%)

Material pedagógico

Acetatos

Exercícios

Desafios

Bibliografia

Outras leituras recomendadas

Ferramentas

>
>		Devido a problemas de segurança identificados pelos administradores deste wiki, a página de EM migrou para aqui.
 
META FILEATTACHMENT attachment="alcino.jpg" attr="h" comment="" date="1602766027" name="alcino.jpg" path="alcino.jpg" size="12118" stream="alcino.jpg" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="introduction.pdf" attr="h" comment="" date="1602766080" name="introduction.pdf" path="introduction.pdf" size="656207" stream="introduction.pdf" user="Main.AlcinoCunha" version="1"

EM 27 - 28 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 70 to 70
 
Added:
>
>
 

Exercícios

Line: 123 to 124
 
META FILEATTACHMENT attachment="foltl.pdf" attr="h" comment="" date="1605510110" name="foltl.pdf" path="foltl.pdf" size="827605" stream="foltl.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="rmf.pdf" attr="h" comment="" date="1605448302" name="rmf.pdf" path="rmf.pdf" size="222393" stream="rmf.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="sl.pdf" attr="h" comment="" date="1606291934" name="sl.pdf" path="sl.pdf" size="249790" stream="sl.pdf" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="bmc.pdf" attr="h" comment="" date="1606551465" name="bmc.pdf" path="bmc.pdf" size="288449" stream="bmc.pdf" user="Main.AlcinoCunha" version="1"

EM 26 - 27 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 55 to 55
 

Método de avaliação

  • 1 teste individual escrito (60%, ≥ 8)
Changed:
<
<
  • 1 trabalhos a realizar em grupos de 2 alunos (20%)
>
>
  • 1 trabalho a realizar em grupos de 2 alunos (20%)
 
  • Avaliação contínua (20%)

Material pedagógico


EM 25 - 25 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 69 to 69
 
Added:
>
>
 

Exercícios

Line: 121 to 122
 
META FILEATTACHMENT attachment="types.pdf" attr="h" comment="" date="1605346821" name="types.pdf" path="types.pdf" size="454392" stream="types.pdf" user="Main.AlcinoCunha" version="3"
META FILEATTACHMENT attachment="foltl.pdf" attr="h" comment="" date="1605510110" name="foltl.pdf" path="foltl.pdf" size="827605" stream="foltl.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="rmf.pdf" attr="h" comment="" date="1605448302" name="rmf.pdf" path="rmf.pdf" size="222393" stream="rmf.pdf" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="sl.pdf" attr="h" comment="" date="1606291934" name="sl.pdf" path="sl.pdf" size="249790" stream="sl.pdf" user="Main.AlcinoCunha" version="1"

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

Especificação e Modelação (H507O2)

Line: 79 to 79
 
Changed:
<
<
>
>
 

EM 23 - 19 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 79 to 79
 
Changed:
<
<
>
>
 
Line: 88 to 88
 
Added:
>
>
 

Bibliografia


EM 22 - 18 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 82 to 82
 
Added:
>
>
 

Desafios


EM 21 - 16 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 101 to 101
 
Added:
>
>
 

Ferramentas

Line: 115 to 117
 
META FILEATTACHMENT attachment="fol.pdf" attr="h" comment="" date="1603290576" name="fol.pdf" path="fol.pdf" size="243420" stream="fol.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="rl.pdf" attr="h" comment="" date="1603972209" name="rl.pdf" path="rl.pdf" size="216899" stream="rl.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="types.pdf" attr="h" comment="" date="1605346821" name="types.pdf" path="types.pdf" size="454392" stream="types.pdf" user="Main.AlcinoCunha" version="3"
Changed:
<
<
META FILEATTACHMENT attachment="foltl.pdf" attr="h" comment="" date="1605448290" name="foltl.pdf" path="foltl.pdf" size="229673" stream="foltl.pdf" user="Main.AlcinoCunha" version="1"
>
>
META FILEATTACHMENT attachment="foltl.pdf" attr="h" comment="" date="1605510110" name="foltl.pdf" path="foltl.pdf" size="827605" stream="foltl.pdf" user="Main.AlcinoCunha" version="2"
 
META FILEATTACHMENT attachment="rmf.pdf" attr="h" comment="" date="1605448302" name="rmf.pdf" path="rmf.pdf" size="222393" stream="rmf.pdf" user="Main.AlcinoCunha" version="1"

EM 20 - 15 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 115 to 115
 
META FILEATTACHMENT attachment="fol.pdf" attr="h" comment="" date="1603290576" name="fol.pdf" path="fol.pdf" size="243420" stream="fol.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="rl.pdf" attr="h" comment="" date="1603972209" name="rl.pdf" path="rl.pdf" size="216899" stream="rl.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="types.pdf" attr="h" comment="" date="1605346821" name="types.pdf" path="types.pdf" size="454392" stream="types.pdf" user="Main.AlcinoCunha" version="3"
Added:
>
>
META FILEATTACHMENT attachment="foltl.pdf" attr="h" comment="" date="1605448290" name="foltl.pdf" path="foltl.pdf" size="229673" stream="foltl.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="rmf.pdf" attr="h" comment="" date="1605448302" name="rmf.pdf" path="rmf.pdf" size="222393" stream="rmf.pdf" user="Main.AlcinoCunha" version="1"

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

Especificação e Modelação (H507O2)

Line: 66 to 66
 
Changed:
<
<
>
>
 

Exercícios

Line: 79 to 81
 
Added:
>
>
 

Desafios


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

Especificação e Modelação (H507O2)

Line: 63 to 63
 

Acetatos

Changed:
<
<
>
>
 
Line: 111 to 111
 
META FILEATTACHMENT attachment="two-phase.pdf" attr="h" comment="" date="1602766093" name="two-phase.pdf" path="two-phase.pdf" size="342596" stream="two-phase.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="fol.pdf" attr="h" comment="" date="1603290576" name="fol.pdf" path="fol.pdf" size="243420" stream="fol.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="rl.pdf" attr="h" comment="" date="1603972209" name="rl.pdf" path="rl.pdf" size="216899" stream="rl.pdf" user="Main.AlcinoCunha" version="2"
Changed:
<
<
META FILEATTACHMENT attachment="types.pdf" attr="h" comment="" date="1605171718" name="types.pdf" path="types.pdf" size="454656" stream="types.pdf" user="Main.AlcinoCunha" version="2"
>
>
META FILEATTACHMENT attachment="types.pdf" attr="h" comment="" date="1605346821" name="types.pdf" path="types.pdf" size="454392" stream="types.pdf" user="Main.AlcinoCunha" version="3"

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

Especificação e Modelação (H507O2)

Line: 41 to 41
 
a84776 José Emanuel Silva Rodrigues MiEI
pg42839 José Gonçalo Macedo Costa MEI
a84577 José Pedro Oliveira Silva MiEI
Deleted:
<
<
pg42840 Leandro Filipe Pereira Lima MEI
pg42842 Luís Marques MEI
 
a85954 Luís Mário Macedo Ribeiro MIEI
a78566 Marcos Daniel Teixeira da Silva MiEI
a71407 Maurício Zulueta Lima Salgado MiEI

EM 16 - 12 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 85 to 85
 

Desafios

Added:
>
>
 

Bibliografia


EM 15 - 12 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 112 to 112
 
META FILEATTACHMENT attachment="two-phase.pdf" attr="h" comment="" date="1602766093" name="two-phase.pdf" path="two-phase.pdf" size="342596" stream="two-phase.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="fol.pdf" attr="h" comment="" date="1603290576" name="fol.pdf" path="fol.pdf" size="243420" stream="fol.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="rl.pdf" attr="h" comment="" date="1603972209" name="rl.pdf" path="rl.pdf" size="216899" stream="rl.pdf" user="Main.AlcinoCunha" version="2"
Changed:
<
<
META FILEATTACHMENT attachment="types.pdf" attr="h" comment="" date="1605120889" name="types.pdf" path="types.pdf" size="454750" stream="types.pdf" user="Main.AlcinoCunha" version="1"
>
>
META FILEATTACHMENT attachment="types.pdf" attr="h" comment="" date="1605171718" name="types.pdf" path="types.pdf" size="454656" stream="types.pdf" user="Main.AlcinoCunha" version="2"

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

Especificação e Modelação (H507O2)

Line: 68 to 68
 
Added:
>
>
 

Exercícios

Line: 78 to 79
 
Deleted:
<
<
 

Desafios

Line: 113 to 112
 
META FILEATTACHMENT attachment="two-phase.pdf" attr="h" comment="" date="1602766093" name="two-phase.pdf" path="two-phase.pdf" size="342596" stream="two-phase.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="fol.pdf" attr="h" comment="" date="1603290576" name="fol.pdf" path="fol.pdf" size="243420" stream="fol.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="rl.pdf" attr="h" comment="" date="1603972209" name="rl.pdf" path="rl.pdf" size="216899" stream="rl.pdf" user="Main.AlcinoCunha" version="2"
Added:
>
>
META FILEATTACHMENT attachment="types.pdf" attr="h" comment="" date="1605120889" name="types.pdf" path="types.pdf" size="454750" stream="types.pdf" user="Main.AlcinoCunha" version="1"

EM 13 - 05 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 83 to 83
  -->
Added:
>
>

Desafios

 

Bibliografia


EM 12 - 05 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 71 to 71
 

Exercícios

Added:
>
>
  • Alloy4Fun
 
Changed:
<
<
>
>		 
<--  
-->
 

Bibliografia


EM 11 - 03 Nov 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 43 to 43
 
a84577 José Pedro Oliveira Silva MiEI
pg42840 Leandro Filipe Pereira Lima MEI
pg42842 Luís Marques MEI
Added:
>
>
a85954 Luís Mário Macedo Ribeiro MIEI
 
a78566 Marcos Daniel Teixeira da Silva MiEI
a71407 Maurício Zulueta Lima Salgado MiEI
a85700 Pedro Miguel Araújo Costa MiEI

EM 10 - 29 Oct 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 65 to 65
 
Changed:
<
<
>
>
 

Exercícios


EM 9 - 29 Oct 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 72 to 72
 
Added:
>
>
 

Bibliografia

Line: 98 to 101
 
META FILEATTACHMENT attachment="introduction.pdf" attr="h" comment="" date="1602766080" name="introduction.pdf" path="introduction.pdf" size="656207" stream="introduction.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="two-phase.pdf" attr="h" comment="" date="1602766093" name="two-phase.pdf" path="two-phase.pdf" size="342596" stream="two-phase.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="fol.pdf" attr="h" comment="" date="1603290576" name="fol.pdf" path="fol.pdf" size="243420" stream="fol.pdf" user="Main.AlcinoCunha" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="rl.pdf" attr="h" comment="" date="1603961037" name="rl.pdf" path="rl.pdf" size="216971" stream="rl.pdf" user="Main.AlcinoCunha" version="1"
>
>
META FILEATTACHMENT attachment="rl.pdf" attr="h" comment="" date="1603972209" name="rl.pdf" path="rl.pdf" size="216899" stream="rl.pdf" user="Main.AlcinoCunha" version="2"

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

Especificação e Modelação (H507O2)

Line: 66 to 66
 
Added:
>
>
 

Exercícios

Line: 97 to 98
 
META FILEATTACHMENT attachment="introduction.pdf" attr="h" comment="" date="1602766080" name="introduction.pdf" path="introduction.pdf" size="656207" stream="introduction.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="two-phase.pdf" attr="h" comment="" date="1602766093" name="two-phase.pdf" path="two-phase.pdf" size="342596" stream="two-phase.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="fol.pdf" attr="h" comment="" date="1603290576" name="fol.pdf" path="fol.pdf" size="243420" stream="fol.pdf" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="rl.pdf" attr="h" comment="" date="1603961037" name="rl.pdf" path="rl.pdf" size="216971" stream="rl.pdf" user="Main.AlcinoCunha" version="1"

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

Especificação e Modelação (H507O2)

Line: 27 to 27
 
# Nome Curso
a83916 Ana João Dias de Almeida MiEI
a85516 António Manuel Carvalho Gonçalves MiEI
Added:
>
>
a80453 Bárbara Andreia Cardoso Ferreira MiEI
 
a82529 Carlos Manuel Marques Afonso MiEI
a34900 Cecília da Conceição de Oliveira Soares MiEI
a67683 César Eduardo da Silva Magalhães MiEI
Line: 35 to 36
 
a76089 Etienne da Silva Filipe Amado da Costa MiEI
a85731 Gonçalo José Azevedo Esteves MiEI
a86617 Gonçalo Pinto Nogueira MiEI
Deleted:
<
<
pg42833 Henrique Manuel Sanches Pereira MEI
 
a81283 Hugo Filipe Oliveira de Sousa Faria MiEI
a85573 Jorge Gabriel Alves Cerqueira MiEI
a84776 José Emanuel Silva Rodrigues MiEI
Line: 51 to 51
 
a75411 Ricardo Guerra Leal MiEI
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
Deleted:
<
<
pg42647 Valeriy Apostolyuk MEI
 
pg36086 Vítor Hugo Gonçalves Silva MMC

Método de avaliação


EM 6 - 22 Oct 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 89 to 89
 

Ferramentas

Changed:
<
<
>
>
 

EM 5 - 21 Oct 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Line: 66 to 66
 
Added:
>
>
 

Exercícios

Added:
>
>
 

Bibliografia

Line: 92 to 97
 
META FILEATTACHMENT attachment="alcino.jpg" attr="h" comment="" date="1602766027" name="alcino.jpg" path="alcino.jpg" size="12118" stream="alcino.jpg" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="introduction.pdf" attr="h" comment="" date="1602766080" name="introduction.pdf" path="introduction.pdf" size="656207" stream="introduction.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="two-phase.pdf" attr="h" comment="" date="1602766093" name="two-phase.pdf" path="two-phase.pdf" size="342596" stream="two-phase.pdf" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="fol.pdf" attr="h" comment="" date="1603290576" name="fol.pdf" path="fol.pdf" size="243420" stream="fol.pdf" user="Main.AlcinoCunha" version="1"

EM 4 - 15 Oct 2020 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Changed:
<
<

Alunos | Students

>
>

Programa

  • Lógicas para especificação e modelação
    • Lógica de primeira ordem
    • Lógica relacional
    • Lógica temporal
  • Técnicas de análise e verificação
    • Model-finding para lógica relacional
    • Model-checking para lógica temporal
  • Linguagens e ferramentas principais
    • Alloy (Electrum) e o respectivo Analyzer
  • Outras linguagens e ferramentas
    • TLA+ e a respectiva Toolbox
    • SMV e NuSMV

Docente / Horário

Docente Foto Horário Sala
Manuel Alcino Cunha Alcino 5a-feira, 9h-11h CP1 1.21

Alunos

 
# Nome Curso
a83916 Ana João Dias de Almeida MiEI
Line: 31 to 51
 
a75411 Ricardo Guerra Leal MiEI
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
Changed:
<
<
pg42647 Valeriy Apostolyuk MEI
>
>
pg42647 Valeriy Apostolyuk MEI
pg36086 Vítor Hugo Gonçalves Silva MMC

Método de avaliação

  • 1 teste individual escrito (60%, ≥ 8)
  • 1 trabalhos a realizar em grupos de 2 alunos (20%)
  • Avaliação contínua (20%)

Material pedagógico

Acetatos

Exercícios

Bibliografia

Outras leituras recomendadas

Ferramentas

 
Deleted:
<
<		-- JoseNunoOliveira - 28 Sep 2020
 \ No newline at end of file
Added:
>
>
META FILEATTACHMENT attachment="alcino.jpg" attr="h" comment="" date="1602766027" name="alcino.jpg" path="alcino.jpg" size="12118" stream="alcino.jpg" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="introduction.pdf" attr="h" comment="" date="1602766080" name="introduction.pdf" path="introduction.pdf" size="656207" stream="introduction.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="two-phase.pdf" attr="h" comment="" date="1602766093" name="two-phase.pdf" path="two-phase.pdf" size="342596" stream="two-phase.pdf" user="Main.AlcinoCunha" version="1"

EM 3 - 11 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Especificação e Modelação (H507O2)

Added:
>
>

Alunos | Students

# Nome Curso
a83916 Ana João Dias de Almeida MiEI
a85516 António Manuel Carvalho Gonçalves MiEI
a82529 Carlos Manuel Marques Afonso MiEI
a34900 Cecília da Conceição de Oliveira Soares MiEI
a67683 César Eduardo da Silva Magalhães MiEI
pg41842 César Hugo Moreira da Silva MEI
a80970 Davide da Silva Matos MiEI
a76089 Etienne da Silva Filipe Amado da Costa MiEI
a85731 Gonçalo José Azevedo Esteves MiEI
a86617 Gonçalo Pinto Nogueira MiEI
pg42833 Henrique Manuel Sanches Pereira MEI
a81283 Hugo Filipe Oliveira de Sousa Faria MiEI
a85573 Jorge Gabriel Alves Cerqueira MiEI
a84776 José Emanuel Silva Rodrigues MiEI
pg42839 José Gonçalo Macedo Costa MEI
a84577 José Pedro Oliveira Silva MiEI
pg42840 Leandro Filipe Pereira Lima MEI
pg42842 Luís Marques MEI
a78566 Marcos Daniel Teixeira da Silva MiEI
a71407 Maurício Zulueta Lima Salgado MiEI
a85700 Pedro Miguel Araújo Costa MiEI
a84783 Pedro Miguel Borges Rodrigues MiEI
a86266 Rafael Inácio Lourenço MiEI
a75411 Ricardo Guerra Leal MiEI
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
pg42647 Valeriy Apostolyuk MEI
 -- JoseNunoOliveira - 28 Sep 2020 \ No newline at end of file

EM 2 - 30 Sep 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<

Especificação e Modelação

>
>

Especificação e Modelação (H507O2)

 

-- JoseNunoOliveira - 28 Sep 2020


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

Especificação e Modelação

-- JoseNunoOliveira - 28 Sep 2020


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