Mudanças entre as edições de "Cronograma de atividades (PTC-EngTel)"
Ir para navegação
Ir para pesquisar
Linha 1: | Linha 1: | ||
− | {{collapse top| bg=lightgreen | Semestre 2016-2 - Prof. Marcelo Maia Sobral}} | + | {{collapse top| bg=lightgreen | Semestre 2017-2 - Prof. Marcelo Maia Sobral}} |
+ | {{Cronograma-top}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|2 |28/7 | 2 | Introdução: Projeto de um protocolo simples | Laboratório de Programação}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|4 |10/8 | 2 | Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos | Laboratório de Programação}} | ||
+ | {{Cl|5 |11/8 | 2 | Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos | Laboratório de Programação}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|8 |25/8 | 2 | Projeto 1: implementação | Laboratório de Programação}} | ||
+ | {{Cl|9 |31/8 | 2 | Projeto 1: implementação | Laboratório de Programação}} | ||
+ | {{Cl|10 |14/9 | 2 | Projeto 1: implementação | Laboratório de Programação}} | ||
+ | {{Cl|11 |21/9 | 2 | Projeto 1: conclusão | Laboratório de Programação}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|14 |5/10 | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking); lógica temporal | Laboratório de Programação}} | ||
+ | {{Cl|15 |6/10 | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking); lógica temporal | Laboratório de Programação}} | ||
+ | {{Cl|16 |19/10 | 2 | Projeto 2: um protocolo de aplicação; especificação e modelagem informal do protocolo | Laboratório de Programação}} | ||
+ | {{Cl|17 |20/10 | 2 | Projeto 2: vocabulário e gramática do protocolo; máquinas de estados finitos | Laboratório de Programação}} | ||
+ | {{Cl|18 |26/10 | 2 | Projeto 2: vocabulário e gramática do protocolo; sintaxe: representação textual com ABNF | Laboratório de Programação}} | ||
+ | {{Cl|19 |9/11 | 2 | Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 | Laboratório de Programação}} | ||
+ | {{Cl|20 |16/11 | 2 | Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 | Laboratório de Programação}} | ||
+ | {{Cl|21 |17/11 | 2 | Projeto 2: implementação | Laboratório de Programação}} | ||
+ | {{Cl|22 |23/11 | 2 | Projeto 2: implementação | Laboratório de Programação}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|24 |1/12 | 2 | Projeto 3: modelagem do protocolo escolhido, de acordo com sua especificação | Laboratório de Programação}} | ||
+ | {{Cl|25 |7/12 | 2 | Projeto 3: implementação | Laboratório de Programação}} | ||
+ | {{Cl|26 |14/12 | 2 | Projeto 3: implementação | Laboratório de Programação}} | ||
+ | {{Cl|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}} | ||
+ | {{cronograma-botton |62}} | ||
+ | {{collapse bottom}} | ||
+ | |||
+ | {{collapse top| bg=lightmagenta | Semestre 2016-2 - Prof. Marcelo Maia Sobral}} | ||
{{Cronograma-top}} | {{Cronograma-top}} | ||
{{Cl|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}} | {{Cl|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}} |
Edição das 16h41min de 1 de agosto de 2017
Semestre 2017-2 - Prof. Marcelo Maia Sobral | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Semestre 2016-2 - Prof. Marcelo Maia Sobral | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Semestre 2016-1 - Prof. Marcelo Maia Sobral | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Semestre 2015-2 - Prof. Marcelo Maia Sobral | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|