U.Minho Métodos Formais em Engenharia de Software - 2007/08
[ DI/UM ]

[ Contacto | Equipa docente | Horário | Alunos | Regime de Avaliação | Programa resumido | Sumários
Projecto Integrado | Material Pedagógico | Bibliografia | Provas de Avaliação | Classificações ]

  A equipa docente

  Horário

Às quintas feiras, na sala DI-1.08, em três sessões (9h00-12h00, 13h00-16h00, 16h00-19h00)

  Os alunos

Da esquerda para a direita: Ricardo Romano, Ricardo Fortunas, Gonçalo Veiga, Pedro José Henriques, Diana Castro, José Pedro Gonçalves, Pedro Russo, Rui Freitas, Diogo Martins, Hélder Pereira, Gil Veiga e Eduardo Brito.

  Regime de Avaliação

  Projecto Integrado

  Material Pedagógico

Para cada data indica-se o material posto à disposição dos alunos:

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)

  Bibliografia

L*07
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
Reactive Systems: Modelling, Specification and Verification
ISBN-13: 9780521875462, published by Cambridge University Press.

FL98
J. Fitzgerald and P.G. Larsen.
Modelling Systems: Practical Tools and Techniques.
Cambridge University Press, 1st edition, 1998.

F*05
John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, and Marcel Verhoef.
Validated Designs for Object-oriented Systems.
Springer, New York, 2005.

Ja06
Daniel Jackson.
Software abstractions : logic, language, and analysis.
The MIT Press, Cambridge Mass., 2006.
ISBN 0-262-10114-9.

Jon86
C. B. Jones.
Systematic Software Development Using VDM. (PDF)
Series in Computer Science. Prentice-Hall International, 1986.
C. A. R. Hoare.

Mi99
Robin Milner
Communicating and mobile systems: the pi calculus
ISBN 052164320, Cambridge University Press, 1999.

Ol07
J.N. Oliveira.
Data Transformation by Calculation
(Post-proceedings version: PDF).
In GTTSE 2007 Proceedings, pages 139-198, June 2007.
International Summer School, July 2-7.
Tutorial slides: (PDF).

UK07
Mark Utting, Bruno Legeard
Practical Model-Based Testing: A Tools Approach.
Morgan Kaufmann, 2007. ISBN-10: 0123725011; ISBN-13: 978-0123725011.

SW01
Davide Sangiorgi, David Walker
The pi calculus: A Theory of Mobile Processes
ISBN 0521781779, Cambridge University Press, 2001.

  Provas de Avaliação

Prova Módulo Data Hora Salas Inscritos Enunciado
Teste de frequência MF 5.-feira, 21-Fev 09h30 DI 1.08   pdf
Teste de laboratório ATS 5.-feira, 21-Fev 14h30 DI 1.08   pdf
Teste de frequência CSI 5.-feira, 10-Jul 09h30 DI 1.08   pdf
Teste de frequência PAS 5.-feira, 10-Jul 13h45 DI 1.08   pdf
Exame de recurso MF+CSI 5.-feira, 24-Jul 09h00 DI 1.08   pdf

  Classificações

Classificações finais:

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



J. Nuno Oliveira 2009-02-26