Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2012/13)
View   r64  >  r63  >  r62  >  r61  >  r60  ...

Material 64 - 04 Mar 2015 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:


Material 63 - 04 Mar 2015 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 134 to 134
 

Módulo de VFS

Changed:
<
<
>
>
 

Material 62 - 22 Feb 2014 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 128 to 128
 

Enunciados de provas de avaliação individual

Changed:
<
<
>
>
 

Módulo de VFS

Line: 223 to 224
 
META FILEATTACHMENT attachment="aula_PAS_2013_06_13.zip" attr="h" comment="" date="1372328810" name="aula_PAS_2013_06_13.zip" path="aula_PAS_2013_06_13.zip" size="6195636" stream="aula_PAS_2013_06_13.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="PAS1213-IMC.pdf" attr="h" comment="" date="1372328831" name="PAS1213-IMC.pdf" path="PAS1213-IMC.pdf" size="181477" stream="PAS1213-IMC.pdf" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="PAS1213-TC.pdf" attr="h" comment="" date="1372328864" name="PAS1213-TC.pdf" path="PAS1213-TC.pdf" size="706781" stream="PAS1213-TC.pdf" user="Main.LuisSoaresBarbosa" version="1"
Added:
>
>
META FILEATTACHMENT attachment="mfes12131csi2.pdf" attr="h" comment="" date="1393102031" name="mfes12131csi2.pdf" path="mfes12131csi2.pdf" size="163309" stream="mfes12131csi2.pdf" user="Main.JoseNunoOliveira" version="1"

Material 61 - 06 Feb 2014 - Main.JorgeSousaPinto
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 137 to 137
 
Added:
>
>
 

Ferramentas


Material 60 - 01 Nov 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 14 to 14
 
Deleted:
<
<
(A completar ao longo do curso)
 

Outros textos

  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Capítulo segundo deste livro em preparação.
Deleted:
<
<
(A completar ao longo do curso)
 

Acetatos

Line: 57 to 55
 
Deleted:
<
<
(A completar ao longo do curso)

Módulo PAS

 


Material 59 - 27 Jun 2013 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 67 to 67
 
Changed:
<
<
>
>
 
Line: 75 to 75
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>

 
Line: 221 to 225
 
META FILEATTACHMENT attachment="ProbabilisticConstraintsPapers.zip" attr="h" comment="" date="1371131438" name="ProbabilisticConstraintsPapers.zip" path="ProbabilisticConstraintsPapers.zip" size="1952921" stream="ProbabilisticConstraintsPapers.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="RunTimeReo.pdf" attr="h" comment="" date="1371131461" name="RunTimeReo.pdf" path="RunTimeReo.pdf" size="7225418" stream="RunTimeReo.pdf" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="PAS1213-LTS.pdf" attr="h" comment="" date="1371131826" name="PAS1213-LTS.pdf" path="PAS1213-LTS.pdf" size="274072" stream="PAS1213-LTS.pdf" user="Main.LuisSoaresBarbosa" version="1"
Added:
>
>
META FILEATTACHMENT attachment="aula_PAS_2013_06_13.zip" attr="h" comment="" date="1372328810" name="aula_PAS_2013_06_13.zip" path="aula_PAS_2013_06_13.zip" size="6195636" stream="aula_PAS_2013_06_13.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="PAS1213-IMC.pdf" attr="h" comment="" date="1372328831" name="PAS1213-IMC.pdf" path="PAS1213-IMC.pdf" size="181477" stream="PAS1213-IMC.pdf" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="PAS1213-TC.pdf" attr="h" comment="" date="1372328864" name="PAS1213-TC.pdf" path="PAS1213-TC.pdf" size="706781" stream="PAS1213-TC.pdf" user="Main.LuisSoaresBarbosa" version="1"

Material 58 - 13 Jun 2013 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Deleted:
<
<
 

Material disponível ou a disponibilizar:

Bibliografia

Line: 66 to 65
 
Changed:
<
<
>
>

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

Divulgação

Line: 204 to 217
 
META FILEATTACHMENT attachment="trabCoq.pdf" attr="h" comment="" date="1369343867" name="trabCoq.pdf" path="trabCoq.pdf" size="59977" stream="trabCoq.pdf" user="Main.MariaJoaoFrade" version="2"
META FILEATTACHMENT attachment="mfes12131csi-C.pdf" attr="h" comment="" date="1370342731" name="mfes12131csi-C.pdf" path="mfes12131csi-C.pdf" size="245871" stream="mfes12131csi-C.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="mfes12131csi1c.pdf" attr="h" comment="" date="1370870080" name="mfes12131csi1c.pdf" path="mfes12131csi1c.pdf" size="247156" stream="mfes12131csi1c.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="ReoPapers.zip" attr="h" comment="" date="1371131420" name="ReoPapers.zip" path="ReoPapers.zip" size="5019003" stream="ReoPapers.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="ProbabilisticConstraintsPapers.zip" attr="h" comment="" date="1371131438" name="ProbabilisticConstraintsPapers.zip" path="ProbabilisticConstraintsPapers.zip" size="1952921" stream="ProbabilisticConstraintsPapers.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="RunTimeReo.pdf" attr="h" comment="" date="1371131461" name="RunTimeReo.pdf" path="RunTimeReo.pdf" size="7225418" stream="RunTimeReo.pdf" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="PAS1213-LTS.pdf" attr="h" comment="" date="1371131826" name="PAS1213-LTS.pdf" path="PAS1213-LTS.pdf" size="274072" stream="PAS1213-LTS.pdf" user="Main.LuisSoaresBarbosa" version="1"

Material 57 - 10 Jun 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Deleted:
<
<
 

Material disponível ou a disponibilizar:

Bibliografia

Line: 118 to 117
 

Enunciados de provas de avaliação individual

Changed:
<
<
>
>
 

Módulo de VFS

Line: 204 to 203
 
META FILEATTACHMENT attachment="Coq2.pdf" attr="h" comment="" date="1369263045" name="Coq2.pdf" path="Coq2.pdf" size="366673" stream="Coq2.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="trabCoq.pdf" attr="h" comment="" date="1369343867" name="trabCoq.pdf" path="trabCoq.pdf" size="59977" stream="trabCoq.pdf" user="Main.MariaJoaoFrade" version="2"
META FILEATTACHMENT attachment="mfes12131csi-C.pdf" attr="h" comment="" date="1370342731" name="mfes12131csi-C.pdf" path="mfes12131csi-C.pdf" size="245871" stream="mfes12131csi-C.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="mfes12131csi1c.pdf" attr="h" comment="" date="1370870080" name="mfes12131csi1c.pdf" path="mfes12131csi1c.pdf" size="247156" stream="mfes12131csi1c.pdf" user="Main.JoseNunoOliveira" version="1"

Material 56 - 04 Jun 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Added:
>
>
 

Material disponível ou a disponibilizar:

Bibliografia

Line: 10 to 12
 
Changed:
<
<
>
>
 
Line: 116 to 118
 

Enunciados de provas de avaliação individual

Changed:
<
<
>
>
 

Módulo de VFS

Line: 185 to 187
 
META FILEATTACHMENT attachment="LTLvsCTL_trans.smv" attr="h" comment="" date="1355413801" name="LTLvsCTL_trans.smv" path="LTLvsCTL_trans.smv" size="330" stream="LTLvsCTL_trans.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="teste.pdf" attr="h" comment="" date="1360244017" name="teste.pdf" path="teste.pdf" size="78220" stream="teste.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="formulario.pdf" attr="h" comment="" date="1360865698" name="formulario.pdf" path="formulario.pdf" size="181193" stream="formulario.pdf" user="Main.JoseNunoOliveira" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="mfes12131csi.pdf" attr="h" comment="" date="1362142371" name="mfes12131csi.pdf" path="mfes12131csi.pdf" size="166907" stream="mfes12131csi.pdf" user="Main.JoseNunoOliveira" version="1"
>
>
META FILEATTACHMENT attachment="mfes12131csi.pdf" attr="h" comment="" date="1370342667" name="mfes12131csi.pdf" path="mfes12131csi.pdf" size="245871" stream="mfes12131csi.pdf" user="Main.JoseNunoOliveira" version="2"
 
META FILEATTACHMENT attachment="PL+SAT.pdf" attr="h" comment="" date="1362738939" name="PL+SAT.pdf" path="PL+SAT.pdf" size="783362" stream="PL+SAT.pdf" user="Main.MariaJoaoFrade" version="2"
META FILEATTACHMENT attachment="FOL+SMT.pdf" attr="h" comment="" date="1363264987" name="FOL+SMT.pdf" path="FOL+SMT.pdf" size="574596" stream="FOL+SMT.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="trabSMT.pdf" attr="h" comment="" date="1363855464" name="trabSMT.pdf" path="trabSMT.pdf" size="46729" stream="trabSMT.pdf" user="Main.MariaJoaoFrade" version="1"
Line: 201 to 203
 
META FILEATTACHMENT attachment="lessonCoq2.v" attr="h" comment="" date="1369263026" name="lessonCoq2.v" path="lessonCoq2.v" size="17837" stream="lessonCoq2.v" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="Coq2.pdf" attr="h" comment="" date="1369263045" name="Coq2.pdf" path="Coq2.pdf" size="366673" stream="Coq2.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="trabCoq.pdf" attr="h" comment="" date="1369343867" name="trabCoq.pdf" path="trabCoq.pdf" size="59977" stream="trabCoq.pdf" user="Main.MariaJoaoFrade" version="2"
Added:
>
>
META FILEATTACHMENT attachment="mfes12131csi-C.pdf" attr="h" comment="" date="1370342731" name="mfes12131csi-C.pdf" path="mfes12131csi-C.pdf" size="245871" stream="mfes12131csi-C.pdf" user="Main.JoseNunoOliveira" version="1"

Material 55 - 27 May 2013 - Main.JorgeSousaPinto
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 122 to 122
 

Módulo de VFS

Changed:
<
<
>
>
 
Added:
>
>
 

Ferramentas


Material 54 - 23 May 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 199 to 199
 
META FILEATTACHMENT attachment="REO.pdf" attr="h" comment="" date="1368103772" name="REO.pdf" path="REO.pdf" size="2843905" stream="REO.pdf" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="lessonCoq2.v" attr="h" comment="" date="1369263026" name="lessonCoq2.v" path="lessonCoq2.v" size="17837" stream="lessonCoq2.v" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="Coq2.pdf" attr="h" comment="" date="1369263045" name="Coq2.pdf" path="Coq2.pdf" size="366673" stream="Coq2.pdf" user="Main.MariaJoaoFrade" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="trabCoq.pdf" attr="h" comment="" date="1369263079" name="trabCoq.pdf" path="trabCoq.pdf" size="60001" stream="trabCoq.pdf" user="Main.MariaJoaoFrade" version="1"
>
>
META FILEATTACHMENT attachment="trabCoq.pdf" attr="h" comment="" date="1369343867" name="trabCoq.pdf" path="trabCoq.pdf" size="59977" stream="trabCoq.pdf" user="Main.MariaJoaoFrade" version="2"

Material 53 - 22 May 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 52 to 52
 
Changed:
<
<
>
>

 (A completar ao longo do curso)
Line: 120 to 123
 
Added:
>
>
 

Ferramentas

Line: 193 to 197
 
META FILEATTACHMENT attachment="lessonCoq1.v" attr="h" comment="" date="1368058114" name="lessonCoq1.v" path="lessonCoq1.v" size="9434" stream="lessonCoq1.v" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="TalkGV.zip" attr="h" comment="" date="1368103756" name="TalkGV.zip" path="TalkGV.zip" size="3596781" stream="TalkGV.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="REO.pdf" attr="h" comment="" date="1368103772" name="REO.pdf" path="REO.pdf" size="2843905" stream="REO.pdf" user="Main.LuisSoaresBarbosa" version="1"
Added:
>
>
META FILEATTACHMENT attachment="lessonCoq2.v" attr="h" comment="" date="1369263026" name="lessonCoq2.v" path="lessonCoq2.v" size="17837" stream="lessonCoq2.v" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="Coq2.pdf" attr="h" comment="" date="1369263045" name="Coq2.pdf" path="Coq2.pdf" size="366673" stream="Coq2.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="trabCoq.pdf" attr="h" comment="" date="1369263079" name="trabCoq.pdf" path="trabCoq.pdf" size="60001" stream="trabCoq.pdf" user="Main.MariaJoaoFrade" version="1"

Material 52 - 09 May 2013 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 60 to 60
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>

 

Divulgação

Line: 187 to 191
 
META FILEATTACHMENT attachment="PAS-OpenExercisesSA.zip" attr="h" comment="" date="1367490440" name="PAS-OpenExercisesSA.zip" path="PAS-OpenExercisesSA.zip" size="492784" stream="PAS-OpenExercisesSA.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="Coq1.pdf" attr="h" comment="" date="1368058088" name="Coq1.pdf" path="Coq1.pdf" size="523722" stream="Coq1.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="lessonCoq1.v" attr="h" comment="" date="1368058114" name="lessonCoq1.v" path="lessonCoq1.v" size="9434" stream="lessonCoq1.v" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="TalkGV.zip" attr="h" comment="" date="1368103756" name="TalkGV.zip" path="TalkGV.zip" size="3596781" stream="TalkGV.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="REO.pdf" attr="h" comment="" date="1368103772" name="REO.pdf" path="REO.pdf" size="2843905" stream="REO.pdf" user="Main.LuisSoaresBarbosa" version="1"

Material 51 - 09 May 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 44 to 44
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>

 (A completar ao longo do curso)
Line: 183 to 185
 
META FILEATTACHMENT attachment="CoalgebrasComponents.zip" attr="h" comment="" date="1364141913" name="CoalgebrasComponents.zip" path="Coalgebras&Components.zip" size="1479276" stream="Coalgebras&Components.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="IntroductionPASmodule.pdf" attr="h" comment="" date="1364142039" name="IntroductionPASmodule.pdf" path="IntroductionPASmodule.pdf" size="202046" stream="IntroductionPASmodule.pdf" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="PAS-OpenExercisesSA.zip" attr="h" comment="" date="1367490440" name="PAS-OpenExercisesSA.zip" path="PAS-OpenExercisesSA.zip" size="492784" stream="PAS-OpenExercisesSA.zip" user="Main.LuisSoaresBarbosa" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Coq1.pdf" attr="h" comment="" date="1368058088" name="Coq1.pdf" path="Coq1.pdf" size="523722" stream="Coq1.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="lessonCoq1.v" attr="h" comment="" date="1368058114" name="lessonCoq1.v" path="lessonCoq1.v" size="9434" stream="lessonCoq1.v" user="Main.MariaJoaoFrade" version="1"

Material 50 - 02 May 2013 - Main.JorgeSousaPinto
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 113 to 113
 

Módulo de VFS

Changed:
<
<
>
>
 

Ferramentas


Material 49 - 02 May 2013 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 56 to 56
 

Módulo PAS

Changed:
<
<
>
>
 
Added:
>
>
 

Divulgação

Line: 180 to 182
 
META FILEATTACHMENT attachment="DPLL_sat.tar.gz" attr="h" comment="" date="1363945444" name="DPLL_sat.tar.gz" path="DPLL_sat.tar.gz" size="10240" stream="DPLL_sat.tar.gz" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="CoalgebrasComponents.zip" attr="h" comment="" date="1364141913" name="CoalgebrasComponents.zip" path="Coalgebras&Components.zip" size="1479276" stream="Coalgebras&Components.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="IntroductionPASmodule.pdf" attr="h" comment="" date="1364142039" name="IntroductionPASmodule.pdf" path="IntroductionPASmodule.pdf" size="202046" stream="IntroductionPASmodule.pdf" user="Main.LuisSoaresBarbosa" version="1"
Added:
>
>
META FILEATTACHMENT attachment="PAS-OpenExercisesSA.zip" attr="h" comment="" date="1367490440" name="PAS-OpenExercisesSA.zip" path="PAS-OpenExercisesSA.zip" size="492784" stream="PAS-OpenExercisesSA.zip" user="Main.LuisSoaresBarbosa" version="1"

Material 48 - 02 May 2013 - Main.JorgeSousaPinto
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 108 to 108
 
Changed:
<
<

Enunciados dos trabalhos de VFS

>
>

Módulo de VFS

 
Added:
>
>
 

Ferramentas


Material 47 - 24 Mar 2013 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 54 to 54
 (A completar ao longo do curso)
Added:
>
>

Módulo PAS

 

Divulgação

Line: 172 to 177
 
META FILEATTACHMENT attachment="trabSMT.pdf" attr="h" comment="" date="1363855464" name="trabSMT.pdf" path="trabSMT.pdf" size="46729" stream="trabSMT.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="SMTsolvers.pdf" attr="h" comment="" date="1363856565" name="SMTsolvers.pdf" path="SMTsolvers.pdf" size="2696964" stream="SMTsolvers.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="DPLL_sat.tar.gz" attr="h" comment="" date="1363945444" name="DPLL_sat.tar.gz" path="DPLL_sat.tar.gz" size="10240" stream="DPLL_sat.tar.gz" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="CoalgebrasComponents.zip" attr="h" comment="" date="1364141913" name="CoalgebrasComponents.zip" path="Coalgebras&Components.zip" size="1479276" stream="Coalgebras&Components.zip" user="Main.LuisSoaresBarbosa" version="1"
META FILEATTACHMENT attachment="IntroductionPASmodule.pdf" attr="h" comment="" date="1364142039" name="IntroductionPASmodule.pdf" path="IntroductionPASmodule.pdf" size="202046" stream="IntroductionPASmodule.pdf" user="Main.LuisSoaresBarbosa" version="1"

Material 46 - 22 Mar 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 87 to 87
 
Changed:
<
<
>
>
 

Exercícios e formulários

Line: 170 to 171
 
META FILEATTACHMENT attachment="FOL+SMT.pdf" attr="h" comment="" date="1363264987" name="FOL+SMT.pdf" path="FOL+SMT.pdf" size="574596" stream="FOL+SMT.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="trabSMT.pdf" attr="h" comment="" date="1363855464" name="trabSMT.pdf" path="trabSMT.pdf" size="46729" stream="trabSMT.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="SMTsolvers.pdf" attr="h" comment="" date="1363856565" name="SMTsolvers.pdf" path="SMTsolvers.pdf" size="2696964" stream="SMTsolvers.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="DPLL_sat.tar.gz" attr="h" comment="" date="1363945444" name="DPLL_sat.tar.gz" path="DPLL_sat.tar.gz" size="10240" stream="DPLL_sat.tar.gz" user="Main.MariaJoaoFrade" version="1"

Material 45 - 21 Mar 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 36 to 36
 
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC (35 slides)
Changed:
<
<
  • Alcino Cunha. tinynew.gif Alloy: Under the Hood. Acetatos sobre semântica de lógica relacional, sistema de tipos e model finding. Para quem preferir código a notação matemática, pode consultar este programa em Haskell que implementa a semântica e o sistema de tipos.
>
>
  • Alcino Cunha. Alloy: Under the Hood. Acetatos sobre semântica de lógica relacional, sistema de tipos e model finding. Para quem preferir código a notação matemática, pode consultar este programa em Haskell que implementa a semântica e o sistema de tipos.
 
Changed:
<
<
  • Alcino Cunha. tinynew.gif A perspective on model checking. Acetatos sobre modelação, especificação e verificação de sistemas reactivos: estruturas de Kripke, redes de Petri, lógica temporal (LTL e CTL), verificação de modelos por enumeração exaustiva do espaço de estados e simbólica, ordered binary decision diagrams.
>
>
  • Alcino Cunha. A perspective on model checking. Acetatos sobre modelação, especificação e verificação de sistemas reactivos: estruturas de Kripke, redes de Petri, lógica temporal (LTL e CTL), verificação de modelos por enumeração exaustiva do espaço de estados e simbólica, ordered binary decision diagrams.
 
Line: 46 to 46
 
Changed:
<
<
>
>
 
Added:
>
>
 (A completar ao longo do curso)

Material 44 - 21 Mar 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 48 to 48
 
Added:
>
>
 (A completar ao longo do curso)
Line: 97 to 99
 
Added:
>
>

Enunciados dos trabalhos de VFS

 

Ferramentas

Line: 159 to 166
 
META FILEATTACHMENT attachment="mfes12131csi.pdf" attr="h" comment="" date="1362142371" name="mfes12131csi.pdf" path="mfes12131csi.pdf" size="166907" stream="mfes12131csi.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="PL+SAT.pdf" attr="h" comment="" date="1362738939" name="PL+SAT.pdf" path="PL+SAT.pdf" size="783362" stream="PL+SAT.pdf" user="Main.MariaJoaoFrade" version="2"
META FILEATTACHMENT attachment="FOL+SMT.pdf" attr="h" comment="" date="1363264987" name="FOL+SMT.pdf" path="FOL+SMT.pdf" size="574596" stream="FOL+SMT.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="trabSMT.pdf" attr="h" comment="" date="1363855464" name="trabSMT.pdf" path="trabSMT.pdf" size="46729" stream="trabSMT.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="SMTsolvers.pdf" attr="h" comment="" date="1363856565" name="SMTsolvers.pdf" path="SMTsolvers.pdf" size="2696964" stream="SMTsolvers.pdf" user="Main.MariaJoaoFrade" version="1"

Material 43 - 14 Mar 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 46 to 46
 
Added:
>
>
 (A completar ao longo do curso)
Line: 156 to 158
 
META FILEATTACHMENT attachment="formulario.pdf" attr="h" comment="" date="1360865698" name="formulario.pdf" path="formulario.pdf" size="181193" stream="formulario.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="mfes12131csi.pdf" attr="h" comment="" date="1362142371" name="mfes12131csi.pdf" path="mfes12131csi.pdf" size="166907" stream="mfes12131csi.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="PL+SAT.pdf" attr="h" comment="" date="1362738939" name="PL+SAT.pdf" path="PL+SAT.pdf" size="783362" stream="PL+SAT.pdf" user="Main.MariaJoaoFrade" version="2"
Added:
>
>
META FILEATTACHMENT attachment="FOL+SMT.pdf" attr="h" comment="" date="1363264987" name="FOL+SMT.pdf" path="FOL+SMT.pdf" size="574596" stream="FOL+SMT.pdf" user="Main.MariaJoaoFrade" version="1"

Material 42 - 08 Mar 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 155 to 155
 
META FILEATTACHMENT attachment="teste.pdf" attr="h" comment="" date="1360244017" name="teste.pdf" path="teste.pdf" size="78220" stream="teste.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="formulario.pdf" attr="h" comment="" date="1360865698" name="formulario.pdf" path="formulario.pdf" size="181193" stream="formulario.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="mfes12131csi.pdf" attr="h" comment="" date="1362142371" name="mfes12131csi.pdf" path="mfes12131csi.pdf" size="166907" stream="mfes12131csi.pdf" user="Main.JoseNunoOliveira" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="PL+SAT.pdf" attr="h" comment="" date="1362673229" name="PL+SAT.pdf" path="PL+SAT.pdf" size="783421" stream="PL+SAT.pdf" user="Main.MariaJoaoFrade" version="1"
>
>
META FILEATTACHMENT attachment="PL+SAT.pdf" attr="h" comment="" date="1362738939" name="PL+SAT.pdf" path="PL+SAT.pdf" size="783362" stream="PL+SAT.pdf" user="Main.MariaJoaoFrade" version="2"

Material 41 - 07 Mar 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 44 to 44
 
Added:
>
>
 (A completar ao longo do curso)
Line: 154 to 155
 
META FILEATTACHMENT attachment="teste.pdf" attr="h" comment="" date="1360244017" name="teste.pdf" path="teste.pdf" size="78220" stream="teste.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="formulario.pdf" attr="h" comment="" date="1360865698" name="formulario.pdf" path="formulario.pdf" size="181193" stream="formulario.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="mfes12131csi.pdf" attr="h" comment="" date="1362142371" name="mfes12131csi.pdf" path="mfes12131csi.pdf" size="166907" stream="mfes12131csi.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="PL+SAT.pdf" attr="h" comment="" date="1362673229" name="PL+SAT.pdf" path="PL+SAT.pdf" size="783421" stream="PL+SAT.pdf" user="Main.MariaJoaoFrade" version="1"

Material 40 - 01 Mar 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 88 to 88
 
Changed:
<
<

Testes

>
>

Enunciados de provas de avaliação individual

 
Added:
>
>
 

Ferramentas

Line: 118 to 118
 
Deleted:
<
<

Enunciados de provas de avaliação individual

(A fornecer ao longo do curso)

 
META FILEATTACHMENT attachment="Dependable_Software_by_Design.pdf" attr="h" comment="" date="1349175355" name="Dependable_Software_by_Design.pdf" path="Dependable_Software_by_Design.pdf" size="1762416" stream="Dependable_Software_by_Design.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="msdn02.pdf" attr="h" comment="" date="1349268055" name="msdn02.pdf" path="msdn02.pdf" size="913923" stream="msdn02.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="invariants.pdf" attr="h" comment="" date="1349290004" name="invariants.pdf" path="invariants.pdf" size="261921" stream="invariants.pdf" user="Main.JoseNunoOliveira" version="1"
Line: 157 to 153
 
META FILEATTACHMENT attachment="LTLvsCTL_trans.smv" attr="h" comment="" date="1355413801" name="LTLvsCTL_trans.smv" path="LTLvsCTL_trans.smv" size="330" stream="LTLvsCTL_trans.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="teste.pdf" attr="h" comment="" date="1360244017" name="teste.pdf" path="teste.pdf" size="78220" stream="teste.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="formulario.pdf" attr="h" comment="" date="1360865698" name="formulario.pdf" path="formulario.pdf" size="181193" stream="formulario.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="mfes12131csi.pdf" attr="h" comment="" date="1362142371" name="mfes12131csi.pdf" path="mfes12131csi.pdf" size="166907" stream="mfes12131csi.pdf" user="Main.JoseNunoOliveira" version="1"

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

Material disponível ou a disponibilizar:

Line: 82 to 82
 
Changed:
<
<

Exercícios

>
>

Exercícios e formulários

 
Added:
>
>
 

Testes


Material 38 - 14 Feb 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 154 to 154
 
META FILEATTACHMENT attachment="LTLvsCTL_assign.smv" attr="h" comment="" date="1355413790" name="LTLvsCTL_assign.smv" path="LTLvsCTL_assign.smv" size="402" stream="LTLvsCTL_assign.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="LTLvsCTL_trans.smv" attr="h" comment="" date="1355413801" name="LTLvsCTL_trans.smv" path="LTLvsCTL_trans.smv" size="330" stream="LTLvsCTL_trans.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="teste.pdf" attr="h" comment="" date="1360244017" name="teste.pdf" path="teste.pdf" size="78220" stream="teste.pdf" user="Main.AlcinoCunha" version="2"
Added:
>
>
META FILEATTACHMENT attachment="formulario.pdf" attr="h" comment="" date="1360865698" name="formulario.pdf" path="formulario.pdf" size="181193" stream="formulario.pdf" user="Main.JoseNunoOliveira" version="1"

Material 37 - 11 Feb 2013 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 55 to 55
 
Added:
>
>
 

Exemplos

  • Alloy

Material 36 - 07 Feb 2013 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 151 to 151
 
META FILEATTACHMENT attachment="petrinet.thm" attr="h" comment="" date="1355407923" name="petrinet.thm" path="petrinet.thm" size="930" stream="petrinet.thm" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="LTLvsCTL_assign.smv" attr="h" comment="" date="1355413790" name="LTLvsCTL_assign.smv" path="LTLvsCTL_assign.smv" size="402" stream="LTLvsCTL_assign.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="LTLvsCTL_trans.smv" attr="h" comment="" date="1355413801" name="LTLvsCTL_trans.smv" path="LTLvsCTL_trans.smv" size="330" stream="LTLvsCTL_trans.smv" user="Main.AlcinoCunha" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="teste.pdf" attr="h" comment="" date="1360231441" name="teste.pdf" path="teste.pdf" size="78220" stream="teste.pdf" user="Main.AlcinoCunha" version="1"
>
>
META FILEATTACHMENT attachment="teste.pdf" attr="h" comment="" date="1360244017" name="teste.pdf" path="teste.pdf" size="78220" stream="teste.pdf" user="Main.AlcinoCunha" version="2"

Material 35 - 07 Feb 2013 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 85 to 85
 
Added:
>
>

Testes

 

Ferramentas

Line: 147 to 151
 
META FILEATTACHMENT attachment="petrinet.thm" attr="h" comment="" date="1355407923" name="petrinet.thm" path="petrinet.thm" size="930" stream="petrinet.thm" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="LTLvsCTL_assign.smv" attr="h" comment="" date="1355413790" name="LTLvsCTL_assign.smv" path="LTLvsCTL_assign.smv" size="402" stream="LTLvsCTL_assign.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="LTLvsCTL_trans.smv" attr="h" comment="" date="1355413801" name="LTLvsCTL_trans.smv" path="LTLvsCTL_trans.smv" size="330" stream="LTLvsCTL_trans.smv" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="teste.pdf" attr="h" comment="" date="1360231441" name="teste.pdf" path="teste.pdf" size="78220" stream="teste.pdf" user="Main.AlcinoCunha" version="1"

Material 34 - 24 Jan 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 42 to 42
 
Changed:
<
<
  • J.N. Oliveira. PF-transform: using Galois connections to structure relational algebra (tinynew.gif 46 slides)
>
>
 (A completar ao longo do curso)

Material 33 - 17 Jan 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 40 to 40
 
  • Alcino Cunha. tinynew.gif A perspective on model checking. Acetatos sobre modelação, especificação e verificação de sistemas reactivos: estruturas de Kripke, redes de Petri, lógica temporal (LTL e CTL), verificação de modelos por enumeração exaustiva do espaço de estados e simbólica, ordered binary decision diagrams.
Changed:
<
<
>
>

  • J.N. Oliveira. PF-transform: using Galois connections to structure relational algebra (tinynew.gif 46 slides)
 (A completar ao longo do curso)

Material 32 - 03 Jan 2013 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 40 to 40
 
  • Alcino Cunha. tinynew.gif A perspective on model checking. Acetatos sobre modelação, especificação e verificação de sistemas reactivos: estruturas de Kripke, redes de Petri, lógica temporal (LTL e CTL), verificação de modelos por enumeração exaustiva do espaço de estados e simbólica, ordered binary decision diagrams.
Changed:
<
<
  • J.N. Oliveira. tinynew.gif Alloy meets the AoP: “relational thinking” at work (Part I) (45 slides)
>
>
 (A completar ao longo do curso)

Material 31 - 13 Dec 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Bibliografia

Changed:
<
<
>
>
 
  • C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986 (first edition). (345 pages)
Line: 12 to 12
 
Added:
>
>
 (A completar ao longo do curso)

Outros textos

Line: 72 to 74
 
Added:
>
>
 
Line: 102 to 105
 

Repositórios

Added:
>
>
 

Enunciados de provas de avaliação individual

Line: 139 to 143
 
META FILEATTACHMENT attachment="movethebox.thm" attr="h" comment="" date="1355241508" name="movethebox.thm" path="movethebox.thm" size="2288" stream="movethebox.thm" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="petrinet.als" attr="h" comment="" date="1355407383" name="petrinet.als" path="petrinet.als" size="1109" stream="petrinet.als" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="petrinet.thm" attr="h" comment="" date="1355407923" name="petrinet.thm" path="petrinet.thm" size="930" stream="petrinet.thm" user="Main.AlcinoCunha" version="2"
Added:
>
>
META FILEATTACHMENT attachment="LTLvsCTL_assign.smv" attr="h" comment="" date="1355413790" name="LTLvsCTL_assign.smv" path="LTLvsCTL_assign.smv" size="402" stream="LTLvsCTL_assign.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="LTLvsCTL_trans.smv" attr="h" comment="" date="1355413801" name="LTLvsCTL_trans.smv" path="LTLvsCTL_trans.smv" size="330" stream="LTLvsCTL_trans.smv" user="Main.AlcinoCunha" version="1"

Material 30 - 13 Dec 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 78 to 78
 

Exercícios

Changed:
<
<
>
>
 

Ferramentas

Line: 137 to 137
 
META FILEATTACHMENT attachment="semaphore.smv" attr="h" comment="" date="1355241030" name="semaphore.smv" path="semaphore.smv" size="598" stream="semaphore.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="movethebox.als" attr="h" comment="" date="1355241499" name="movethebox.als" path="movethebox.als" size="3220" stream="movethebox.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="movethebox.thm" attr="h" comment="" date="1355241508" name="movethebox.thm" path="movethebox.thm" size="2288" stream="movethebox.thm" user="Main.AlcinoCunha" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="petrinet.als" attr="h" comment="" date="1355243772" name="petrinet.als" path="petrinet.als" size="1066" stream="petrinet.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="petrinet.thm" attr="h" comment="" date="1355243781" name="petrinet.thm" path="petrinet.thm" size="855" stream="petrinet.thm" user="Main.AlcinoCunha" version="1"
>
>
META FILEATTACHMENT attachment="petrinet.als" attr="h" comment="" date="1355407383" name="petrinet.als" path="petrinet.als" size="1109" stream="petrinet.als" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="petrinet.thm" attr="h" comment="" date="1355407923" name="petrinet.thm" path="petrinet.thm" size="930" stream="petrinet.thm" user="Main.AlcinoCunha" version="2"

Material 29 - 13 Dec 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 77 to 77
 

Exercícios

Changed:
<
<
>
>
 

Ferramentas


Material 28 - 13 Dec 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 16 to 16
 

Outros textos

Changed:
<
<
  • J.N. Oliveira. tinynew.gif Program Design by Calculation. Departamento de Informática, Universidade do Minho. Capítulo segundo deste livro em preparação.
>
>
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Capítulo segundo deste livro em preparação.
 (A completar ao longo do curso)
Line: 32 to 32
 
  • J.N. Oliveira. “Theorems for free”: a (calculational) introduction (29 slides) (last update: Nov-2012)
Changed:
<
<
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC (35 tinynew.gif slides)
>
>
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC (35 slides)
 
  • Alcino Cunha. tinynew.gif Alloy: Under the Hood. Acetatos sobre semântica de lógica relacional, sistema de tipos e model finding. Para quem preferir código a notação matemática, pode consultar este programa em Haskell que implementa a semântica e o sistema de tipos.

  • Alcino Cunha. tinynew.gif A perspective on model checking. Acetatos sobre modelação, especificação e verificação de sistemas reactivos: estruturas de Kripke, redes de Petri, lógica temporal (LTL e CTL), verificação de modelos por enumeração exaustiva do espaço de estados e simbólica, ordered binary decision diagrams.
Added:
>
>
  • J.N. Oliveira. tinynew.gif Alloy meets the AoP: “relational thinking” at work (Part I) (45 slides)
 (A completar ao longo do curso)

Material 27 - 11 Dec 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 36 to 36
 
  • Alcino Cunha. tinynew.gif Alloy: Under the Hood. Acetatos sobre semântica de lógica relacional, sistema de tipos e model finding. Para quem preferir código a notação matemática, pode consultar este programa em Haskell que implementa a semântica e o sistema de tipos.
Added:
>
>
  • Alcino Cunha. tinynew.gif A perspective on model checking. Acetatos sobre modelação, especificação e verificação de sistemas reactivos: estruturas de Kripke, redes de Petri, lógica temporal (LTL e CTL), verificação de modelos por enumeração exaustiva do espaço de estados e simbólica, ordered binary decision diagrams.
 (A completar ao longo do curso)
Line: 50 to 52
 

Exemplos

  • Alloy
Changed:
<
<
>
>
 
Line: 61 to 63
 
Added:
>
>
 
Line: 71 to 80
 

Ferramentas

Added:
>
>
 
Line: 116 to 127
 
META FILEATTACHMENT attachment="farmer_dynamic_local_event_trace.als" attr="h" comment="" date="1352393542" name="farmer_dynamic_local_event_trace.als" path="farmer_dynamic_local_event_trace.als" size="1198" stream="farmer_dynamic_local_event_trace.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="Alloy_under_the_hood.pdf" attr="h" comment="" date="1354205858" name="Alloy_under_the_hood.pdf" path="Alloy_under_the_hood.pdf" size="255401" stream="Alloy_under_the_hood.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="Alloy.hs" attr="h" comment="" date="1354205871" name="Alloy.hs" path="Alloy.hs" size="13728" stream="Alloy.hs" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="model_checking.pdf" attr="h" comment="" date="1355240881" name="model_checking.pdf" path="model_checking.pdf" size="1155960" stream="model_checking.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="dekker.als" attr="h" comment="" date="1355240996" name="dekker.als" path="dekker.als" size="1397" stream="dekker.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="dekker.smv" attr="h" comment="" date="1355241010" name="dekker.smv" path="dekker.smv" size="1013" stream="dekker.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="semaphore.als" attr="h" comment="" date="1355241020" name="semaphore.als" path="semaphore.als" size="934" stream="semaphore.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="semaphore.smv" attr="h" comment="" date="1355241030" name="semaphore.smv" path="semaphore.smv" size="598" stream="semaphore.smv" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="movethebox.als" attr="h" comment="" date="1355241499" name="movethebox.als" path="movethebox.als" size="3220" stream="movethebox.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="movethebox.thm" attr="h" comment="" date="1355241508" name="movethebox.thm" path="movethebox.thm" size="2288" stream="movethebox.thm" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="petrinet.als" attr="h" comment="" date="1355243772" name="petrinet.als" path="petrinet.als" size="1066" stream="petrinet.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="petrinet.thm" attr="h" comment="" date="1355243781" name="petrinet.thm" path="petrinet.thm" size="855" stream="petrinet.thm" user="Main.AlcinoCunha" version="1"

Material 26 - 10 Dec 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 102 to 102
 
META FILEATTACHMENT attachment="exercises_static.pdf" attr="h" comment="" date="1350402913" name="exercises_static.pdf" path="exercises_static.pdf" size="81642" stream="exercises_static.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="Alloy.pdf" attr="h" comment="" date="1350402943" name="Alloy.pdf" path="Alloy.pdf" size="8505292" stream="Alloy.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="avo.als" attr="h" comment="" date="1350568461" name="avo.als" path="avo.als" size="437" stream="avo.als" user="Main.AlcinoCunha" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="exercises.pdf" attr="h" comment="" date="1352383185" name="exercises.pdf" path="exercises.pdf" size="96358" stream="exercises.pdf" user="Main.AlcinoCunha" version="2"
>
>
META FILEATTACHMENT attachment="exercises.pdf" attr="h" comment="" date="1355158719" name="exercises.pdf" path="exercises.pdf" size="96152" stream="exercises.pdf" user="Main.AlcinoCunha" version="3"
 
META FILEATTACHMENT attachment="book_lsi.als" attr="h" comment="" date="1351247522" name="book_lsi.als" path="book_lsi.als" size="2402" stream="book_lsi.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_static.als" attr="h" comment="" date="1352393435" name="book_static.als" path="book_static.als" size="260" stream="book_static.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_dynamic_local.als" attr="h" comment="" date="1352393445" name="book_dynamic_local.als" path="book_dynamic_local.als" size="384" stream="book_dynamic_local.als" user="Main.AlcinoCunha" version="1"

Material 25 - 06 Dec 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 32 to 32
 
  • J.N. Oliveira. “Theorems for free”: a (calculational) introduction (29 slides) (last update: Nov-2012)
Changed:
<
<
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC (32 slides)
>
>
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC (35 tinynew.gif slides)
 
  • Alcino Cunha. tinynew.gif Alloy: Under the Hood. Acetatos sobre semântica de lógica relacional, sistema de tipos e model finding. Para quem preferir código a notação matemática, pode consultar este programa em Haskell que implementa a semântica e o sistema de tipos.

Material 24 - 05 Dec 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 10 to 10
 
Added:
>
>
 (A completar ao longo do curso)

Outros textos

Line: 30 to 32
 
  • J.N. Oliveira. “Theorems for free”: a (calculational) introduction (29 slides) (last update: Nov-2012)
Changed:
<
<
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC tinynew.gif (32 slides)
>
>
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC (32 slides)
 
  • Alcino Cunha. tinynew.gif Alloy: Under the Hood. Acetatos sobre semântica de lógica relacional, sistema de tipos e model finding. Para quem preferir código a notação matemática, pode consultar este programa em Haskell que implementa a semântica e o sistema de tipos.

Material 23 - 29 Nov 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 32 to 32
 
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC tinynew.gif (32 slides)
Added:
>
>
  • Alcino Cunha. tinynew.gif Alloy: Under the Hood. Acetatos sobre semântica de lógica relacional, sistema de tipos e model finding. Para quem preferir código a notação matemática, pode consultar este programa em Haskell que implementa a semântica e o sistema de tipos.
 (A completar ao longo do curso)
Line: 111 to 112
 
META FILEATTACHMENT attachment="book_dynamic_global.als" attr="h" comment="" date="1352393519" name="book_dynamic_global.als" path="book_dynamic_global.als" size="394" stream="book_dynamic_global.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="farmer_static.als" attr="h" comment="" date="1352393529" name="farmer_static.als" path="farmer_static.als" size="385" stream="farmer_static.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="farmer_dynamic_local_event_trace.als" attr="h" comment="" date="1352393542" name="farmer_dynamic_local_event_trace.als" path="farmer_dynamic_local_event_trace.als" size="1198" stream="farmer_dynamic_local_event_trace.als" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Alloy_under_the_hood.pdf" attr="h" comment="" date="1354205858" name="Alloy_under_the_hood.pdf" path="Alloy_under_the_hood.pdf" size="255401" stream="Alloy_under_the_hood.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="Alloy.hs" attr="h" comment="" date="1354205871" name="Alloy.hs" path="Alloy.hs" size="13728" stream="Alloy.hs" user="Main.AlcinoCunha" version="1"

Material 22 - 21 Nov 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 28 to 28
 
  • J.N. Oliveira. PF transform: when everything becomes a relation (57 slides) (last update: Oct-2012)
Changed:
<
<
  • J.N. Oliveira. “Theorems for free”: a (calculational) introduction tinynew.gif (29 slides) (last update: Nov-2012)
>
>
  • J.N. Oliveira. “Theorems for free”: a (calculational) introduction (29 slides) (last update: Nov-2012)
 
Added:
>
>
  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC tinynew.gif (32 slides)
 (A completar ao longo do curso)

Material 21 - 08 Nov 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 45 to 45
 

Exemplos

  • Alloy
Deleted:
<
<
 
Changed:
<
<
>
>
 

Exercícios

Line: 90 to 100
 
META FILEATTACHMENT attachment="avo.als" attr="h" comment="" date="1350568461" name="avo.als" path="avo.als" size="437" stream="avo.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="exercises.pdf" attr="h" comment="" date="1352383185" name="exercises.pdf" path="exercises.pdf" size="96358" stream="exercises.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="book_lsi.als" attr="h" comment="" date="1351247522" name="book_lsi.als" path="book_lsi.als" size="2402" stream="book_lsi.als" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="book_static.als" attr="h" comment="" date="1352393435" name="book_static.als" path="book_static.als" size="260" stream="book_static.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_dynamic_local.als" attr="h" comment="" date="1352393445" name="book_dynamic_local.als" path="book_dynamic_local.als" size="384" stream="book_dynamic_local.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_dynamic_local_predicate.als" attr="h" comment="" date="1352393457" name="book_dynamic_local_predicate.als" path="book_dynamic_local_predicate.als" size="667" stream="book_dynamic_local_predicate.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_dynamic_local_predicate_trace.als" attr="h" comment="" date="1352393467" name="book_dynamic_local_predicate_trace.als" path="book_dynamic_local_predicate_trace.als" size="818" stream="book_dynamic_local_predicate_trace.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_dynamic_local_event.als" attr="h" comment="" date="1352393485" name="book_dynamic_local_event.als" path="book_dynamic_local_event.als" size="781" stream="book_dynamic_local_event.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_dynamic_local_event_trace.als" attr="h" comment="" date="1352393495" name="book_dynamic_local_event_trace.als" path="book_dynamic_local_event_trace.als" size="1080" stream="book_dynamic_local_event_trace.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_dynamic_local_event_reiter.als" attr="h" comment="" date="1352393506" name="book_dynamic_local_event_reiter.als" path="book_dynamic_local_event_reiter.als" size="837" stream="book_dynamic_local_event_reiter.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="book_dynamic_global.als" attr="h" comment="" date="1352393519" name="book_dynamic_global.als" path="book_dynamic_global.als" size="394" stream="book_dynamic_global.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="farmer_static.als" attr="h" comment="" date="1352393529" name="farmer_static.als" path="farmer_static.als" size="385" stream="farmer_static.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="farmer_dynamic_local_event_trace.als" attr="h" comment="" date="1352393542" name="farmer_dynamic_local_event_trace.als" path="farmer_dynamic_local_event_trace.als" size="1198" stream="farmer_dynamic_local_event_trace.als" user="Main.AlcinoCunha" version="1"

Material 20 - 08 Nov 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 88 to 88
 
META FILEATTACHMENT attachment="exercises_static.pdf" attr="h" comment="" date="1350402913" name="exercises_static.pdf" path="exercises_static.pdf" size="81642" stream="exercises_static.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="Alloy.pdf" attr="h" comment="" date="1350402943" name="Alloy.pdf" path="Alloy.pdf" size="8505292" stream="Alloy.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="avo.als" attr="h" comment="" date="1350568461" name="avo.als" path="avo.als" size="437" stream="avo.als" user="Main.AlcinoCunha" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="exercises.pdf" attr="h" comment="" date="1351178323" name="exercises.pdf" path="exercises.pdf" size="85464" stream="exercises.pdf" user="Main.AlcinoCunha" version="1"
>
>
META FILEATTACHMENT attachment="exercises.pdf" attr="h" comment="" date="1352383185" name="exercises.pdf" path="exercises.pdf" size="96358" stream="exercises.pdf" user="Main.AlcinoCunha" version="2"
 
META FILEATTACHMENT attachment="book_lsi.als" attr="h" comment="" date="1351247522" name="book_lsi.als" path="book_lsi.als" size="2402" stream="book_lsi.als" user="Main.AlcinoCunha" version="1"

Material 19 - 07 Nov 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 26 to 26
 
  • Alcino Cunha. An introduction to Alloy. Acetatos ligeiramente desactualizados no que respeita à modelação de sistemas dinâmicos.
Changed:
<
<
  • J.N. Oliveira. PF transform: when everything becomes a relation tinynew.gif (57 slides) (last update: Oct-2012)
>
>
  • J.N. Oliveira. PF transform: when everything becomes a relation (57 slides) (last update: Oct-2012)

  • J.N. Oliveira. “Theorems for free”: a (calculational) introduction tinynew.gif (29 slides) (last update: Nov-2012)
 (A completar ao longo do curso)

Material 18 - 26 Oct 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 44 to 44
 
Added:
>
>
 

Exercícios

Line: 85 to 86
 
META FILEATTACHMENT attachment="Alloy.pdf" attr="h" comment="" date="1350402943" name="Alloy.pdf" path="Alloy.pdf" size="8505292" stream="Alloy.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="avo.als" attr="h" comment="" date="1350568461" name="avo.als" path="avo.als" size="437" stream="avo.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="exercises.pdf" attr="h" comment="" date="1351178323" name="exercises.pdf" path="exercises.pdf" size="85464" stream="exercises.pdf" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="book_lsi.als" attr="h" comment="" date="1351247522" name="book_lsi.als" path="book_lsi.als" size="2402" stream="book_lsi.als" user="Main.AlcinoCunha" version="1"

Material 17 - 25 Oct 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 47 to 47
 

Exercícios

Changed:
<
<
>
>
 

Ferramentas

Line: 84 to 84
 
META FILEATTACHMENT attachment="exercises_static.pdf" attr="h" comment="" date="1350402913" name="exercises_static.pdf" path="exercises_static.pdf" size="81642" stream="exercises_static.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="Alloy.pdf" attr="h" comment="" date="1350402943" name="Alloy.pdf" path="Alloy.pdf" size="8505292" stream="Alloy.pdf" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="avo.als" attr="h" comment="" date="1350568461" name="avo.als" path="avo.als" size="437" stream="avo.als" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="exercises.pdf" attr="h" comment="" date="1351178323" name="exercises.pdf" path="exercises.pdf" size="85464" stream="exercises.pdf" user="Main.AlcinoCunha" version="1"

Material 16 - 25 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 12 to 12
 (A completar ao longo do curso)
Added:
>
>

Outros textos

  • J.N. Oliveira. tinynew.gif Program Design by Calculation. Departamento de Informática, Universidade do Minho. Capítulo segundo deste livro em preparação.

(A completar ao longo do curso)

 

Acetatos

  • J.N. Oliveira. Data type invariants: starting where (static) type checking stops (31 slides) 2012.

Material 15 - 18 Oct 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 37 to 37
 
Added:
>
>
 

Exercícios

Line: 76 to 77
 
META FILEATTACHMENT attachment="Book.als" attr="h" comment="" date="1350397036" name="Book.als" path="Book.als" size="481" stream="Book.als" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="exercises_static.pdf" attr="h" comment="" date="1350402913" name="exercises_static.pdf" path="exercises_static.pdf" size="81642" stream="exercises_static.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="Alloy.pdf" attr="h" comment="" date="1350402943" name="Alloy.pdf" path="Alloy.pdf" size="8505292" stream="Alloy.pdf" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="avo.als" attr="h" comment="" date="1350568461" name="avo.als" path="avo.als" size="437" stream="avo.als" user="Main.AlcinoCunha" version="1"

Material 14 - 17 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 12 to 12
 (A completar ao longo do curso)
Deleted:
<
<

Divulgação

  • Eric Bouwers, Joost Visser, Arie van Deursen. Getting What You measure. Communications of the ACM (CACM) 55(7):54-59, July 2012.

 

Acetatos

  • J.N. Oliveira. Data type invariants: starting where (static) type checking stops (31 slides) 2012.
Changed:
<
<
  • J.N. Oliveira. Pre / post-conditions -- starting where (pure) functions stop tinynew.gif (35 slides) (updated 2012)
>
>
  • J.N. Oliveira. Pre / post-conditions -- starting where (pure) functions stop (35 slides) (updated 2012)
 
  • Alcino Cunha. An introduction to Alloy. Acetatos ligeiramente desactualizados no que respeita à modelação de sistemas dinâmicos.
Added:
>
>
  • J.N. Oliveira. PF transform: when everything becomes a relation tinynew.gif (57 slides) (last update: Oct-2012)
 (A completar ao longo do curso)
Added:
>
>

Divulgação

  • Eric Bouwers, Joost Visser, Arie van Deursen. Getting What You measure. Communications of the ACM (CACM) 55(7):54-59, July 2012.

 

Exemplos

  • Alloy

Material 13 - 17 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 14 to 14
 

Divulgação

Changed:
<
<
>
>

  • Eric Bouwers, Joost Visser, Arie van Deursen. Getting What You measure. Communications of the ACM (CACM) 55(7):54-59, July 2012.
 

Material 12 - 16 Oct 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 24 to 24
 
  • J.N. Oliveira. Pre / post-conditions -- starting where (pure) functions stop tinynew.gif (35 slides) (updated 2012)
Added:
>
>
  • Alcino Cunha. An introduction to Alloy. Acetatos ligeiramente desactualizados no que respeita à modelação de sistemas dinâmicos.
 (A completar ao longo do curso)

Exemplos

Line: 31 to 34
 
Added:
>
>

Exercícios

 
Changed:
<
<
(A fornecer ao longo do curso)
>
>
 

Ferramentas

Line: 65 to 70
 
META FILEATTACHMENT attachment="invariants.pdf" attr="h" comment="" date="1349290004" name="invariants.pdf" path="invariants.pdf" size="261921" stream="invariants.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="prepost.pdf" attr="h" comment="" date="1349941711" name="prepost.pdf" path="prepost.pdf" size="260106" stream="prepost.pdf" user="Main.JoseNunoOliveira" version="2"
META FILEATTACHMENT attachment="Book.als" attr="h" comment="" date="1350397036" name="Book.als" path="Book.als" size="481" stream="Book.als" user="Main.AlcinoCunha" version="1"
Added:
>
>
META FILEATTACHMENT attachment="exercises_static.pdf" attr="h" comment="" date="1350402913" name="exercises_static.pdf" path="exercises_static.pdf" size="81642" stream="exercises_static.pdf" user="Main.AlcinoCunha" version="2"
META FILEATTACHMENT attachment="Alloy.pdf" attr="h" comment="" date="1350402943" name="Alloy.pdf" path="Alloy.pdf" size="8505292" stream="Alloy.pdf" user="Main.AlcinoCunha" version="1"

Material 11 - 16 Oct 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 8 to 8
 
  • C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986 (first edition). (345 pages)
Added:
>
>
 (A completar ao longo do curso)

Divulgação

Line: 26 to 28
 

Exemplos

Added:
>
>
 (A fornecer ao longo do curso)

Ferramentas

Line: 58 to 64
 
META FILEATTACHMENT attachment="msdn02.pdf" attr="h" comment="" date="1349268055" name="msdn02.pdf" path="msdn02.pdf" size="913923" stream="msdn02.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="invariants.pdf" attr="h" comment="" date="1349290004" name="invariants.pdf" path="invariants.pdf" size="261921" stream="invariants.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="prepost.pdf" attr="h" comment="" date="1349941711" name="prepost.pdf" path="prepost.pdf" size="260106" stream="prepost.pdf" user="Main.JoseNunoOliveira" version="2"
Added:
>
>
META FILEATTACHMENT attachment="Book.als" attr="h" comment="" date="1350397036" name="Book.als" path="Book.als" size="481" stream="Book.als" user="Main.AlcinoCunha" version="1"

Material 10 - 15 Oct 2012 - Main.AlcinoCunha
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Bibliografia

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

Material 9 - 11 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 57 to 57
 
META FILEATTACHMENT attachment="Dependable_Software_by_Design.pdf" attr="h" comment="" date="1349175355" name="Dependable_Software_by_Design.pdf" path="Dependable_Software_by_Design.pdf" size="1762416" stream="Dependable_Software_by_Design.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="msdn02.pdf" attr="h" comment="" date="1349268055" name="msdn02.pdf" path="msdn02.pdf" size="913923" stream="msdn02.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="invariants.pdf" attr="h" comment="" date="1349290004" name="invariants.pdf" path="invariants.pdf" size="261921" stream="invariants.pdf" user="Main.JoseNunoOliveira" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="prepost.pdf" attr="h" comment="" date="1349890658" name="prepost.pdf" path="prepost.pdf" size="260114" stream="prepost.pdf" user="Main.JoseNunoOliveira" version="1"
>
>
META FILEATTACHMENT attachment="prepost.pdf" attr="h" comment="" date="1349941711" name="prepost.pdf" path="prepost.pdf" size="260106" stream="prepost.pdf" user="Main.JoseNunoOliveira" version="2"

Material 8 - 10 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 18 to 18
 

Acetatos

Changed:
<
<
  • J.N. Oliveira. tinynew.gif Data type invariants: starting where (static) type checking stops (31 slides) 2012
>
>
  • J.N. Oliveira. Data type invariants: starting where (static) type checking stops (31 slides) 2012.

  • J.N. Oliveira. Pre / post-conditions -- starting where (pure) functions stop tinynew.gif (35 slides) (updated 2012)
 (A completar ao longo do curso)
Line: 55 to 57
 
META FILEATTACHMENT attachment="Dependable_Software_by_Design.pdf" attr="h" comment="" date="1349175355" name="Dependable_Software_by_Design.pdf" path="Dependable_Software_by_Design.pdf" size="1762416" stream="Dependable_Software_by_Design.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="msdn02.pdf" attr="h" comment="" date="1349268055" name="msdn02.pdf" path="msdn02.pdf" size="913923" stream="msdn02.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="invariants.pdf" attr="h" comment="" date="1349290004" name="invariants.pdf" path="invariants.pdf" size="261921" stream="invariants.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="prepost.pdf" attr="h" comment="" date="1349890658" name="prepost.pdf" path="prepost.pdf" size="260114" stream="prepost.pdf" user="Main.JoseNunoOliveira" version="1"

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

Material disponível ou a disponibilizar:

Line: 36 to 36
 
Added:
>
>

Vídeos

 

Repositórios


Material 6 - 03 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 18 to 18
 

Acetatos

Changed:
<
<
(A fornecer ao longo do curso)
>
>
  • J.N. Oliveira. tinynew.gif Data type invariants: starting where (static) type checking stops (31 slides) 2012

(A completar ao longo do curso)

 

Exemplos

Line: 45 to 47
 
META FILEATTACHMENT attachment="Dependable_Software_by_Design.pdf" attr="h" comment="" date="1349175355" name="Dependable_Software_by_Design.pdf" path="Dependable_Software_by_Design.pdf" size="1762416" stream="Dependable_Software_by_Design.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="msdn02.pdf" attr="h" comment="" date="1349268055" name="msdn02.pdf" path="msdn02.pdf" size="913923" stream="msdn02.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="invariants.pdf" attr="h" comment="" date="1349290004" name="invariants.pdf" path="invariants.pdf" size="261921" stream="invariants.pdf" user="Main.JoseNunoOliveira" version="1"

Material 5 - 03 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 14 to 14
 
Added:
>
>
 

Acetatos

Line: 43 to 44
 (A fornecer ao longo do curso)

META FILEATTACHMENT attachment="Dependable_Software_by_Design.pdf" attr="h" comment="" date="1349175355" name="Dependable_Software_by_Design.pdf" path="Dependable_Software_by_Design.pdf" size="1762416" stream="Dependable_Software_by_Design.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="msdn02.pdf" attr="h" comment="" date="1349268055" name="msdn02.pdf" path="msdn02.pdf" size="913923" stream="msdn02.pdf" user="Main.JoseNunoOliveira" version="1"

Material 4 - 02 Oct 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material disponível ou a disponibilizar:

Line: 12 to 12
 

Divulgação

Changed:
<
<
(A fornecer ao longo do curso)
>
>
 

Acetatos

Line: 25 to 26
 

Ferramentas

Added:
>
>
 
Deleted:
<
<
 

Repositórios

Line: 40 to 41
 

Enunciados de provas de avaliação individual

(A fornecer ao longo do curso)

Added:
>
>
META FILEATTACHMENT attachment="Dependable_Software_by_Design.pdf" attr="h" comment="" date="1349175355" name="Dependable_Software_by_Design.pdf" path="Dependable_Software_by_Design.pdf" size="1762416" stream="Dependable_Software_by_Design.pdf" user="Main.JoseNunoOliveira" version="1"

Material 3 - 27 Sep 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Added:
>
>

Material disponível ou a disponibilizar:

 
Changed:
<
<
A fornecer ao longo do funcionamento da UC.
>
>

Bibliografia

 
Added:
>
>
 
Deleted:
<
<
-- JoseNunoOliveira - 13 Sep 2012
 \ No newline at end of file
Added:
>
>
  • C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986 (first edition). (345 pages)

(A completar ao longo do curso)

Divulgação

(A fornecer ao longo do curso)

Acetatos

(A fornecer ao longo do curso)

Exemplos

(A fornecer ao longo do curso)

Ferramentas

Repositórios

Enunciados de provas de avaliação individual

(A fornecer ao longo do curso)


Material 2 - 25 Sep 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<
>
>
A fornecer ao longo do funcionamento da UC.
 

-- JoseNunoOliveira - 13 Sep 2012 \ No newline at end of file


Material 1 - 13 Sep 2012 - Main.JoseNunoOliveira
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

-- JoseNunoOliveira - 13 Sep 2012


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