| Data |
Descrição |
Ficheiro(s)
|
|---|
| 2007.10.04 |
Dependable Software by Design, por Daniel Jackson
(Scientific American, Junho de 2006, 8 págs). |
Dependable_Software_by_Design.pdf
 |
| 2007.10.06 |
An Introduction to Formal Modelling |
ifmsl.pdf
(22 transparentes). |
| 2007.10.11 |
Modelling in VDM-SL |
VDM1.ppt
(29 transparentes). |
| 2007.10.12 |
Data type invariants: starting where (static) type checking stops |
invariants.pdf
(21 transparentes). |
| 2007.10.16 |
Pre / post-conditions -- starting where (pure) functions stop |
prepost.pdf
(29 transparentes). |
| 2007.10.20 |
Exemplos VDM-SL estudados nas aulas |
exVDMSL.zip |
| 2007.10.29 |
Exemplos Alloy da aula de 25 de Outubro |
exAlloy1.zip |
| 2007.11.07 |
Objectification -- from functional to state-based models |
objectif.pdf
(24 transparentes). |
| 2007.11.07 |
Why a ``pointfree'' (PF) transform |
whypft.pdf
(27 transparentes). |
| 2007.11.13 |
Exemplos Alloy da aula de 8 de Novembro |
exAlloy2.zip |
| 2007.11.14 |
PF transform: when everything becomes a relation |
pftrel.pdf
(34 transparentes). |
| 2007.11.29 |
Software Analysis and Testing |
2007-SIG-UM-MFES-Lecture-1.pdf
(22 transparentes). |
| 2007.12.11 |
Software Analysis and Testing |
2007-SIG-UM-MFES-Lecture-2.pdf
(53 transparentes). |
| 2007.12.18 |
GUI Testing |
UMinhoGUITesting.pdf
(43 transparentes). |
| 2008.01.19 |
JML |
JML.pdf
(27 transparentes). |
| 2008.01.24 |
Construção e Teste de Modelos Executáveis Integrando VDM++e UML |
VDM_UML.pdf
(131 transparentes). |
| 2008.02.03 |
PF transform: conditions and coreflexives for ESC |
pftcond.pdf
(27 transparentes). |
| 2008.02.03 |
Foundations of the PF relational calculus |
pftgc.pdf
(21 transparentes). |
| 2008.02.03 |
Exemplos VDM++ das aulas |
VDMppExamples.zip |
| 2008.02.03 |
Formal Methods for Exquisite Systems -- Embedded and Distributed Real-Time |
DRTSSlides.pdf
(48 transparentes). |
| 2008.02.18 |
Formulário do cálculo relacional |
relcalc.pdf
|
| 2008.03.13 |
``Theorems for free'': a (calculational) introduction |
tffsl.pdf
(26 transparentes). |
| 2008.03.25 |
Software components and architectures |
handout1.pdf
(44 transparentes). |
| 2008.03.25 |
Arquitectura de software: 6 artigos para analisar |
PapersDiscuss.tar.gz |
| 2008.04.03 |
Proof obligation discharge using the PF transform |
npfesc.pdf
(49 transparentes). |
| 2008.04.09 |
Coalgebra and coinduction (I) |
handout2.pdf
(70 transparentes). |
| 2008.05.04 |
Coalgebra and coinduction (II) |
handout3.pdf
(70 transparentes). |
| 2008.05.04 |
Modelação de Processos em CCS |
Processes1.pdf
(26 páginas) |
| 2008.05.04 |
Cálculo de Processos |
Processes2.pdf
(26 páginas) |
| 2008.05.04 |
Animação de Processos no CWB-NC |
Processes3.pdf
(7 páginas) |
| 2008.06.02 |
O Pi-Calculus |
Processes4.pdf
(19 páginas) |
