| Email |
richard_at_dimap.ufrn.br |
| Sala |
DIMAp 6 |
| Telefone |
Ramal 216 |
| Atendimento |
3as 14:00 — 16:30 |
Horário e sala
2014.2 : 3as e 5as 10:50 – 13:30, 3A4
Apresentação de artigos
02/12
- Data Flow Analysis in Software Reliability L.Fosdick, L.Osterwell, 1976
- Proof-Carrying Code G. Necula, 1996
- Points-to Analysis in Almost Linear Time B. Steensgaard, 1996
04/12
- The Temporal logic of Programs A. Pnueli, 1977
- Typestate: A Programming language concept for enhancing software reliability R. Strom, S. Yemini, 1986
- Verification of object-oriented programs with invariants M. Barnett, R. DeLine , M. Fahndrich, K.R.M. Leino, W. Schulte, 2004
Aulas
| 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 LCC |
Lab |
| 19 |
[20141007] |
Lab 2 LCC |
|
| 20 |
[20141009] |
Lab 3 LCC |
|
| 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 LCC |
Lab , Arquivos |
| 29 |
[20141113] |
Lab 5 LCC |
Lab |
| 30 |
[20141115] |
Intepretação abstrata 1 |
Slides, |
| 31 |
[20141118] |
Intepretação abstrata 2 |
Slides, |
| 32 |
[20141122] |
Lab 6 LCC |
Lab , Arquivos |
| 33 |
[20141125] |
Lab 7 LCC |
|
| 34 |
[20141127] |
Avaliação II |
|
| 35 |
[20141202] |
Apresentações |
Veja o programa |
| 36 |
[20141204] |
Apresentações |
Veja o programa |
| - |
[20141211] |
Reposição |
|