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.

Introdução à Engenharia de Software Experimental. Experimentos em Engenharia de Software. Revisões Sistemáticas. Surveys (pesquisas de opinião). Estudos de Caso.

Engenharia de Requisitos. Análise e Projeto de Software. Técnicas de Programação. Teste e Depuração de Código.

Conceitos e técnicas de validação e verificação. Inspeções e Revisões de software. Testes de software.

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.

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.

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.

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.

Conceitos de Agentes e Sistemas Multi-agentes. AOSE (Agent Oriented Software Engineering). Linguages de Modelagem para Agentes e Sistemas Multi-Agentes. Metodologias AOSE.

Regressão. Redes Neurais. Árvores de Decisão. Lógica Nebulosa. Metaheurísticas. Agrupamento de dados.

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.

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.

Fundamentos de engenharia de requisitos. Técnicas de elicitação de requisitos. Análise de
requisitos. Especificação de requisitos. Validação de requisitos. Processo de Engenharia de
Requisitos. Requisitos Ágeis. Qualidade de requisitos. Gerência de Requisitos. Rastreabilidade
de requisitos. Engenharia de Requisitos para Domínios Específicos.

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.