Ementa: Conceitos básicos: visão geral e princípios fundamentais da Engenharia de Software. Ciclo de vida do software e seus estágios. Requisitos e Análise: princípios da Engenharia de Requisitos de Software, técnicas, métodos e ferramentas para modelagem de sistema de software. Projeto: métodos e técnicas para projeto de sistemas de software. Padrões de Projeto. Projeto de arquitetura. Teste de software: níveis de teste, técnicas de teste, atividades de teste. Gerenciamento de projeto: planejamento, controle, revisão. Qualidade: gerenciamento do processo de desenvolvimento de software para garantir a sua qualidade. Melhoria do processo de software. Modelos de Maturidade. Engenharia de Software Experimental: Tipos de estudos experimentais. Projetos experimentais. Processo de experimentação. Análises qualitativas e quantitativas de dados.

Bibliografia: - FILHO, W., Engenharia de Software: Fundamentos, Métodos e Padrões, LTC Editora. 3ª. Edição. Rio de Janeiro - RJ, 2007. - SOMMERVILLE, I. Engenharia de Software. 6. ed. São Paulo: Addison-Wesley, 2003. - BECK, Kent. Programação extrema (XP) explicada: acolha as mudanças. Porto Alegre: Bookman, 2004. - PRESSMAN, R. Engenharia de Software. 5. ed. Rio de Janeiro: Mc Graw-Hill, 2002. - WOHLIN, C.; RUNESON, P.; HOST, M.; OHLSSON, M. C.; REGNELL, B.; WESSLEN, A. Experimentation in Software Engineering: An Introduction. - The Kluwer, International Series in Software Engineering, 2000.

Ementa: Fundamentos de imagens digitais. Transformação da escala de cinza. Modelos de filtragem espacial: suavização e realce. Filtragem no domínio da frequência. Reconstrução de imagens. Restauração de imagens. Sistemas de cor. Processamento de imagens em multiresolução. Operadores morfológicos: erosão, dilatação e dualidade. Segmentação de imagens. Representação e descrição de imagens.

Bibliografia: Rafael Gonzalez and Richard Woods. Digital Image Processing. Prentice Hall, 2008. - Rafael Gonzalez e Richard Woods. Processamento Digital de Imagens. Pearson, 2010. - Milan Sonka, Vaclav Hlavac, and Roger Boyle, Image Processing, Analysis, and Machine Vision, CL-Engineering, 2007. - John C. Russ, The Image Processing Handbook, CRC Press, 2006. - J. R. Parker, Algorithms for Image Processing and Computer Vision, Wiley, 1996.

Ementa: Elementos de análise de erro e condicionamento. Processo de fatoração na resoluçào de Sistemas Line ares: LU, LLt, LBTt, Transformações de Housholder, QR, Erros. Sistemas Compatíveis: Generalização dos processos de decomposição para sistemas retangulares LU, QR, DVS. Estimativa de posto. Mínimos quadrados Lineares. Uso das decomposições QR e DVS. Projeções.

Bibliografia: - LAX, P. - Linear Algebra, New York. John Wiley, 1997. - LIMA, E. L. - Álgebra Linear. Coleção Matemática Universitária, IMPA, 1995. - STRANG, G. - Linear Algebra and its Applications. 3 ed. San Diego. HBJ, 1988.

Ementa: Sistemas. Variáveis de sistemas. Avaliação de desempenho de sistemas: introdução, motivação, erros comuns, técnicas de avaliação e métricas. Introdução à teoria das filas. Modelagem de sistemas. Simulação de eventos discretos. Ferramentas de simulação. Validação e Verificação. Análise de resultados de simulação. Projeto de Experimento.

Bibliografia: - JAIN, R. The Art of Computer Systems Performance Analysis. New York: John Wiley & Sons, 1991. - Jerry Banks, John S. Carson, Barry L. Nelson, David M. Nicol. Discrete-Event System Simulation. 5th edition. Prentice Hall, 2009. - Averill Law. Simulation Modeling and Analysis. 4th edition. McGraw-Hill Publishing, 2006. - INCE, N.; BRAGG, A. Recent Advances in Modeling and Simulation Tools for Communication Networks and Services. New York: Springer, 2007.

Ementa: Conceitos Preliminares: representação; prova de teoremas; conjuntos; relações; funções; conjuntos enumeráveis; definições recursivas; indução matemática; linguagens formais; gramáticas; problemas de decisão. Máquinas de Estado-Finito: alguns exemplos; autômatos finitos determinísticos; autômatos finitos não determinísticos; linguagens regulares: propriedades; máquinas de Mealy e de Moore; expressões regulares; gramáticas regulares; linguagens regulares: propriedades. Autômatos com Pilha: uma introdução informal; autômatos com pilha determinísticos; autômatos com pilha não determinísticos; gramáticas livres do contexto; linguagens livres do contexto: propriedades. Máquinas de Turing; Algoritmo de Markov; gramáticas e máquinas de Turing; propriedades das linguagens recursivamente enumeráveis e linguagens recursivas. Indecidibilidade: funções primitivas recursivas e a tese de Church-Turing; máquina de Turing universal; o problema da parada; redutibilidade; exemplos de problemas indecidíveis.

Bibliografia: -VIEIRA, N.J. Introdução aos Fundamentos da Computação: Linguagens e Máquinas, Pioneira Thomson Learning, 2006. -HOPCROFT, John E; ULLMAN, Jeffrey D; MOTWANI, Rajeev. Introduction to Automata Theory, Languages, and Computation, 3rd ed., Addison-Wesley, 2006. -MENEZES, Paulo Blauth. Linguagens Formais e Autômatos. Editora Sagra Luzzato. Série Livros Didáticos; 3a. Ed. 2000.

Ementa: Complexidade computacional: Dominação assintótica. Projeto de algoritmos: Divisão e conquista, progralação dinâmica, método guloso, Backtracking, Heurísticas. Problemas P, NP, NP-Completo e NP-DifícilL.

Bibliografia: - CORMEN, Thomas. H.; LEISERSON, Charles. E.; RIVEST, Ronald. L.; STEIN, Clifford. Algoritmos: Teoria e Prática. Rio de Janeiro. Campus. 2002. - CORMEN, Thomas. H.; LEISERSON, Charles. E.; RIVEST, Ronald. L.; STEIN, Clifford. Introduction to Algorithms. MIT Press. 2009. - ZIVIANI, Nívio.; Projeto de Algoritmos com Implementações em Pascal e C. Thomson, 2005. MICHAEL, T. G. & ROBERTO, T., Projeto De Algoritmos: Fundamentos, Análise e Exemplos da Internet. Bookman. 2004.

Ementa: Ementa livre.

Bibliografia: - Artigos de periódicos, anais de congressos, teses, dissertações e relatórios de pesquisa.

Ementa: Ementa livre.

Bibliografia: - Artigos de periódicos, anais de congressos, teses, dissertações e relatórios de pesquisa.

Ementa: Revisão de probabilidade. Introdução aos filtros bayesianos, filtro de Kalman e filtro de partículas. Modelagem probabilística do movimento e da percepção em robótica. Localização probabilística de robôs. Mapeamento probabilístico de ambientes. Localização e mapeamento simultâneos (SLAM).

Bibliografia: - THRUN, S., BURGARD, W. and FOX, D., Probabilistic Robotics. The MIT Press, Cambridge, MA, 2005. - SICILIANO, B., SCIAVICCO, L., VILLANI, L., ORIOLO, G., Robotics: Robotics Modeling, Planning and Control, Springer, 2009.

Ementa: Introdução: definições, conceitos básicos, aplicações e pesquisas. Sensores e Atuadores: tipos e características. Arquiteturas: reativa, deliberativa e híbrida. Modelagem: cinemática e dinâmica. Localização e Mapeamento: conceitos básicos e abordagens probabilísticas. Planejamento de Caminhos: espaço de configuração e modelagem de obstáculos, métodos baseado em rotas, decomposição em células e métodos baseados em campo de potencial. Controle de Trajetória: controladores cinemáticos e dinâmicos. Percepção Sensorial.

Bibliografia: - SIEGWART, R AND NOURBAKHSH, Introduction to Autonomous Mobile Robots, Cambridge: MIT Press, 2004. - 
MURPHY, R. Introduction to AI Robotics. Cambridge: MIT Press, 2000.
 - THRUN, S., BURGARD, W. and FOX, D., Probabilistic Robotics. The MIT Press, Cambridge, MA, 2005.
 - DUDEK, G. and JENKIN, M., Computational Principles of Mobile Robotics. Cambridge Univ. Press, 2000.
 - SICILIANO, B., SCIAVICCO, L., VILLANI, L., ORIOLO, G., Robotics: Robotics Modeling, Planning and Control, Springer, 2009.

Ementa: Aspectos de Álgebra Linear em Métodos de Pontos Interiores; Condições de Otimalidade KKT na
Programação Linear; Método Afim Escala e Trajetória Central para P.L.; Algoritmos de Trajetória Central, Algoritmos de Redução Potencial, Algoritmos Inviáveis.

Bibliografia: - Primal-Dual Interior-Point Methods, Stephen J. Wright, SIAM. - Otimização linear, N. Maculan e M. H. C. Fampa, Editora UnB, 2006. - Linear Programming - Foundations and Extensions, Robert Vanderbei, Kluwer's International Series. - Introduction to Linear Optimization, Dimitris Bertsimas & John N. Tsitsiklis, Athena Scientific.

Ementa: Modelagem matemática; Solução gráfica; Teoria básica e análise convexa; O método Simplex; Variáveis canalizadas; Dualidade.

Bibliografia: - Luenberger, D.G. e Ye, Y., Linear and nonlinear programming. Springer, 546 p., 2008. - Vanderbei, R. J., Linear Programming – Foundations and Extensions, Series: International Series in Operations Research & Management Science , Vol. 114, 464 p., 2008. - Bertsimas, D. e Tsitsiklis, J.N., Introduction to linear optimization. Athena Scientific, 608p., 1997. - Bazaraa, M., Jarvis, J. e Sherali, H., Linear Programming and Network Flows, 2nd edition, Wiley, 684 p., 1990. - Chvatal, V., Linear Programming. W. H. Freeman, 478p. 1983.

Ementa: Métodos de otimização uni-dimensional. Métodos para otimização irrestrita (métodos de descida e busca linear, o método do gradiente, o método de Newton, métodos quase-Newton, métodos de direções conjugadas). Estratégias de globalização de convergência. Métodos para otimização com restrições (métodos do gradiente projetado, métodos de direções viáveis, penalização externa, penalização interna, Lagrangianas aumentadas, programação quadrática seqüencial). Métodos para otimização não-diferenciável (métodos de subgradiente, o método de planos cortantes, métodos de feixe).

Bibliografia: - BERTSEKAS, D.P. - Nonlinear Programming. Athena Scientific, 1995. - BONNANS, J.F., GILBERT J-CH., LEMARÉCHAL, C., SAGASTIZÁBAL, C. - Numerical optimization : theoretical and practical aspects. 2nd ed, Berlin; New York. Springer, 2006. - DENNIS JR, J. E., SCHNABEL, R. B. - Numerical methods for unconstrained optimization and nonlinear equations. Corrected reprint of the 1983 original. Classics in Applied Mathematics, 16. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1996. - IZMAILOV, A. E., SOLODOV, M. - Otimização, volume 2. Rio de Janeiro, IMPA, 2007.

Ementa: Ementa livre.

Bibliografia: - Artigos de periódicos, anais de congressos, teses, dissertações e relatórios de pesquisa.

Ementa: Introdução, Extração de Características, Aprendizagem por Reforço, Aprendizagem de Conceito, Árvores de Decisão, Aprendizagem Baseadas em Instâncias, Aprendizagem Bayesiana, Redes Neurais, Aprendizagem Não-Supervisionada, Algoritmos Genéticos.

Bibliografia: - Machine Learning, T. Mitchell, 1997, McGraw-Hill. - Alpaydin, E., Introduction to Machine Learning, Second Edition (Adaptive Computation and Machine Learning), 2010, MIT Press. - Haykin, S.; ?Redes neurais, princípios e prática?; 2a. ed.; Bookmann; Porto Alegre, RS; 2004. - R. Sutton and A. G. Barto. Reinforcement Learning: An Introduction. MIT Press, Cambridge, 1998. - Duda, R.O.; Hart, P.E. and Stork, D.G. Pattern Classification, 2nd Ed. Wiley-Interscience, 2000.

Ementa: Existência de soluções. Condições de otimalidade para problemas sem restrições. Condições de otimalidade em forma primal para problemas com restrições. O cone tangente. Condições de otimalidade no caso das restrições de igualdade (condições de Lagrange, condições de segunda ordem). Conjuntos convexos. Teoremas de separação. Teoremas de alternativa. Funções convexas. Condições de otimalidade no caso das restrições de igualdade e desigualdade (condições de Karush-Kuhn-Tucker, condições de segunda ordem). Elementos da Teoria de Dualidade.

Bibliografia: - BAZARAA, M. S., SHERALI, H. D., SHETTY, C. M. - Nonlinear programming: Theory and algorithms. 3nd ed. Wiley-Interscience, John Wiley & Sons, Hoboken, NJ, 2006. - BERTSEKAS, D. P. - Nonlinear programming, Belmont, Mass.: Athena Scientific, 1995. - IZMAILOV, A., SOLODOV, M. - Otimização, volume 1: Rio de Janeiro, IMPA, 2005. - LUENBERGER, D. G. - Linear and nonlinear programming. 2nd ed. Kluwer Academic Publishers, Boston, MA, 2003. - PERESSINI, A. L.; SULLIVAN, F. E., UHL, J. J., JR- The mathematics of nonlinear programming. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1988. - ROCKAFELLAR, R. T. - Convex Analysis. Princeton Univ. Press, 1970.

Ementa: Análise de erros, interpolação, integração numérica. Álgebra linear numérica: métodos diretos e iterativos para sistemas lineares. Sistemas não lineares: métodos de Newton. Tópicos complementares: a) Problemas de autovalores. b) Métodos numéricos em equações diferenciais ordinárias. c) Outros tópicos de interesse atual.

Bibliografia: - GOLUB, E., VAN LOAN, C. - Matrix Computations. John Hopkins. Univ. Press, 1983. - ORTEGA, J. M. - Numerical Analysis, A Second Course. New York, Academic Press, 1972. - STOER, J., BULIRSCH, R. - Introduction to Numerical Analysis. Berlin, Springer- Verlag, 1.

Ementa: Introdução: motivação para teste de software; problemas causados por falhas em softwares; custos nas atividades de testes. Fundamentos do Teste de Software: terminologia associada à área de teste; questões chaves; testabilidade, critérios para seleção, adequação de teste, efetividade,objetivos. Níveis de Teste: alvo do teste; teste de unidade, teste de integração e teste de sistema; objetivo do teste; teste de aceitação; teste de instalação; teste alfa e beta; teste funcional; teste de regressão; teste de desempenho; teste de estresse; teste de usabilidade. Técnicas de Teste:técnicas de caixa-preta; partição de equivalência; análise de valores de fronteira; tabela de decisão; máquina de estados finitos; teste baseado em especificações formais; teste baseado em especificações UML; técnicas de caixa-branca; critérios fluxo controle; fluxo de dado; técnicas baseadas em falhas; adivinhação de erros; mutação; técnicas baseadas no uso do software; técnica baseada na natureza da aplicação; Métricas de Teste:métricas relacionadas ao software sob teste; tamanho, estrutura; métricas relacionadas aos testes executados; cobertura, inserção de falhas, escore de mutação. Um Exemplo do Fluxo de Teste: execução das diversas atividades existentes em um fluxo técnico de teste de um processo de software, utilizando um exemplo real; planejamento dos testes; desenho dos testes; implementação dos testes; execução dos testes; verificação do término; balanço final. Automação de testes: oportunidades relacionadas a cada atividade de teste.

Bibliografia: - PERRY, William E., Effective Methods for Software Testing, 3a. edição, Editora John Wiley & Sons, 2006. - BLACK, Rex, Managing the Testing Process: Practical Tools and Techniques for Managing Hardware and Software Test, Editora John Wiley & Sons, 3a edição, 2009. - HUTCHESON, Marnie L., Software Testing Fundamentals: Methods and Metrics, Editora John Wiley & Sons, 2003.

Ementa: Sistemas Baseados em Conhecimento, Engenharia do Conhecimento, Aquisição de Conhecimento, Resolução de Problemas, Estratégias de Pesquisa em Espaços de Estados, Aprendizado de Máquina, Sistemas Fuzzy, Computação Evolutiva, Sistemas Híbridos, Sistemas Multiagente.

Bibliografia: - Coppin, Ben., Inteligência Artificial, 1ª Edição, Ltc, 2010. - Russell, S. & Norvig, P. "Artificial Intelligence - A Modern Approach", 2nd edition, , 2003. - Schalkoff, R.J., Intelligent Systems: Principles, Paradigms and Pragmatics, Jones and Bartlett, 2009. - Michael Wooldridge, An Introduction to MultiAgent Systems, John Wiley & Sons Ltd, 2002.

Ementa: Sistemas Embarcados: Definição; Aplicações de sistemas embarcados; Arquitetura de microprocessadores embarcados; Arquiteturas de hardware e software. Software Embarcado: Modelos de Computação (MoCs); Linguagens de programação para implementação de MoCs; Projeto de software para sistemas embarcados; Sistemas operacionais embarcados. Metodologias de projeto de sistemas embardados: Projeto baseado em reuso; Projeto baseado em plataforma. Exploração do espaço de projeto de sistemas embarcados.

Bibliografia: - Michael Barr, Anthony Massa. Programming Embedded Systems: With C and GNU Development Tools. O'Reilly, 2007. - John Catsoulis. Designing Embedded Hardware. O'Reilly, 2005. - Wayne Wolf. Computers as Components. McGraw Hill, 2001.

Ementa: Arquitetura TCP/IP. Redes Wifi. Redes Wimax. Redes Ópticas Transparentes. Redes de Sensores sem Fio. Redes Veiculares.

Bibliografia: - KUROSE, J. F. and ROSS, K. W. Computer Networking: a Top-Down Approach. 5th edition. Addison Wesleys, 2009. - Biswanath Mukherjee. Optical WDM Networks. Springer, 2006. - Rajiv Ramaswami, Kumar Sivarajan, and Galen Sasaki. Optical Networks: A Practical Perspective, 3rd Edition. Morgan Kaufmann, 2009. - Martin Maier. Optical Switching Networks. Cambridge University. 2008. - Mohamed Watfa. Advances in Vehicular Ad-hoc Networks: Developments and Challenges. Information Science Publishing, 2010. - Artigos da biblioteca digital do IEEE (IEEE Xplore) via portal de Periódicos da Capes.

Ementa: Gramáticas e linguagens; Tradução de linguagens dirigida por sintaxe; Geradores de analisadores léxicos e sintáticos; Geradores de código dirigido a modelos; Tradutores; Ambientes de execução; Otimizações independentes de máquina.

Bibliografia: - AHO, A. V.; LAM, M.; SETHI, R; ULLMAN, J. Compiladores: Princípios, Técnicas e Ferramentas. 2ª Edição. Pearson / Addison-Wesley, 2008. - PARR, Terence. Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Pragmatic Programmers). Ed. Pragmatic Bookshelf; 1 edition, 2009. - LEVINE, John. Flex & Bison: Text Processing Tools. O'Reilly, 2009. - PARR, Terence. The Definitive Antlr Reference: Building Domain-Specific Languages (Pragmatic Programmers). Ed. Pragmatic Bookshelf; 1 edition, 2007.a.

Ementa: Introdução a visão computacional. Radiometria e sombreamento. Modelos de câmeras e calibração. Modelos de cor e textura. Métodos de segmentação de regiões. Utilização de descritores. Técnicas de detecção e reconhecimento de padrões. Geometria de múltiplas imagens. Visão estéreo. Fluxo óptico e movimento. Estrutura a partir de movimento. Construção de aplicação de sistemas de visão computacional.

Bibliografia: - David A. Forsyth and Jean Ponce, Computer Vision: A Modern Approach, Prentice-Hall, 2003. - E. R. Davies, Machine Vision, Third Edition: Theory, Algorithms, Practicalities (Signal Processing and its Applications), Morgan Kaufmann, 2005. - Robert M. Haralick and Linda G. Shapiro, Computer and Robot Vision (Volume I), Prentice-Hall, 2002. - Robert M. Haralick and Linda G. Shapiro, Computer and Robot Vision (Volume II), Prentice-Hall, 2002. - Linda G. Shapiro, Computer Vision, Prentice-Hall, 2001. - Richard Hartley and Andrew Zisserman , Multiple View Geometry in Computer Vision, Cambridge University Press, 2004.

Ementa: Conceitos básicos de Microeletrônica: Transistor como chave; Portas lógicas básicas; Lógica estática CMOS. Ferramentas de projeto: Linguagens de descrição de hardware; Ferramentas de simulação; Ferramentas de Síntese. Projeto de caminho de dados: Modelo PC/PO;Caminho de dados monociclo e caminho de dados multiciclo; projeto RISC. Arquiteturas dedicadas: ASIPs; ASICs; FPGA. Sistemas Integrados: Redes em chip (NoC); Sistemas em chip único (SoC); Muiti-processadores em chip único (MP-SoC).

Bibliografia: - Farzad Nekoogar, Faranak Nekoogar, From ASICs to SOCs: A Practical Approach, Pearson Education, 2003 - Michael Keating, Pierre Bricaud, Reuse Methodology Manual for System-On-A-Chip Designs, Kluwer Academic Publishers, 3rd edition, 2002 - Tim Kogel, Rainer Leupers and Heinrich Meyr. Integrated System-level Modeling of Network-on-Chip enabled Multi-Porcessor Platforms. Springer, 2006. - Networks-on-Chip. Axel Jantsch and Hannu Tenhunen. Kluwer Academic Publishers, 2003. - Jan Rabaey, Digital Integrated Circuits, Prentice Hall, 1996. - N. Weste, K. Eshraghian, Principles of CMOS VLSI Design. Addison-Wesley, 2nd edition, 1993. - D. Patterson, J. Hennessy, Computer Organization and Design: The Software Hardware Interface. Morgan Kaufmann, 1993 - Allen Dewey, Analysis and Design of Digital Systems with VHDL. PWS Publishing, 1997. - Artigos de periódicos, anais de congressos, teses, dissertações e relatórios de pesquisa.