Disciplinas
Primeiro Período
Linguagens de Programação
EMENTA: INTRODUÇÃO: Conceitos E Paradigmas; sintaxe e semântica; processadores de linguagens. TIPOS: valores e tipos; tipos primitivos; tipos compostos; tipos recursivos; sistemas de tipos; expressões. ARMAZENAMENTO E CONTROLE: variáveis e atualização; atributos das variáveis; comandos; expressões com efeitos colaterais. ABSTRAÇÃO: Tipos De Abstração; Parâmetros; Avaliação de Parâmetros. ENCAPSULAMENTO: Tipos Abstratos; Objetos E Classes; Relação entre OO e Processos de Desenvolvimento. SISTEMAS DE TIPO: Sobrecarga; Polimorfismo; Inferência De Tipos; Herança. PARADIGMAS DE LINGUAGENS DE PROGRAMAÇÃO: Imperativo; Orientado a Objetos; Funcional; Lógico.
Multimídia
EMENTA: INTRODUÇÃO: Aplicações; Princípios Básicos de Sinais Digitais. VÍDEO DIGITAL: Varredura e display; Colorimetria / Espaços de Cores; Vídeo Digital; Sistema Visual Humano; Codificação de Imagens; Codificação de Vídeo; Medidas de Qualidade / Desempenho. ÁUDIO DIGITAL: Fundamentos de Compressão de Aúdio; Codificação de Áudio. TRANSPORTE: Sintaxe; Camada de transporte. TRANSMISSÃO DE MÍDIAS: Vídeo sobre IP; Erros de Transmissão; Streaming; Protocolos e Padrões Utilizados para Transmissão Multimídia.
Segurança da Informação
EMENTA: CRIPTOLOGIA CLÁSSICA: CRIPTOGRAFIA E CRIPTOANÁLISE: Conceitos Básicos; Criptografia, Criptologia e Criptanálise; Parâmetros de Segurança da Informação; Sistemas Clássicos: Criptografia e Criptoanálise: Monoalfabéticos, Polialfabéticos, Permutação, Substituição Múltipla, Esteganografia. TÉCNICAS CRIPTOGRÁFICAS COMPUTACIONAIS: Criptografia de Chave Simétrica: Cifras de Bloco: DES, 3-DES, AES, Outras Cifras; Criptografia de Chave Pública: Conceitos, Gerenciamento de chves, RSA, El Gamal, Assinatura Digital, Outros; Introdução à criptografia pós-quântica: cifras com base em hash, reticulados e teoria da codificação; Blockchain. DEFESA CIBERNÉTICA: Guerra Cibernética (Conceitos, Histórico, Normas), Informação na Internet (Vulnerabilidades e Ameaças), Tipos de Invasores, Padrões de Segurança Vigentes, Ataque Cibernético (Tipos de Ataque); Defesa Cibernética (Firewall, Filtragem de Pacotes, Serviços de Proxy, DMZ). PROTEÇÃO E INVASÃO DE REDES: Ferramentas de reconhecimento (varredura de redes – NMap, comandos - netstat, nslookup, traceroute, ping); Ferramentas de defesa (firewalls – IPTables, sistemas de detecção de intrusão – Snort); Teste de invasão – Pen Test (conceitos, técnicas – Injeção de SQL, buffer overflow, XSS – ferramentas); Negação de Serviço. SISTEMAS DE GESTÃO DE SEGURANÇA DA INFORMAÇÃO: Sistemas de Gestão de Segurança da Informação (Conceitos, Implementação); Normas de Segurança; Política de Segurança; Família de normas da ISO 27.000.
Sistemas de Informações
EMENTA: INTRODUÇÃO A SISTEMAS DE INFORMAÇÃO: Introdução. SISTEMAS CORPORATIVOS: Enterprise Resouce Planning – ERP; Customer Relationship Management – CRM; Gestão Eletrônica de Documentos – GED; Comércio Eletrônico; Gestão de conhecimento; Computação Móvel e Ubíqua. GOVERNANÇA DE TI: Alinhamento Estratégico, Governança Corporativa e Governança de TI; ITIL; COBIT.
Computação Gráfica
EMENTA: GEOMETRIA: Introdução: Aplicações, Áreas Correlatas e Paradigma dos quatro universos; Álgebra Linear: Produto Interno, Norma, Transformações Lineares e Espaço Euclidiano; Geometria Projetiva: Transformações Afins, Coordenadas Homogêneas, Transformações Projetivas, Espaço Projetivo, Rotações e Composição de Transformações. MODELAGEM GEOMÉTRICA: Objetos Gráficos Planares: Definição, Objetos Parametrizados, Objetos Implícitos, Representação de Curvas e Regiões e Rasterização; Objetos Gráficos Espaciais: Superfícies Paramétricas, Superfícies Implícitas, Superfícies Poliedras, Codificação e Superfícies Poliedrais, Objetos Volumétricos e Representação de Objetos Volumétricos. VISUALIZAÇÃO: Câmera Virtual: Espaços de Referência e Operações de Visualização; Modelos Locais de Iluminação: Superfícies Difusas e Especulares e Modelo de Reflexão de Phong; Visualização de Objetos Poliedrais: Colorização Constante, Colorização de Gouraud, Colorização de Phong e Cálculo de Superfícies Visíveis; Visualização de Objetos Implícitos: Traçado de Raios.
Sistemas Distribuídos
EMENTA: INTRODUÇÃO: Características dos Sistemas Distribuídos; Metas dos Sistemas Distribuídos; Tipos de Sistemas Distribuídos. ARQUITETURAS DE SISTEMAS DISTRIBUÍDOS: Estilos arquitetônicos; Arquiteturas de sistemas; Arquiteturas e middleware. PROCESSOS EM SISTEMAS DISTRIBUÍDOS: Threads; Virtualização; Clientes; Servidores; Migração de código. COMUNICAÇÃO EM SISTEMAS DISTRIBUÍDOS: Comunicação entre Processos; Chamada remota de procedimento – RPC; Comunicação orientada a mensagem; MPI. NOMEAÇÃO: Nomeação simples; Nomeação estruturada. SINCRONIZAÇÃO: Sincronização de relógios; Relógios lógicos; Exclusão mútua; Algoritmos de eleição. CONSISTÊNCIA E REPLICAÇÃO: Modelos de consistência; Gerenciamento de réplicas; Protocolos de consistência. TOLER NCIA A FALHAS: Conceitos básicos; Resiliência de processo; Comunicação confiável cliente-servidor e de grupo; Comprometimento (commit) distribuído; Recuperação.
Laboratório de Sistemas Embarcados
EMENTA: INTRODUÇÃO: Características dos Sistemas Distribuídos; Metas dos Sistemas Distribuídos; Tipos de Sistemas Distribuídos. ARQUITETURAS DE SISTEMAS DISTRIBUÍDOS: Estilos arquitetônicos; Arquiteturas de sistemas; Arquiteturas e middleware. PROCESSOS EM SISTEMAS DISTRIBUÍDOS: Threads; Virtualização; Clientes; Servidores; Migração de código. COMUNICAÇÃO EM SISTEMAS DISTRIBUÍDOS: Comunicação entre Processos; Chamada remota de procedimento – RPC; Comunicação orientada a mensagem; MPI. NOMEAÇÃO: Nomeação simples; Nomeação estruturada. SINCRONIZAÇÃO: Sincronização de relógios; Relógios lógicos; Exclusão mútua; Algoritmos de eleição. CONSISTÊNCIA E REPLICAÇÃO: Modelos de consistência; Gerenciamento de réplicas; Protocolos de consistência. TOLERÂNCIA A FALHAS: Conceitos básicos; Resiliência de processo; Comunicação confiável cliente-servidor e de grupo; Comprometimento (commit) distribuído; Recuperação.
Projeto de Fim de Curso
EMENTA: Conduzir o desenvolvimento de um projeto (habilidades de análise, modelagem, implementação e sistemas de testagem de protótipo de sistema), dando a oportunidade para aplicar o conhecimento adequado, habilidades e técnicas ensinadas ao longo do programa de graduação e também demonstrar adicional capacidade de comunicação oral e escrita.
Segundo Período
Engenharia de Software
EMENTA: PROCESSOS DE SOFTWARE: Ciclo de Vida do Software, Modelos de Processo; Desenvolvimento Ágil. GESTÃO DA QUALIDADE: Conceitos de Qualidade; Revisão de técnicas; Garantia da Qualidade de Software; Métricas de produto. EVOLUÇÃO DE SOFTWARE: Evolução de Software e Manutenção; Reengenharia. GERENCIAMENTO DE PROJETOS DE SOFTWARE: Estimativa para Processos de Software; Métricas de Processo e de Produto; Gerenciamento de Risco; Gerenciamento de Configuração de Software; Melhoria de Processo.
Robótica
EMENTA: INTRODUÇÃO: Desenvolvimento Histórico dos Sistemas de Robótica; Conceitos de Mecânica de Manipuladores; Conceitos de Planejamento e Controle de Trajetória; Conceitos de Percepção Sensorial e Inteligência para Sistemas Robóticos. CINEMÁTICA DE MANIPULADORES ROBÓTICOS: O Problema Cinemático Direto; O Problema Cinemático Inverso. DINÂMICA DE MANIPULADORES ROBÓTICOS: Formulação de Lagrange-Euler; Formação de Newton-Euler; Equações Generalizadas de D'Alembert para o Movimento. PLANEJAMENTO DE TRAJETÓRIAS DE MANIPULADORES: Conceitos Gerais de Planejamento de Trajetórias; Trajetórias de Interpolação de Juntas; Planejamento de Caminhos para um Manipulador Cartesiano. CONTROLE DE MANIPULADORES ROBÓTICOS: Introdução aos Servomecanismos e Elementos de Mecatrônica; Técnica do Torque Computado; Controle Adaptativo. PERCEPÇÃO SENSORIAL: Sensores de Proximidade e de Contato; Sensores de Força e de Torque. VISÃO DE MÁQUINA: Aquisição de Imagens e Pré-processamento; Segmentação e Descrição; Reconhecimento e Interpretação. TÉCNICAS DE IA PARA ROBÓTICA: Aplicações de meta-heurísticas para sistemas robóticos; Aplicações de Redes Neurais e Lógica Fuzzy para Sistemas Robóticos.
Compiladores
EMENTA: INTRODUÇÃO: Conceitos; Estruturação Do Compilador. ANALISE LÉXICA: Análise Léxica; Implementação da Análise Léxica. ANALISE SINTÁTICA: Conceitos Básicos; Método Lr(1) Simples; Método Lr(1) Canonico; Método Lr(1) L.A.; Geradores De Analisadores Sintáticos; Implementação de Analisador Sintático. CHECAGEM SEMÂNTICA: Linguagens Sem Escopo Local; Linguagens Com Escopo Local; Linguagens Orientadas A Objeto; Gramáticas De Atributos; Implementação de checador estático. GERAÇAO DE CÓDIGO: Estruturas De Memória Em Tempo De Execução; Estruturas De Memória Em Tempo De Execução Para Linguagens Orientadas A Objeto; Código Intermediário; Implementação Da Geração De Código; Implementação da Geração de Código. OTIMIZAÇÃO DE CÓDIGO: Otimização Dependente De Máquina; Otimização Independente De Máquina.
Teoria da Computação
EMENTA: INTRODUÇÃO: Panorama da área de Teoria da Computação; Revisão de máquina de Turing; Tese de Turing/ Church. COMPUTABILIDADE: Máquina de Turing Universal; Linguagens Recursivas e Recursivamente Enumeráveis; Problema da Parada; Teorema de Rice; PCP e Outros problemas não decidíveis. INTRATABILIDADE: Classes de Complexidade; Teorema de Cook-Levin; Problemas NP – Completos; PSPACE – Completude. LÓGICA E COMPLEXIDADE: Lógicas de Segunda Ordem; Teorema de Fagin; Lógica e Representabilidade.
Simulação e Análise de Desempenho
EMENTA: VARIÁVEIS ALEATÓRIAS: Variáveis Aleatórias Discretas; Distribuições discretas; Variáveis Aleatórias Continuas; Distribuição Normal. VARIÁVEIS ALEATÓRIAS BIDIMENSIONAIS: Variáveis Aleatórias Bidimensionais; Distribuições marginais ; Variáveis Aleatórias Independentes; Covariância e Correlação. INTRODUÇÃO AOS PROCESSOS ESTOCÁSTICOS: Introdução aos Processos Estocásticos e Processo de Poisson; Outros Tipos de Processo. CADEIAS DE MARKOV: Cadeias de Markov em Tempo Discreto; Cadeias de Markov em Tempo Contínuo; Processo de Nascimento e Morte. TEORIA DAS FILAS: Introdução; A Fila M/M/1; Demais Filas Markovianas; Rede de Filas; Filas Não-Markovianas; Filas de Prioridade. TÉCNICAS DE SIMULAÇÃO DE SISTEMAS: Motivação, Abordagens e Estrutura Básica; Geração de números pseudoaleatórios; Geração de variáveis aleatórias; Coleta de dados; Construção e Validação do modelo; Análise dos dados de saída; Linguagem de Simulação. INFERÊNCIA: Dados Amostrais; Amostra Aleatória; Estimação Pontual de Parâmetros; Estimação por intervalo; Teste de Hipóteses. MODELOS DE REGRESSÃO E CORRELAÇÃO: Regressão Linear Simples; Propriedades; Intervalo de Confiança; Teste de Hipóteses; Adequação do Modelo; Correlação. ESTUDO DE CASOS: Simulação e Modelagem.
Empreendedorismo
EMENTA:Desenvolvimento de um projeto completo de engenharia, em todas as suas etapas, sob orientação do professor, com tema correlacionado à especialidade do aluno, que visa consolidar os conhecimentos adquiridos e desenvolver a integração entre alunos de diferentes especialidades.
Projeto de Fim de Curso
EMENTA: Conduzir o desenvolvimento de um projeto (habilidades de análise, modelagem, implementação e sistemas de testagem de protótipo de sistema), dando a oportunidade para aplicar o conhecimento adequado, habilidades e técnicas ensinadas ao longo do programa de graduação e também demonstrar adicional capacidade de comunicação oral e escrita.