| # | Data | Título | Material |
|---|---|---|---|
| 1 | [20140722] | Introdução | Slides |
| 2 | [20140724] | Qualidade de especificação | Slides |
| 3 | [20140729] | Especificações informais | Slides |
| 4 | [20140731] | CFG, DFD | Slides |
| 5 | [20140805] | UML - I | Slides |
| 6 | [20140807] | UML - II | Slides |
| 7 | [20140812] | Autômatos, Redes de Petri | Slides |
| 8 | [20140814] | Conjuntos, Funções, Relações | Slides |
| 9 | [20140820] | Lógica | Slides |
| 10 | [20140822] | Semântica I | Slides |
| 11 | [20140824] | Semântica II | Slides |
| 12 | [20140830] | Semântica IIbis | idem |
| 13 | [20140902] | Tipagem I | Slides |
| 14 | [20140904] | Tipagem II | idem (sem subtipagem) |
| 15 | [20140923] | Programação por contrato | Slides |
| 16 | [20140925] | Lógica de Hoare | Slides, Soluções |
| 17 | [20140930] | Frama-C | Slides |
| 18 | [20141002] | Lab 1 | Lab |
| 19 | [20141007] | Lab 2 | – |
| 20 | [20141009] | Lab 3 | – |
| 21 | [20141014] | Resolução e método tableaux | Slides |
| 22 | [20141016] | Avaliação I | – |
| 23 | [20141021] | DPLL | Slides |
| 24 | [20141023] | Revisões e introdução ao teste | Slides |
| 25 | [20141030] | Teste de caixa preta | Slides |
| 26 | [20141104] | Teste de caixa branca: critérios de cobertura | Slides, Exercícios |
| 27 | [20141106] | Teste de caixa branca: mutações | Slides, Exercícios |
| 28 | [20141111] | Lab 4 | Lab, Arquivos |
| 29 | [20141113] | Lab 5 | Lab |
| 30 | [20141115] | Intepretação abstrata 1 | Slides |
| 31 | [20141118] | Intepretação abstrata 2 | Slides |
| 32 | [20141122] | Lab 6 | Lab, Arquivos |
| 33 | [20141125] | Lab 7 | – |
| 34 | [20141127] | Avaliação II | – |
| 35 | [20141202] | Apresentações | – |
| 36 | [20141204] | Apresentações | – |