Mudanças entre as edições de "Cronograma de atividades (PTC-EngTel)"
Ir para navegação
Ir para pesquisar
Linha 9: | Linha 9: | ||
{{Cl|7 |/ | 2 | Projeto 1: vocabulário e gramática do protocolo; sintaxe: 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|8 |/ | 2 | Projeto 1: vocabulário e gramática do protocolo; sintaxe: ASN.1 | Lab. Programação}} | ||
− | {{Cl|9 |/ | 2 | Projeto 1: | + | {{Cl|9 |/ | 2 | Projeto 1: validação do protocolo; simulação | Lab. Programação}} |
− | {{Cl|10 |/ | 2 | Projeto 1: | + | {{Cl|10 |/ | 2 | Projeto 1: validação do protocolo; simulação | Lab. Programação}} |
− | {{Cl|11 |/ | 2 | Projeto 1: validação do protocolo; | + | {{Cl|11 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas | Lab. Programação}} |
− | {{Cl|12 |/ | 2 | Projeto 1: validação do protocolo; | + | {{Cl|12 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas | Lab. Programação}} |
− | {{Cl|13 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking) | + | {{Cl|13 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking) | Lab. Programação}} |
− | {{Cl|14 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking) | + | {{Cl|14 |/ | 2 | Projeto 1: validação do protocolo; verificação de modelo (model checking) | Lab. Programação}} |
− | {{Cl|15 |/ | 2 | Projeto 1: | + | {{Cl|15 |/ | 2 | Projeto 1: implementação | Lab. Programação}} |
− | {{Cl|16 |/ | 2 | Projeto 1: | + | {{Cl|16 |/ | 2 | Projeto 1: implementação | Lab. Programação}} |
{{Cl|17 |/ | 2 | Avaliação 1 | 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|18 |/ | 2 | Projeto 2: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis | Lab. Programação}} | ||
Linha 31: | Linha 31: | ||
{{Cl|29 |/ | 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}} | {{Cl|30 |/ | 2 | Avaliação 2 | Lab. Programação}} | ||
− |
Edição das 12h02min de 28 de agosto de 2015
Semestre 2015-2 - Prof. Marcelo Maia Sobral | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|