Mudanças entre as edições de "PTC-EngTel (Plano de Ensino)"
Ir para navegação
Ir para pesquisar
Linha 21: | Linha 21: | ||
;Conteúdo Programático | ;Conteúdo Programático | ||
− | # | + | # Estrutura de protocolos (16h): caracterização de protocolos (sintaxe, semântica, comportamento e temporização); princípios de projeto; propriedades desejáveis de protocolos; mecanismos de protocolos (controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem) |
− | # | + | # Especificação de protocolos (36h): sintaxe e codificação, vocabulário e gramática, comportamento e temporização; ASN.1; máquinas de estados finitos; diagramas de sequência e de máquinas de estados UML; máquinas de estados comunicantes e estendidas; linguagens de modelagem (SDL) |
− | + | #Avaliações (4h). | |
− | #Avaliações ( | ||
;Estratégias de ensino utilizadas | ;Estratégias de ensino utilizadas | ||
: Resolução de problemas por meio de projetos representativos. | : Resolução de problemas por meio de projetos representativos. | ||
+ | : Estudos de casos | ||
: Aulas expositivas | : Aulas expositivas | ||
;Critérios e instrumentos de avaliação | ;Critérios e instrumentos de avaliação | ||
− | : Os alunos são avaliados de acordo com o cumprimento dos objetivos dos projetos, estando sujeitos a entrevistas sobre as soluções encontradas. Além disso, são realizadas avaliações individuais por meio de provas práticas. | + | : Os alunos são avaliados de acordo com o cumprimento dos objetivos dos projetos, estando sujeitos a entrevistas sobre as soluções encontradas. Além disso, são realizadas avaliações individuais por meio de provas práticas e teóricas. |
;Atividades Complementares | ;Atividades Complementares | ||
Linha 45: | Linha 45: | ||
=ANEXOS= | =ANEXOS= | ||
− | ;[[Cronograma de atividades ( | + | ;[[Cronograma de atividades (PTC-EngTel) | Cronograma de atividades]] |
;[http://tele.sj.ifsc.edu.br/arquivos/publicos/Horario/ Horário de Aula e Atendimento Paralelo] | ;[http://tele.sj.ifsc.edu.br/arquivos/publicos/Horario/ Horário de Aula e Atendimento Paralelo] | ||
{{ENGTELECO}} | {{ENGTELECO}} |
Edição das 15h50min de 5 de agosto de 2015
![]() |
MINISTÉRIO DA EDUCAÇÃO |
Plano de Ensino de 2013-1 - atual
- Dados gerais
- COMPONENTE CURRICULAR: PTC - PROJETO DE PROTOCOLOS
- CARGA HORÁRIA: 3 HORAS/SEMANA 54 HORAS.
- CÓDIGO ISAAC: PTC29008
- PRÉ REQUISITOS: PRG2 RED2
- DISCIPLINAS SUCESSORAS: ADS
- MÓDULO PROFISSIONALIZANTE
- Objetivos
- Projetar protocolos de comunicação em redes de computadores
- Implementar protocolos de comunicação a partir de suas especificações
- Ementa
- A estrutura de um protocolo. Mecanismos básicos de um protocolo. Codificações de protocolos. Especificação, modelagem e validação de protocolos. Projeto e implementação de protocolos com máquina de estados.
- Conteúdo Programático
- Estrutura de protocolos (16h): caracterização de protocolos (sintaxe, semântica, comportamento e temporização); princípios de projeto; propriedades desejáveis de protocolos; mecanismos de protocolos (controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem)
- Especificação de protocolos (36h): sintaxe e codificação, vocabulário e gramática, comportamento e temporização; ASN.1; máquinas de estados finitos; diagramas de sequência e de máquinas de estados UML; máquinas de estados comunicantes e estendidas; linguagens de modelagem (SDL)
- Avaliações (4h).
- Estratégias de ensino utilizadas
- Resolução de problemas por meio de projetos representativos.
- Estudos de casos
- Aulas expositivas
- Critérios e instrumentos de avaliação
- Os alunos são avaliados de acordo com o cumprimento dos objetivos dos projetos, estando sujeitos a entrevistas sobre as soluções encontradas. Além disso, são realizadas avaliações individuais por meio de provas práticas e teóricas.
- Atividades Complementares
- Bibliografia Básica
- 1.SHARP, Robin. Principles of Protocol Design. [S.l]: Springer 2010. ISBN 978-3642096280.
- 2.HOLZMANN, Gerard. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991. ISBN 0-13-539925-4.
- 3.KUROSE, James F.; ROSS, Keith W Redes de Computadores e a Internet: Uma abordagem top-down; 5ª ed. São Paulo:Pearson, 2010. 614p. ISBN 9788588639973
- Bibliografia Complementar
- 1.VARGHESE, George. Network Algorithmics: An Interdisciplinary Approach to Designing Fast Networked Devices (The Morgan Kaufmann Series in Networking). [S.l]: Morgan Kaufmann, 2004. 496 p. ISBN 978-0120884773.
- 2.HOLZMANN, Gerard. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2004. ISBN 0-321-77371-3
ANEXOS