Código |
Disciplina |
Ementa |
AL5082 (presencial) AL5132 (remoto) |
Otimização e Complexidade de Algoritmos
|
Ordens e notação assintótica. Recorrências. Mergesort. Quicksort. Filas de prioridade e heapsort. Ordenação em tempo linear. Programação dinâmica. Algoritmos em grafos. Complexidade computacional. |
AL5083 (presencial) AL5138 (remoto) |
Engenharia de Software Experimental
|
Introdução à Engenharia de Software Experimental. Experimentos em Engenharia de Software. Revisões Sistemáticas. Surveys (pesquisas de opinião). Estudos de Caso. |
AL5084 (presencial) AL5134 (remoto) |
Desenvolvimento de Software
|
Engenharia de Requisitos. Análise e Projeto de Software. Técnicas de Programação. Teste e Depuração de Código. |
AL5085 |
Verificação e Validação de Software
|
Conceitos e técnicas de validação e verificação. Inspeções e Revisões de software. Testes de software. |
AL5086 |
Segurança de Sistemas
|
Vulnerabilidades, ameaças e ataques. Criptografia. Comunicação segura. Técnicas de autenticação para controle de acesso a sistemas. Defesa em profundidade. Sistemas operacionais seguros. |
AL5087 |
Projeto e Desenvolvimento de Programas Paralelos
|
Visão geral sobre as arquiteturas paralelas. Projeto de programas paralelos. Desafios no desenvolvimento de programas paralelos para ambientes de memória compartilhada (Multicore e Manycore) e para memória distribuída (cluster, grid e cloud computing). Práticas em desenvolvimento de programas paralelos. Análise de desempenho. |
AL5088 |
Programabilidade de Infraestruturas de Rede
|
Novos paradigmas de redes de computadores. Redes definidas por software. Funções virtualizadas de rede. Programabilidade do plano de controle, plano de dados e de funções de rede. |
AL5089 (presencial) AL5133 (remoto) |
Modelagem de Software
|
Conceitos, técnicas e métodos de modelagem de software. Modelagem de sistemas de informação. Padrões de modelagem de software. Tendências. Projeto prático de modelagem de software. |
AL5090 |
Engenharia de Software Orientada a Agentes
|
Conceitos de Agentes e Sistemas Multi-agentes. AOSE (Agent Oriented Software Engineering). Linguages de Modelagem para Agentes e Sistemas Multi-Agentes. Metodologias AOSE. |
AL5091 |
Aprendizagem de Máquina Aplicada à Engenharia de Software
|
Regressão. Redes Neurais. Árvores de Decisão. Lógica Nebulosa. Metaheurísticas. Agrupamento de dados. |
AL5092 |
Interação Humano-computador no Desenvolvimento de Software
|
Fundamentos teóricos de Interação Humano-Computador. Qualidade no uso. Processos de design em IHC. Integração entre Engenharia de Software e Interação Humano-Computador. Requisitos de usuário. Projeto de interfaces de usuário. Avaliação de interfaces de usuário. Aspectos tecnológicos em Interação Humano-Computador. |
AL5093 |
Processamento de Linguagem Natural Aplicado à Engenharia de Software
|
Métodos estatísticos para processamento de linguagem natural. Aprendizagem de máquina usando redes neurais/deep learning. Aplicações em artefatos criados por processos de engenharia de software. |
AL5126 |
Tópicos em Engenharia de Requisitos
|
Fundamentos de engenharia de requisitos. Técnicas de elicitação de requisitos. Análise de |
AL5094 |
Engenharia de Software Aplicada a Sistemas Embarcados
|
Sistemas Embarcados e suas Particularidades. Engenharia de Requisitos com Ênfase em Requisitos não Funcionais. Análise e Projeto de Sistemas Embarcados. Desenvolvimento de Sistemas Embarcados baseado em Componentes e Modelos. Sistemas Operacionais Embarcados. |
AL5127 (remoto) |
Laboratório de Engenharia de Software Aplicada em Negócios I
|
Introdução ao Aprendizado Baseado em Problemas (ABP). Introdução à atitude pró-inovação. Introdução sobre TRL, CRL e Produto Mínimo Viável (MVP). Estudo de campo das demandas |
AL5128 |
Laboratório de Engenharia de Software Aplicada em Negócios II
|
Introdução à ecossistemas empreendedores. Características de startups e spin-offs de base tecnológica. Introdução à elaboração do plano de negócios. Empreendedorismo social. Concepção mercadológica do produto mínimo viável. Avaliação da Taxa Interna de Retorno (TIR). Estudo das parcerias e concorrentes. Prospecção de clientes e investidores. Incubação de empresas de base tecnológica. |
AL5130 |
Tópicos em Aprendizado Profundo
|
Introdução ao Aprendizado Profundo. Arquiteturas e Topologias de Redes Neurais Artificiais. Aplicações Emergentes de Aprendizado Profundo. |
AL5131 |
Tópicos de Segurança de Sistemas e da Informação – EAD
|
Introdução à Segurança. Conceitos Básicos. Primitivas Criptográficas. Criptografia Simétrica e de Chave Pública. Assinatura e Certificação Digital. Propriedades de Segurança. Protocolos de Autenticação. Tecnologias de Segurança de Sistemas e Dados. |
AL5129 |
Computação em Nuvem
|
Visão geral dos conceitos de nuvem; Economia e faturamento da nuvem; Arquitetura de nuvem; Segurança na nuvem; Redes de datacenters; Modelos de Computação e Armazenamento; Modelos de Bancos de dados; Auto Scaling e monitoramento; Infraestrutura como código; Arquiteturas decompostas; Microserviços e Computação sem servidor; Redes de entrega de conteúdo; Planejamento e recuperação de desastres. |
AL5013 |
Estágio Supervisionado de Docência
|
— |
AL5038 |
Exame de Proficiência de Língua Estrangeira
|
— |
AL5039 |
Exame de Qualificação
|
— |
AL5040 |
Defesa de Dissertação
|
— |