Mudanças entre as edições de "PTC-EngTel (Plano de Ensino)"

De MediaWiki do Campus São José
Ir para: navegação, pesquisa
(Criou página com '{{Cab1-IF-SC-Engtelecom}} <BIG><center> '''Plano de Ensino de 2013-1 - atual''' </center></BIG> ;Dados gerais :COMPONENTE CURRICULAR: '''PTC''' - PROJETO DE PROTO...')
 
 
(6 revisões intermediárias por um outro usuário não estão sendo mostradas)
Linha 8: Linha 8:
 
:<SMALL>CARGA HORÁRIA: 3 HORAS/SEMANA 54 HORAS. <BR>  
 
:<SMALL>CARGA HORÁRIA: 3 HORAS/SEMANA 54 HORAS. <BR>  
 
{{SUC | PTC.png | 3}}
 
{{SUC | PTC.png | 3}}
:<SMALL>CÓDIGO ISAAC: '''PTC29008''' </SMALL><BR>
+
:<SMALL>CÓDIGO: '''PTC29008''' </SMALL><BR>
 
:<SMALL>PRÉ REQUISITOS: [[PRG2-EngTel|PRG2]] [[RED2-EngTel|RED2]]</SMALL><BR>
 
:<SMALL>PRÉ REQUISITOS: [[PRG2-EngTel|PRG2]] [[RED2-EngTel|RED2]]</SMALL><BR>
 
:<SMALL>DISCIPLINAS SUCESSORAS: [[ADS-EngTel|ADS]] </SMALL><BR>
 
:<SMALL>DISCIPLINAS SUCESSORAS: [[ADS-EngTel|ADS]] </SMALL><BR>
Linha 14: Linha 14:
  
 
;Objetivos
 
;Objetivos
: Criar as estruturas de dados fila, pilha, lista, tabela de dispersão e árvore binária.
+
: Projetar protocolos de comunicação em redes de computadores
: Comparar o custo computacional de pesquisas e ordenamentos de dados usando essas estruturas.
+
: Implementar protocolos de comunicação a partir de suas especificações
  
 
;Ementa
 
;Ementa
:Estruturas de dados: pilhas, filas, listas, árvores, tabelas de dispersão. Algoritmos: busca, ordenamento.
+
: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
 
;Conteúdo Programático
#Listas lineares (28h): Listas encadeadas e duplamente encadeadas (6h); Filas (4h); Pilhas (4h); Listas circulares (2h); Algoritmos de ordenamento: bubble sort, quicksort e list sort (6h); Algoritmos de busca sequencial e binária (4h); Estudos de caso: filas de pacotes em roteadores e switches (2h);
+
# 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)
#Árvores (28h): Árvores binárias e de pesquisa binária (8h); Árvores balanceadas (6h); Algoritmos de busca em árvores: Busca em profundidade e Busca em largura (8h); Algoritmos de ordenamento com árvores (4h); Estudo de caso: busca de arquivos em disco (2h).
+
# 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; introdução a linguagens de modelagem (SDL, Promela)
#Tabelas de dispersão (hash) (12h): Funções de dispersão (4h); Tratamento de colisões (6h); Estudo de caso: caches em proxies HTTP (2h).
+
#Avaliações (4h).
#Avaliações (6h).
 
  
 
;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. Todos projetos devem ter conceito >= 6 para aprovação na disciplina.
  
 
;Atividades Complementares
 
;Atividades Complementares
  
 
;Bibliografia Básica
 
;Bibliografia Básica
# CORMEN, Thomas H. et al '''Algoritmos: Teoria e Prática.'''; 2ª ed. [S.l]:Campus, 2002. 936p. ISBN  8535209263
+
:1.SHARP, Robin. Principles of Protocol Design. [S.l]: Springer 2010. ISBN 978-3642096280.
# Fabiana Lorenzi, Patrícia Noll de Mattos, Tanisi Pereira de Carvalho '''ESTRUTURAS DE DADOS'''; 1ª ed. [S.l]:Thomson, 2007. 175p. ISBN  9788522105564
+
:2.HOLZMANN, Gerard. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991. ISBN 0-13-539925-4.
# SZWARCFITER, Jayme L.; MARKENZON, Lilian '''Estruturas de Dados e seus Algoritmos'''; ed. [S.l]:LTC, 2010. 318p. ISBN 9788521617501
+
:3.KUROSE, James F.; ROSS, Keith W Redes de Computadores e a Internet: Uma abordagem top-down; ed. São Paulo:Pearson, 2010. 614p. ISBN 9788588639973
  
 
;Bibliografia Complementar
 
;Bibliografia Complementar
# DEITEL, Harvey.; '''C++ como programar '''; 3a ed: Bookman, 2002. 1098p. ISBN 8573077409
+
: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.
# BUENO, André D.; '''Programação orientada a objeto com C++ '''; Novatec, 2003. 592p. ISBN 8575220403
+
:2.HOLZMANN, Gerard. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2004. ISBN 0-321-77371-3
# KERNIGHAN, Brian W.; RITCHIE, Dennis M '''C: a linguagem de programação padrão ANSI'''; 1ª ed. [S.l]:Campus, 1989. 304p. ISBN 9788570015860
+
:3.ITU-T. ASN.1 Project; ed. Geneva:ITU, 2015. p. ISBN . "Disponível em: http://www.itu.int/en/ITU-T/asn1/Pages/asn1_project.aspx
# Paulo Feofiloff '''Algoritmos em linguagem C'''; 1ª ed. [S.l]:Campus/Elsevier, 2008. 232p. ISBN 9788535232493
+
:4.LARMOUTH, John. ASN.1 Complete. Morgan-Kaufman, 1999. 387 p. ISBN 0-12233-435-3. Disponível em: http://www.oss.com/asn1/resources/books-whitepapers-pubs/asn1-books.html#dubuisson
# Nivio Ziviani '''Projetos de Algoritmos com Implementações em Pascal e C'''; ed. [S.l]:Cengage Learning, 2011. 660p. ISBN 9788522110506
+
:5. MENEZES, Paulo Blauth Linguagens formais e autômatos; 5a ed. Porto Alegre:Bookman, 2008. 215p. ISBN 9788577802661
  
 
=ANEXOS=
 
=ANEXOS=
;[[Cronograma de atividades (PRG2-EngTel) | 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 atual tal como às 18h14min de 28 de fevereiro de 2019

LogoIFSCCampusSJ.png

MINISTÉRIO DA EDUCAÇÃO
SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA
CAMPUS SÃO JOSÉ
Curso de Engenharia de Telecomunicações

Plano de Ensino de 2013-1 - atual

Dados gerais
COMPONENTE CURRICULAR: PTC - PROJETO DE PROTOCOLOS
CARGA HORÁRIA: 3 HORAS/SEMANA 54 HORAS.
UCs vizinhas
CÓDIGO: 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
  1. 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)
  2. 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; introdução a linguagens de modelagem (SDL, Promela)
  3. 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. Todos projetos devem ter conceito >= 6 para aprovação na disciplina.
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
3.ITU-T. ASN.1 Project; ed. Geneva:ITU, 2015. p. ISBN . "Disponível em: http://www.itu.int/en/ITU-T/asn1/Pages/asn1_project.aspx
4.LARMOUTH, John. ASN.1 Complete. Morgan-Kaufman, 1999. 387 p. ISBN 0-12233-435-3. Disponível em: http://www.oss.com/asn1/resources/books-whitepapers-pubs/asn1-books.html#dubuisson
5. MENEZES, Paulo Blauth Linguagens formais e autômatos; 5a ed. Porto Alegre:Bookman, 2008. 215p. ISBN 9788577802661

ANEXOS

Cronograma de atividades
Horário de Aula e Atendimento Paralelo


Curso de Engenharia de Telecomunicações