Cronograma de atividades (PTC-EngTel)

De MediaWiki do Campus São José
Ir para: navegação, pesquisa
Semestre 2017-2 - Prof. Marcelo Maia Sobral
Aula Data Horas Conteúdo Recursos
1 27/7 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. Laboratório de Programação
2 28/7 2 Introdução: Projeto de um protocolo simples Laboratório de Programação
3 3/8 2 Projeto 1: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis Laboratório de Programação
4 10/8 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação
5 11/8 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação
6 17/8 2 Projeto 1: vocabulário e gramática do protocolo; formato e codificação de mensagens; máquinas de estados finitos para representar comportamento Laboratório de Programação
7 24/8 2 Projeto 1: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Laboratório de Programação
8 25/8 2 Projeto 1: implementação Laboratório de Programação
9 31/8 2 Projeto 1: implementação Laboratório de Programação
10 14/9 2 Projeto 1: implementação Laboratório de Programação
11 21/9 2 Projeto 1: conclusão Laboratório de Programação
12 22/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
13 28/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); propriedades de segurança e vivacidade; Laboratório de Programação
14 5/10 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); lógica temporal Laboratório de Programação
15 6/10 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); lógica temporal Laboratório de Programação
16 19/10 2 Projeto 2: um protocolo de aplicação; especificação e modelagem informal do protocolo Laboratório de Programação
17 20/10 2 Projeto 2: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação
18 26/10 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: representação textual com ABNF Laboratório de Programação
19 9/11 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação
20 16/11 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação
21 17/11 2 Projeto 2: implementação Laboratório de Programação
22 23/11 2 Projeto 2: implementação Laboratório de Programação
23 30/11 2 Projeto 3: um protocolo padronizado; escolha de um protocolo padronizado simples para ser implementado; estudo da especificação do protocolo Laboratório de Programação
24 1/12 2 Projeto 3: modelagem do protocolo escolhido, de acordo com sua especificação Laboratório de Programação
25 7/12 2 Projeto 3: implementação Laboratório de Programação
26 14/12 2 Projeto 3: implementação Laboratório de Programação
27 15/12 2 Projeto 3: conclusão; demonstração por meio da comunicação com uma implementação preexistente Laboratório de Programação
TOTAL 62
Semestre 2017-1 - Prof. Marcelo Maia Sobral
Aula Data Horas Conteúdo Recursos
1 13/2 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. Laboratório de Programação
2 15/2 2 Projeto 1: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis Laboratório de Programação
3 22/2 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação
4 1/3 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação
5 8/3 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Laboratório de Programação
6 13/3 2 Projeto 1: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Laboratório de Programação
7 15/3 2 Projeto 1: validação do protocolo; simulação Laboratório de Programação
8 22/3 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
9 27/3 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
10 29/3 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
11 5/4 2 Projeto 1: implementação Laboratório de Programação
12 10/4 2 Projeto 1: implementação Laboratório de Programação
13 12/4 2 Projeto 1: implementação Laboratório de Programação
14 19/4 2 Projeto 1: implementação Laboratório de Programação
15 24/4 2 Projeto 2: um protocolo de aplicação; especificação e modelagem informal do protocolo Laboratório de Programação
16 26/4 2 Projeto 2: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação
17 3/5 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: representação textual com ABNF Laboratório de Programação
18 8/5 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação
19 10/5 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação
20 17/5 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação
21 22/5 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação
22 24/5 2 Projeto 2: implementação Laboratório de Programação
23 31/5 2 Projeto 2: implementação Laboratório de Programação
24 5/6 2 Projeto 3: implementaçao de um protocolo existente; especificação e modelo do protocolo Laboratório de Programação
25 7/6 2 Projeto 3: implementaçao de um protocolo existente; especificação e modelo do protocolo Laboratório de Programação
26 14/6 2 Projeto 3: implementação Laboratório de Programação
27 19/6 2 Projeto 3: implementação Laboratório de Programação
28 21/6 2 Projeto 3: implementação Laboratório de Programação
29 28/6 2 Projeto 3: implementação Laboratório de Programação
30 3/7 2 Conclusão Laboratório de Programação
31 5/7 2 Conclusão Laboratório de Programação
TOTAL 62
Semestre 2016-2 - Prof. Marcelo Maia Sobral
Aula Data Horas Conteúdo Recursos
1 11/8 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. Laboratório de Programação
2 15/8 2 Projeto 1: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis Laboratório de Programação
3 18/8 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação
4 25/8 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação
5 29/8 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Laboratório de Programação
6 1/9 2 Projeto 1: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Laboratório de Programação
7 8/9 2 Projeto 1: validação do protocolo; simulação Laboratório de Programação
8 12/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
9 15/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
10 22/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
11 26/9 2 Projeto 1: implementação Laboratório de Programação
12 29/9 2 Projeto 1: implementação Laboratório de Programação
13 6/10 2 Projeto 1: implementação Laboratório de Programação
14 10/10 2 Projeto 1: implementação Laboratório de Programação
15 13/10 2 Projeto 2: um protocolo de aplicação; especificação e modelagem informal do protocolo Laboratório de Programação
16 20/10 2 Projeto 2: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação
17 24/10 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: representação textual com ABNF Laboratório de Programação
18 27/10 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação
19 3/11 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação
20 7/11 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação
21 10/11 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação
22 17/11 2 Projeto 2: implementação Laboratório de Programação
23 21/11 2 Projeto 2: implementação Laboratório de Programação
24 24/11 2 Projeto 3: implementaçao de um protocolo existente; especificação e modelo do protocolo Laboratório de Programação
25 1/12 2 Projeto 3: implementação Laboratório de Programação
26 5/12 2 Projeto 3: implementação Laboratório de Programação
27 8/12 2 Projeto 3: implementação Laboratório de Programação
28 15/12 2 Projeto 3: implementação Laboratório de Programação
29 19/12 2 Conclusão Laboratório de Programação
TOTAL 58
Semestre 2016-1 - Prof. Marcelo Maia Sobral
Aula Data Horas Conteúdo Recursos
1 23/3 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. Laboratório de Programação
2 24/3 2 Projeto 1: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis Laboratório de Programação
3 30/3 2 Projeto 1: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Laboratório de Programação
4 6/4 2 Projeto 1: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Laboratório de Programação
5 7/4 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação
6 13/4 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Laboratório de Programação
7 16/4 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Laboratório de Programação
8 20/4 2 Projeto 1: implementação Laboratório de Programação
9 27/4 2 Projeto 1: implementação Laboratório de Programação
10 4/5 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
11 5/5 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação
12 11/5 2 Projeto 1: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação
13 18/5 2 Projeto 1: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação
14 19/5 2 Avaliação 1 Laboratório de Programação
15 25/5 2 Projeto 2: um protocolo de aplicação; especificação e modelagem informal do protocolo Laboratório de Programação
16 1/6 2 Projeto 2: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação
17 2/6 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: representação textual com ABNF Laboratório de Programação
18 8/6 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação
19 15/6 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação
20 16/6 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação
21 22/6 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação
22 29/6 2 Projeto 2: implementação Laboratório de Programação
23 30/6 2 Projeto 2: implementação Laboratório de Programação
24 6/7 2 Projeto 3: implementaçao de um protocolo existente; especificação e modelo do protocolo Laboratório de Programação
25 13/7 2 Projeto 3: implementação Laboratório de Programação
26 14/7 2 Projeto 3: implementação Laboratório de Programação
27 20/7 2 Avaliaçao 2 Laboratório de Programação
28 27/7 2 Conclusão Laboratório de Programação
TOTAL 56
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