Mudanças entre as edições de "Cronograma de atividades (PTC-EngTel)"
Ir para navegação
Ir para pesquisar
(Criou página com '{{collapse top| bg=lightgreen | Semestre 2015-2 - Prof. Marcelo Maia Sobral}} {{cronograma-botton |74}}') |
|||
Linha 1: | Linha 1: | ||
{{collapse top| bg=lightgreen | Semestre 2015-2 - Prof. Marcelo Maia Sobral}} | {{collapse top| bg=lightgreen | Semestre 2015-2 - Prof. Marcelo Maia Sobral}} | ||
− | + | {{Cronograma-top}} | |
+ | {{Cl|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}} | ||
+ | {{Cl|2 |/ | 2 | Projeto 1: um protocolo de aplicação; especificação e modelagem informal do protocolo | Lab. Programação}} | ||
+ | {{Cl|3 |/ | 2 | Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos | Lab. Programação}} | ||
+ | {{Cl|4 |/ | 2 | Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização | Lab. Programação}} | ||
+ | {{Cl|5 |/ | 2 | Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização | Lab. Programação}} | ||
+ | {{Cl|6 |/ | 2 | Projeto 1: vocabulário e gramática do protocolo; sintaxe: representação textual, ASN.1 | Lab. Programação}} | ||
+ | {{Cl|7 |/ | 2 | Projeto 1: vocabulário e gramática do protocolo; sintaxe: ASN.1 | Lab. Programação}} | ||
+ | {{Cl|8 |/ | 2 | Projeto 1: vocabulário e gramática do protocolo; sintaxe: ASN.1 | Lab. Programação}} | ||
+ | {{Cl|9 |/ | 2 | Projeto 1: implementação | Lab. Programação}} | ||
+ | {{Cl|10 |/ | 2 | Projeto 1: implementação | Lab. Programação}} | ||
+ | {{Cl|11 |/ | 2 | Projeto 1: validação do protocolo; simulação | Lab. Programação}} | ||
+ | {{Cl|12 |/ | 2 | Projeto 1: validação do protocolo; simulação | Lab. Programação}} | ||
+ | {{Cl|13 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas | Lab. Programação}} | ||
+ | {{Cl|14 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas | Lab. Programação}} | ||
+ | {{Cl|15 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking) | Lab. Programação}} | ||
+ | {{Cl|16 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking) | Lab. Programação}} | ||
+ | {{Cl|17 |/ | 2 | Avaliação 1 | Lab. Programação}} | ||
+ | {{Cl|18 |/ | 2 | Projeto 2: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis | Lab. Programação}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|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}} | ||
+ | {{Cl|21 |/ | 2 | Projeto 2: vocabulário e gramática; sintaxe e modelagem do comportamento do protocolo | Lab. Programação}} | ||
+ | {{Cl|22 |/ | 2 | Projeto 2: validação do protocolo; verificação de modelo (model checking) | Lab. Programação}} | ||
+ | {{Cl|23 |/ | 2 | Projeto 2: validação do protocolo; verificação de modelo (model checking) | Lab. Programação}} | ||
+ | {{Cl|24 |/ | 2 | Projeto 2: implementação | Lab. Programação}} | ||
+ | {{Cl|25 |/ | 2 | Projeto 2: implementação | Lab. Programação}} | ||
+ | {{Cl|26 |/ | 2 | Projeto 3: implementaçao de um protocolo existente (TCP); especificação e modelo do protocolo | Lab. Programação}} | ||
+ | {{Cl|27 |/ | 2 | Projeto 3: implementação | Lab. Programação}} | ||
+ | {{Cl|28 |/ | 2 | Projeto 3: implementação | Lab. Programação}} | ||
+ | {{Cl|29 |/ | 2 | Projeto 3: implementação | Lab. Programação}} | ||
+ | {{Cl|30 |/ | 2 | Avaliação 2 | Lab. Programação}} | ||
{{cronograma-botton |74}} | {{cronograma-botton |74}} |
Edição das 16h37min de 27 de agosto de 2015
Semestre 2015-2 - Prof. Marcelo Maia Sobral | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|