Métodos Formais em Engenharia de Software - 2007/08 | |
---|---|
[ DI/UM ] |
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) |
Prova | Módulo | Data | Hora | Salas | Inscritos | Enunciado |
---|---|---|---|---|---|---|
Teste de frequência | MF | 5.ª-feira, 21-Fev | 09h30 | DI 1.08 | ||
Teste de laboratório | ATS | 5.ª-feira, 21-Fev | 14h30 | DI 1.08 | ||
Teste de frequência | CSI | 5.ª-feira, 10-Jul | 09h30 | DI 1.08 | ||
Teste de frequência | PAS | 5.ª-feira, 10-Jul | 13h45 | DI 1.08 | ||
Exame de recurso | MF+CSI | 5.ª-feira, 24-Jul | 09h00 | DI 1.08 |
Nr | Classificação |
---|---|
10908 | 14 |
10910 | 14 |
10915 | 13 |
10934 | R |
11023 | 10 |
11045 | R |
11130 | 14 |
11152 | 17 |
12004 | R |
33220 | 13 |
40613 | 10 |
12188 | 16 |