Disciplinas

• Introduction to Computer Systems Engineering

  CP-701 - Introdução à Engenharia de Sistemas Computacionais. Requisitos: não há. Duração: 32h. Créditos: 2. Conceituação de Sistemas Computacionais. Estruturação de Sistemas Operacionais. Gerenciamento de processos. Mecanismos de intercomunicação. Escalonamento convencional e de tempo real. Filas de prioridades. Gerenciamento de memória. Gerenciamento de E/S. Gerenciamento de arquivos. Mecanismos de segurança e proteção. Noções básicas de Redes de Computadores: hardware e software. Necessidade de protocolos: o modelo TCP/IP. Os níveis: aplicação, transporte, rede, enlace. Aspectos de segurança. Projeto preliminar de pesquisa de mestrado (proposta de dissertação). Tanenbaum, A. S. Sistemas Operacionais. Pearson, 4ª Edição, 2016. Silberschatz, A., Galvin, P.B., Gagne, G. Fundamentos de Sistemas Operacionais. LTC 9ª Edição, 2015. Kurose, J.F., Ross, K.W. Computer Networking, Pearson, 7a. Edição, 2017.

• Complexity and Algorithm Analysis

  CP-702 - Análise de Algoritmos e Complexidade Requisitos: não há. Duração: 32h. Créditos: 2. Ordem de funções. Recursividade e recorrência. Estruturas básicas de dados: pilhas, filas, listas encadeadas, árvores e grafos. Algoritmos de busca e ordenação. Emparelhamento de padrões. Algoritmos em grafos: ordenação topológica, caminho mínimo, componentes conexas, pontos de articulação, árvores geradoras mínimas. Paradigmas de programação: divisão e conquista, método guloso, programação dinâmica. Algoritmo de Strassen, codificação de Huffman, problema da mochila. CORMEN, T. H., LEISERSON, C. E. and RIVEST, R. L. “Introduction to algorithms (3rd edition)”, MIT Press, 2009. SEDGEWICK, R. and WAYNE, K. “Algorithms (4th edition)”, Addison-Wesley Professional, 2011. KNUTH, D. E. “The Art of Computer Programming: Volume 3: Sorting and Searching (2nd Edition)”. Addison-Wesley, 1998.

• Research Methodology in Computing

  CP-704 - Metodologia de Pesquisa em Computação. Classificação das Pesquisas em Ciência da Computação; Enunciado de Problemas e Questões de Pesquisa; Elementos da Pesquisa; Gestão de Referências Bibliográficas; Tipos de Eventos e Publicações em Computação; Mapeamento e Revisão Sistemática da Literatura; Escrita Acadêmica de Artigos Científicos; Ética Acadêmica e Plataforma Brasil; Uso do LaTeX e Overleaf para escrita acadêmica. WAZLAWICK, R. S. Metodologia de Pesquisa para Ciência da Computação, 3ª ed., LTC, 2020. DREASCH, A., LACERDA, D. P., ANTUNES, J. A. V. J. Design Science Research: Método de Pesquisa para Avanço da Ciência e Tecnologia, 1ª ed. Bookman, 2014. Nakagawa, E. Revisão Sistemática da Literatura em Engenharia de Software: Teoria e Prática, 1ª.ed., LTC, 2017.

• Internet of Things

  CP-713 - Internet das Coisas. Requisitos: não há. Duração: 32h. Créditos: 2. Fundamentos de Internet das coisas (IoT). Modelos de referência e Arquiteturas. Métodos de Desenvolvimento de Sistemas. Conectividade da Coisa. Aspectos de Implantação: Computação na Nuvem, Névoa e Borda. Plataformas de IoT. Análise de Dados dos sensores. Aspectos de Segurança da Informação, Segurança Física e Privacidade. Aplicações para IoT: Smart Cities, Smart Health, Smart Transportation, Industry 4.0. Bibliografia: (1) Rajkumar Buya, Amir Vahid Dastjerdi. Internet of Things - Principles and Paradigms, Elsevier Inc. 2016. (2) Qusay F. Hassan, Internet of Things A to Z: Technologies and Applications, IEEE, 2018, pp.doi: 10.1002/9781119456735.index. (3) Perry Lea. Internet of Things for Architects, Packt Publish, 2018."

• Introduction to Data Analysis

  CP-746 - Introdução a Análise de Dados. Requisitos: não há. Duração:32h. Créditos: 2. O que é Ciência de Dados e suas aplicações. Revisão de conceitos de Probabilidade e Estatísticas. Fundamentos de Álgebra Linear. Estruturas de Dados aplicada: árvores, grafos, dicionários e coleções. Conceitos de modelagem de problema e aprendizado. Ambiente independente e identicamente distribuído. Definições de dados, informação e conhecimento. Etapas da Ciência de Dados: coleta, integração e armazenamento de dados; análise exploratória e visualização de dados; limpeza de dados; ajuste e avaliação de modelos: exemplos e estudos de caso. Ética no uso e manipulação de dados. Bibliografia: HASTIE, T.; TIBSHIRANI, R.; FRIEDMAN, R. The elements of statistical learning: data mining, inference, and prediction. Berlin: Springer, 2009. ZUMEL, Nina; MOUNT John. Practical data science with R. Shelter Island: Manning Pub., 2014. CIELEN, D.; MEYSMAN, A.; ALI, M. Introducing data science: big data, machine learning, and more, using Python tools. Shelter Island: Manning Pub., 2016.

• Security for Critical Systems

  CP-724 - Segurança em Sistemas Críticos. Requisitos: não há. Duração: 32h. Créditos: 2. Sistemas de Infraestruturas Críticas. Sistemas de Controle Industrial - ICS. Arquitetura de Segurança de ICS. Ameaças de ICS: sequestro, malwares e mecanismos de spam. Vulnerabilidades de ICS: ataques em ambiente restrito, fuzzing e DDoS. Técnicas de Análise de Risco para ICS e métricas de garantia de segurança. Ambientes de testbed para infraestruturas críticas. Thames, Lane; Schaefer, Dirk. Cybersecurity for Industry 4.0: Analysis for Design and Manufacturing. Ed. Springer. 2017. Tyson Macaulay; Bryan L. Singer. Cybersecurity for Industrial Control Systems: SCADA, DCS, PLC, HMI, and SIS. Ed. Auerbach Publications. 2012. Roberto Setola; Vittorio Rosato; Elias Kyriakides; Erich Rome. Managing the Complexity of Critical Infrastructures: A Modelling and Simulation Approach. Ed. Springer. 2017."

• Database

  CP- 733 - Projeto de Sistemas de Banco de Dados Requisitos: não há. Duração: 32h. Créditos: 2. Aplicações práticas de conceitos de Engenharia da Informação e de Sistemas de Gerenciamento de Banco de Dados. Modelagem, especificação,implementação e teste de um Projeto de Sistema Banco de Dados, envolvendo: estudo de caso, problemas reais e necessidades de mercado; desenvolvimento ágil, iterativo e incremental; arquiteturas tradicionais (SQL) e não tradicionais (NoSQL); e Big Data,utilizando teorias e práticas básicas de manipulação de dados com características de pelo menos 5 Vs (Volume, Variedade, Velocidade, Veracidade e Valor). EMC2 EDUCATION SERVICES “Data Science and Big Data Analytics: Discovering, Analyzing,Visualizing and Presenting Data”. 1st Ed. New Yor, NY: Wiley, 2015. DATE, C. J. Database Design and Relational Theory"". 1st Ed. Newton, MA: O´Reilly Media Inc., 2012. KORTH, H. F., SILBERSHATZ, A., and SUDARSHAN, S. “Sistema de Banco de Dados”,6a Ed. São Paulo, SP: Elsevier - Campos, 2012."

• Agile Project Management

  CP-736 - Gestão Ágil de Projetos Requisitos: não há. Duração: 32h. Créditos: 2. A Agilidade como ferramenta de mudança cultural e transformação digital. Cultura ágil: Manifesto Ágil, Valores, Princípios e equipes ágeis. Gerenciamento ágil de projetos e o ciclo de vida de produtos. Gerenciamento de requisitos, estórias do usuário e o papel do Product Ower. Processos Ágeis. PERKIN, N. and ABRAHAM, P. Building the Agile Business through Digital Transformation. Kogan Page; 2nd edition, 2021. CAMPBEL, A. Agile: Essentials of Team and Project Management. Manifesto for Agile Software Development. Independently Published, 2020. PALFREYMAN, J. Digital Transformation Handbook: An agile approach to maximise value. Palfreyman Ventures Limited, Edition 1.0, 2020."

• Artificial Intelligence

  CP-741 - Inteligência Artificial Requisitos: não há. Duração: 32h. Créditos: 2. Visão geral da área. Representação de problemas em espaço de estados. Métodos de busca de soluções. Método minimax, poda alfa-beta e variações. Mecanismos de inferência baseados em lógica de predicados e projeto de sistemas baseados em conhecimento .Planejamento. Aprendizado de máquina: modelos conexionistas, sociais e emergentes.Noçõe de inferência sob incerteza e redes bayesianas. Aplicações de inteligência artificial. RUSSEL, S.; NORVIG, P., Artificial Intelligence: A Modern Approach, 2nd Edition. Upper Saddle River: Prentice Hall, 2003. LUGER, G., Inteligência Artificial:Estruturas e Estratégias para a Resolução de Problemas Complexos. Porto Alegre:Bookman, 2004. NILSSON, N., Artificial Intelligence: A New Synthesis. San Francisco:Morgan- Kaufmann, 1998."

• Big Data

  CP-744 - Técnicas de Armazenamento e Análise de Dados Massivos. Requisitos: não há. Duração: 32h. Créditos: 2. Conceitos gerais: Análise de dados, Big data, Ciclo de Vida de Atividade de Análise de Dados; Estruturas de Armazenamento: Estrutura Relacional (Modelagem Relacional),Estrutura Dimensional (Modelagem Dimensional, Data Warehousing), Armazenamento não estruturado (NoSQL, Key-Value, Document, Column-Family, Graph), Armazenamento distribuído (MapReduce), Ingestão de dados; Técnicas de Análise: Análise Estatística(Métodos lineares, não-lineares e mistos), Análise Avançada de Dados (K-média, regras de associação, regressão linear, regressão logística, redes Bayesianas, árvores de decisão,análise de séries temporais), Análise de Texto (Análise de documentos e redes sociais); Visualização de dados: Infográficos, Dashboard, Técnicas de Disseminação. RAJARAMAN, A.; LESKOVEC, J.; ULLMAN, J. Mining of Massive Datasets. Cambridge: Cambridge University Press, 2014. 513 p. BERMAN, J. J. Principles of BigData: Preparing, Sharing, and Analyzing Complex Information. Waltham: MorganKaufmann, 2013. 1ª ed. SADALAGE, P. J.; FOWLER, M. NoSQL Distilled: A Briefguide to the Emerging World of Polyglot Persistence. Crawfordsville: Pearson Education,2013. 164 p."

• Cybersecurity Fundamentals

  CP-721 - Fundamentos de Segurança Cibernética. Requisitos: não há. Duração: 32h. Créditos: 2. Segurança de Sistemas: Compilação e Semântica de Execução, Análise de Binários, Ataques do Controle de Fluxo de Programas, Execução de Código Vulnerável, Aleatoriedade de endereçamento de memória, Proteção de Memória com Canários, Programação Orientada a Retornos, Integridade do Controle de Fluxo. Criptografia: Funções de números pseudoaleatórios, Cifradores Simétricos, Funções Hash, Criptografia de Chave Pública; Segurança de Redes: Segurança BGP e DNS, Teoria de Detecção de Ataques de Rede, Sistemas de Prevenção de Intrusão; Segurança Web: Ataques de Injeção, XSS e CSRF; Ataques de Negação de Serviço Distribuído; Segurança em Sistemas Operacionais: Autenticação e Autorização; Segurança em Ambiente de Computação Móvel. Charles P. Pfleeger, Shari Lawrence Pfleeger, Jonathan Margulies. Security in Computing. 5th Edition. Prentice Hall, 2015. Yuri Diogenes, Erdal Ozkaya. Cybersecurity - Attack and Defense Strategies: Infrastructure security with Red Team and Blue Team tactics. Packt 2018. Wenliang Du. Computer Security: a hands-on approach. Ed. Create Space. 2017."

• Real Time Embedded Systems

  CP-711 - Sistemas Embarcados de Tempo Real. Requisitos: não há. Duração: 32h. Créditos: 2. Conceitos de sistemas embarcados. Arquitetura de microcontroladores. Princípios básicos de sistemas de tempo real. Metodologias de projeto de sistemas embarcados. Sistemas de máquinas de estados. Integração hardware e software. Linguagens de modelagem. Administração do tempo em sistemas computacionais. Algoritmos de Escalonamento. Linguagens de programação. Sistemas operacionais de tempo real. Desenvolvimento de sistemas críticos de hardware/software. OSHANA R.; KRAELING, M. Software Engineering for Embedded Systems: Methods,Practical Techniques, and Applications. Elsevier, 2013. RIERSON, L. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press, 2013. BERGER, A. S. Embedded Systems Design: An Introduction to Processes, Tools, and Techniques CMP Books, 2002.

• Software Engineering

  CP-735 - Engenharia de Software. Requisitos: não há. Duração: 32h. Créditos: 2. Processos de desenvolvimento de software. Engenharia de requisitos. Arquitetura de software. Qualidade, confiabilidade e segurança de software. Verificação e validação: inspeções e testes de software. Gerência de configuração de software. Normas de Certificação de Software. Modelos de capacitação organizacional: CMMI, SPICE e MPS.br. Gerenciamento de projetos de software. SOMERVILLE, I. Engenharia de Software. 10a. ed., São Paulo: Pearson Addison-Wesley, 2019. PRESSMAN, R. S.; MAXIM, B. Engenharia de Software. 8a. ed., McGraw-Hill Bookman, 2016. RIERSON, L. “Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance”. Boca Raton, FL: CRC Press, 2013. RTCA “DO-178C - Software Considerations in Airborne Systems and Equipment Certification”. Washington, DC, 2011."

• Machine Learning and Pattern Recognition

  CP-742 - Aprendizado de Máquina e Reconhecimento de Padrões. Requisitos: não há. Duração: 32h. Créditos: 2. Introdução ao aprendizado indutivo. Análise exploratória de dados: estatísticas descritivas e visualização multivariada. Pré-processamentos de dados: limpeza, redução dimensional, transformações. Aprendizado preditivo: k-vizinhos mais próximos, árvores de decisão, modelos Bayesianos, Redes Neurais Artificiais, Máquinas de Vetores de Suporte. Aprendizado descritivo: k-médias, algoritmos hierárquicos. Modelos múltiplos (comitês). Metodologia de avaliação experimental de algoritmos de aprendizado. FACELI, K.; LORENA, A.C.; GAMA, J.; CARVALHO, A.C.P.L.F. (2011) Inteligência Artificial: uma abordagem de Aprendizado de Máquina. Editora LTC. FLACH, P. (2012). Machine learning: the art and science of algorithms that make sense of data. Cambridge University Press. JAMES, G.; WITTEN, D.; HASTIE, T.; TIBSHIRANI, R. (2013). An introduction to statistical learning. New York: Springer."