Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2011/12)

Tópicos

Avisos

28 Mar - Definidas as tutorias e supervisões dos grupos de tinynew.gif Projecto integrado.

29 Jan - A notas finais do módulo de Lógica (AMT) estão publicadas em Funcionamento.

12 Dez - Data limite para a entrega do relatório sobre a ficha prática de Lógica: 15 Jan 2012

07 Dez - A aula suplementar no próximo dia 09-Dez (sexta feira), das 9h00 às 18h00, terá lugar na sala

Índice do material disponível:

Bibliografia

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

(Mais bibliografia a adicionar à medida que as aulas prossigam)

Divulgação

Acetatos

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

  • J.N. Oliveira. Pre / post-conditions -- starting where (pure) functions stop (31 slides) (updated 2011)

  • J.N. Oliveira. PF transform: when everything becomes a relation (54 slides) (updated: 8-12-2011)

  • J.N. Oliveira. PF transform: conditions and coreflexives for ESC (28 slides)

  • J.N. Oliveira. PF-transform: using Galois connections to structure relational algebra (35 slides)

  • J.N. Oliveira. “Theorems for free”: a (calculational) introduction (27 slides)

  • J.N. Oliveira. PF-notation and Alloy: "Relational thinking'' at work (50 slides)

(Mais acetatos a adicionar à medida que as aulas prossigam)

Modulo PAS (Software architecture for reactive systems)

Acetatos e Notas

Apoio

Exemplos

Exercícios

Ferramentas

Repositórios

Enunciados de provas de avaliação individual

r36 - 27 Feb 2013 - 11:24:30 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM