De MediaWiki do Campus São José
Ir para navegação
Ir para pesquisar
Semestre 2015-2 - Prof. Marcelo Maia Sobral
|
Aula
|
Data
|
Horas
|
Conteúdo
|
Recursos
|
1 |
/ |
2 |
Caracterização de protocolos por meio de um exemplo: sintaxe, comportamento, temporização, semântica. Princípios de projeto e propriedades desejáveis de protocolos. Análise de um protocolo real. |
Lab. Programação
|
2 |
/ |
2 |
Projeto 1: um protocolo de aplicação; especificação e modelagem informal do protocolo |
Lab. Programação
|
3 |
/ |
2 |
Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos |
Lab. Programação
|
4 |
/ |
2 |
Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização |
Lab. Programação
|
5 |
/ |
2 |
Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização |
Lab. Programação
|
6 |
/ |
2 |
Projeto 1: vocabulário e gramática do protocolo; sintaxe: representação textual, ASN.1 |
Lab. Programação
|
7 |
/ |
2 |
Projeto 1: vocabulário e gramática do protocolo; sintaxe: ASN.1 |
Lab. Programação
|
8 |
/ |
2 |
Projeto 1: vocabulário e gramática do protocolo; sintaxe: ASN.1 |
Lab. Programação
|
9 |
/ |
2 |
Projeto 1: implementação |
Lab. Programação
|
10 |
/ |
2 |
Projeto 1: implementação |
Lab. Programação
|
11 |
/ |
2 |
Projeto 1: validação do protocolo; simulação |
Lab. Programação
|
12 |
/ |
2 |
Projeto 1: validação do protocolo; simulação |
Lab. Programação
|
13 |
/ |
2 |
Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas |
Lab. Programação
|
14 |
/ |
2 |
Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas |
Lab. Programação
|
15 |
/ |
2 |
Projeto 1: validação do protocolo; verificação de modelo (model checking) |
Lab. Programação
|
16 |
/ |
2 |
Projeto 1: validação do protocolo; verificação de modelo (model checking) |
Lab. Programação
|
17 |
/ |
2 |
Avaliação 1 |
Lab. Programação
|
18 |
/ |
2 |
Projeto 2: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis |
Lab. Programação
|
19 |
/ |
2 |
Projeto 2: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem |
Lab. Programação
|
20 |
/ |
2 |
Projeto 2: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem |
Lab. Programação
|
21 |
/ |
2 |
Projeto 2: vocabulário e gramática; sintaxe e modelagem do comportamento do protocolo |
Lab. Programação
|
22 |
/ |
2 |
Projeto 2: validação do protocolo; verificação de modelo (model checking) |
Lab. Programação
|
23 |
/ |
2 |
Projeto 2: implementação |
Lab. Programação
|
24 |
/ |
2 |
Projeto 3: implementaçao de um protocolo existente (TCP); especificação e modelo do protocolo |
Lab. Programação
|
25 |
/ |
2 |
Projeto 3: implementação |
Lab. Programação
|
26 |
/ |
2 |
Projeto 3: implementação |
Lab. Programação
|
27 |
/ |
2 |
Avaliação 2 |
Lab. Programação
|
TOTAL |
54 |
|
|
|