GRADE CURRICULAR CURRCULO 2009 CDIGO DO CURSO: 12009200 CURSO: CINCIA DA COMPUTAO

Durao do Curso: 4 ANOS E MEIO (4,5 MINIMO E 7,0 MXIMO) ANOS. DECISO CONSEPE/UFERSA N 015/2009 DE 09/07/2009

Carga Horria: 3060 horas/aula, SENDO 2700 DE HORAS-AULA E 360 DE ESTGIO SUPERVISIONADO. FUNCIONAMENTO A PARTIR DE 2006.2.
Perodo Cdigo
EXA0101 EXA0114 1 EXA0118 EXA0120 EXA0125 EXA0096 EXA0102 2 EXA0104 EXA0146 VEG0004 ACS0012 EXA0130 3 EXA0149 EXA0151 EXA0152 EXA0100 EXA0103 4 EXA0153 EXA0155 EXA0156 EXA0157 EXA0158 5 EXA0159 EXA0160

Disciplina
CLCULO I GEOMETRIA ANALTICA INTRODUO COMPUTAO INTRODUO LGICA MECNICA CLSSICA LGEBRA LINEAR CLCULO II CIRCUITOS DIGITAIS PROGRAMAO DE COMPUTADORES ESTATSTICA FILOSOFIA DA CINCIA E METODOLOGIA CIENTFICA PROGRAMAO ORIENTADA A OBJETO MATEMTICA DISCRETA ELETRICIDADE E MAGNETISMO ESTRUTURA DE DADOS I ARQUITETURA E ORGANIZAO DE COMPUTADORES CLCULO NUMRICO ANLISE E PROJETO DE SISTEMAS TEORIA DOS GRAFOS ESTRUTURA DE DADOS II LINGUAGENS FORMAIS E AUTMATOS ANLISE DE ALGORITMOS REDES DE COMPUTADORES I BANCO DE DADOS I ELETIVA I

CR
4 4 4 4 4 20 4 4 4 4 4 20 4 4 4 4 4 20 4 4 4 4 4 20 4 4 4 4 4 20

CH
60 60 60 60 60 300 60 60 60 60 60 300 60 60 60 60 60 300 60 60 60 60 60 300 60 60 60 60 60 300 60 60 60 60 300

Pr-Requisito
-

GEOMETRIA ANALTICA CLCULO I INTRODUO LGICA INTRODUO COMPUTAO CLCULO I PROGRAMAO DE COMPUTADORES CLCULO II PROGRAMAO DE COMPUTADORES CIRCUITOS DIGITAIS CALCULO II, LG. LINEAR, PROG. DE COMP. PROGRAMAO ORIENTADA A OBJETO LG. LINEAR, PROG. DE COMPUTADORES ESTRUTURA DE DADOS I MATEMTICA DISCRETA ESTRUTURA DE DADOS II TEORIA DOS GRAFOS ESTRUTURA DE DADOS II

EXA0161 EXA0162 6 EXA0163 EXA0164

REDES DE COMPUTADORES II ENGENHARIA DE SOFTWARE TEORIA DA COMPUTAO SISTEMAS OPERACIONAIS ELETIVA II

4 4 4 4 20

REDES DE COMPUTADORES I ANLISE E PROJETO DE SISTEMAS LINGUAGENS FORMAIS E AUTMATOS ARQUIT. E ORGANIZ. DE COMPUTADORES

Perodo

Cdigo
EXA0165 EXA0166 EXA0167 EXA0168

Disciplina
SISTEMAS MULTIMDIA COMPILADORES INTELIGNCIA ARTIFICIAL MTODOS FORMAIS ELETIVA III

CR
4 4 4 4 20

CH
60 60 60 60 300 60 60 60 60 300 60 60 60 60 60 300 360 3.060

Pr-Requisito
TEORIA DA COMPUTAO ESTRUTURA DE DADOS II INTROD. LGICA, ESTRUT. DE DADOS II

ACS0178 EXA0169 8 EXA0170 EXA0171

SOCIOLOGIA SEGURANA COMPUTACIONAL COMPUTAO GRFICA PESQUISA OPERACIONAL ELETIVA IV

4 4 4 4 20

REDES I, ESTRUTURA DE DADOS II PROG. ORIENT. A OBJETOS, LG. LINEAR LGEBRA LINEAR

ACS0506 EXA0188 9 EXA0191 EXA0193

EMPREENDEDORISMO PROCESSAMENTO DIGITAL DE IMAGENS COMPUTAO PARARELA GESTO DE PROJETOS ELETIVA V 360 h de Estgio Supervisionado* ou 180 h de

4 4 4 4 4 20

CLCULO NUMRICO ARQ. E ORG. DE COMPUTADORES, REDES I ENGENHARIA DE SOFTWARE

EXA0236 TOTAL

Optativas + 180 h de Estgio Supervisionado ou Monografia

24 204

* A partir do 7 perodo

Cdigo
1200011 1200122 1200261

Disciplina Antiga
FSICA I INTRODUO A FUNO DE VRIAS VARIVEIS ESTRUTURA DE DADOS LAB. DE LINGUAGENS DE PROGRAMAO ANLISE E PROJETO DE SISTEMAS I ANLISE E PROJETO DE SISTEMAS II SISTEMA DE BANCO DE DADOS I SISTEMA DE BANCO DE DADOS II CONSTRUO DE COMPILADORES COMPUTAO GRFICA E MULTIMDIA INTRO. A AUTOMAO APLIC. AGROINDUSTRIA COMPUTAO PARALELA E DISTRIBUDA

Cdigo
EXA0125 EXA0149 EXA0152 EXA0156 EXA0153 EXA0160 EXA0180 EXA0166 EXA0170 EXA0178 EXA0191

Disciplina Nova
MECNICA CLSSICA MATEMTICA DISCRETA ESTRUTURA DE DADOS I ESTRUTURA DE DADOS II ANLISE E PROJETO DE SISTEMAS BANCO DE DADOS I BANCO DE DADOS II COMPILADORES COMPUTAO GRFICA AUTOMAO E CONTROLE COMPUTAO PARALELA

Equivalncias

1200510 1200504 1200507 1200270 1200516 1200271 1200280 1200281 1200289

Cdigo
ACS0050 ACS0600 ACS0700 EXA0172 EXA0173 EXA0174 EXA0175 EXA0178 EXA0179 EXA0180

Disciplina
ANLISE E EXPRESSO TEXTUAL FUNDAMENTOS DE ECONOMIA LIBRAS INTRODUO A MICROELETRONICA INFORMTICA INDUSTRIAL ANLISE E PROJETO DE SISTEMAS I ARQUITETURA DE SOFTWARE AUTOMAO E CONTROLE AVALIAO DE DESEMPENHO DE REDES BANCO DE DADOS II DESENVOLVIMENTO DE JOGOS SISTEMAS DE TEMPO REAL SISTEMAS DISTRIBUIDOS ENGENHARIA DE REQUISITOS SISTEMAS EMBARCADOS GERNCIA DE REDES SOFTWARE BSICO INTERCONEXO DE REDES INTERFACE HOMEM-MQUINA LABORATRIO DE PROGRAMAO LINGUAGEM DE DESCRIO DE HARDWARE MICROPROCESSADORES E MICROCONTROLADORES PROGRAMAO ORIENTADA A ASPECTOS PROGRAMAO PARA INTERNET QUALIDADE DE SOFTWARE REDES DE SENSORES REDES PTICAS SISTEMAS DE INFORMAO GEOGRFICA

CR
4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4

CH
60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60 60

Pr-Requisito
PROGRAMAO DE COMPUTADORES ENGENHARIA DE SOFTWARE CLCULO NUMRICO REDES DE COMPUTADORES II BANCO DE DADOS I COMPUTAO GRFICA SIST. OPERACIONAIS, ESTRUT. DE DADOS II REDES I, SISTEMAS OPERACIONAIS ENGENHARIA DE SOFTWARE ARQUITETURA E ORG. DE COMPUTADORES REDES DE COMPUTADORES II REDES DE COMPUTADORES II ENGENHARIA DE SOFTWARE PROGRAMAO ORIENTADA A OBJETOS CIRCUITOS DIGITAIS ARQUIT. E ORGANIZ. DE COMPUTADORES PROGRAMAO ORIENTADA A OBJETOS PROGRAMAO ORIENTADA A OBJETOS ENGENHARIA DE SOFTWARE REDES DE COMPUTADORES I REDES DE COMPUTADORES II BANCO DE DADOS I

Eletivas / Optativas

EXA0181 EXA0182 EXA0183 EXA0184 EXA0185 EXA0186 EXA0187 EXA0189 EXA0190 EXA0192 EXA0194 EXA0195 EXA0196 EXA0197 EXA0198 EXA0199 EXA0200 EXA0201

UNIVERSIDADE FEDERAL RURAL DO SEMI-RIDO CURSO DE CINCIA DA COMPUTAO GRADE CURRICULAR 1 Perodo
Geometria Analtica Clculo I Mecnica Clssica Introduo Computao Introduo Lgica
1

2 Perodo
2

lgebra Linear

Clculo II

Estatstica
3

Programao de Computadores

Circuitos Digitais

3 Perodo

Filosofia da Cincia e Metodologia Cientfica

3

Eletricidade e Magnetismo
3

Matemtica Discreta

Programao Orientada a Objetos

4

Estrutura de Dados I

4 Perodo

Teoria dos Grafos

Clculo Numrico
5

Anlise e Projeto de Sistemas

Estrutura de Dados II

Arquitetura e Organizao de Computadores

7

5 Perodo

Redes de Computadores I
8

Linguagens Formais e Autmatos

Anlise de Algoritmos

Banco de Dados I
7

Eletiva I

6 Perodo

Redes de Computadores II
6

Teoria da Computao

Engenharia de Software

Sistemas Operacionais
1 6

Eletiva II

7 Perodo

Inteligncia Artificial
6 2

Compiladores
4

Sistemas Multimdia
2

Mtodos Formais

Eletiva III

8 Perodo

Segurana Computacional

Computao Grfica
5 7

Sociologia
8

Pesquisa Operacional

Eletiva IV

9 Perodo

Empreendedorismo

Processamento Digital de Imagens

Computao Paralela

Gesto de Projetos

Eletiva V

Cincias Bsicas

Fundamentos da Computao

Tecnologia da Computao

Contexto Social e Profissional

Ementas do Curso de Cincia da Computao

1 Semestre

Geometria Analtica Conceito elementar vetor: propriedades gerais. Produtos: escalar, vetorial e misto. Equaes vetoriais. Retas e planos: Propriedades gerais. Noes sobre cnicas e qudricas. Noes sobre a classificao das cnicas. Clculo I Funes. Limites. Derivadas, aplicaes de derivada. Introduo s integrais. Mecnica Clssica Unidades. Grandezas fsicas e vetores. Equilbrio de uma partcula. Movimento retilneo. Segunda lei de Newton e gravitao. Movimento plano. Trabalho e energia. Impulso e momento linear. Equilbrio. Torque. Rotao. Introduo Computao Conceitos bsicos de computao. A informao e sua representao: sistemas de numerao, representao de nmeros naturais e reais, codificao alfanumrica. Arquitetura bsica de um computador. Viso geral das reas da computao. Desenvolvimento de algoritmos estruturados. Introduo Lgica Lgica proposicional e de predicados. Linguagem proposicional e de primeira ordem. Tabelas verdade e estruturas de primeira ordem. lgebra de Boole e aplicaes a circuitos digitais.

Ementas do Curso de Cincia da Computao

2 Semestre

lgebra Linear Matrizes. Sistemas lineares. Determinantes. Espaos vetoriais. Combinaes lineares. Transformaes lineares. Clculo II Integrais imprprias. Tcnicas de integrao. Aplicaes das integrais. Introduo s equaes diferenciais lineares de primeira ordem. Estatstica Estatstica descritiva. Conjuntos e probabilidades. Variveis aleatrias. Distribuies de probabilidade. Distribuies especiais de probabilidade. Teoria da amostragem. Teoria da estimao. Testes de hipteses. Regresso linear e correlao. Programao de Computadores Estudo de uma linguagem de programao estruturada. Tipos de dados bsicos e compostos. Estruturas de controle: desvio e repetio. Operadores lgicos e relacionais. Modularidade e funes. Entrada e sada de dados. Organizao de arquivos. Representao de algoritmos na linguagem de programao. Construo de programas. Circuitos Digitais Introduo aos conceitos bsicos de projeto lgico. Portas lgicas. Simulao de circuitos digitais. Minimizao de funes lgicas. Mapas de Karnaugh. Circuitos combinatrios. Componentes seqenciais e de memria. Projeto de sistemas digitais.

Ementas do Curso de Cincia da Computao

3 Semestre

Filosofia da Cincia e Metodologia Cientfica Filosofia da cincia. Deontologia cientfica. Pesquisa cientfica. Mtodo cientfico. Pesquisa emprica. Pesquisa bibliogrfica. Projeto de pesquisa. Fases da pesquisa. Redao tcnica. Apresentao de trabalhos cientficos. Eletricidade e Magnetismo Carga eltrica, eletrosttica, capacitores, dieltricos, corrente eltrica, resistores, potncia eltrica, noes de circuitos eltricos de corrente contnua, magnetosttica, induo eletromagntica, indutncia, ondas eletromagnticas. Matemtica Discreta Mtodos de demonstrao. Teoria dos conjuntos, relaes e funes. Relaes de ordem e equivalncia. Recurso e induo matemtica. Noes de estruturas algbricas. Elementos de teoria dos nmeros. Contagem. Programao Orientada a Objeto Conceitos de orientao a objetos: objetos, operaes, mensagens, mtodos e estados; Classes e seus tipos. Construtores e finalizadores. Polimorfismo. Abstraes, generalizaes, superclasse e subclasse. Herana simples e mltipla e suas conseqncias. Construtores. Aplicaes dos conceitos utilizando uma linguagem de programao orientada a objetos. Estrutura de Dados I Introduo a anlise de complexidade de algoritmos. Representao e manipulao da informao: vetores, registros, unies, enumeraes, ponteiros, alocao dinmica de memria, passagem de parmetros por referncia. Estruturas lineares: listas ordenadas, listas encadeadas, pilhas, filas. Algoritmos de manipulao, pesquisa e ordenao de dados.

Ementas do Curso de Cincia da Computao

4 Semestre

Teoria dos Grafos Grafos orientados e no-orientados. Caminhos e circuitos. Planaridade. Conectividade. Colorao. Algoritmos em grafos. Problemas intratveis. Busca em largura e profundidade. Algoritmos de menor caminho. rvore geradora. Ordenao topolgica. Clculo Numrico Sistemas de numerao. Erros. Interpolao. Mnimos quadrados. Zeros de funes. Integrao numrica. Mtodos numricos na lgebra matricial. Resoluo numrica de equaes lineares. Tratamento numrico de equaes diferenciais ordinrias. Anlise e Projeto de Sistemas Componentes de um sistema orientado a objetos. Ferramentas de modelagem orientada a objetos. Metodologias para anlise e desenvolvimento de sistemas orientados a objetos. Estudo de casos utilizando as metodologias apresentadas. Estrutura de Dados II Listas de prioridade. Tabelas de disperso. Compresso de dados. Gerenciamento de memria. rvores e suas generalizaes. rvores binrias. rvores binrias de busca e balanceadas. rvores B. rvores digitais. Estruturas auto-ajustveis. Aplicaes. Arquitetura e Organizao de Computadores Organizao de computadores: memrias, unidades centrais de processamento, entrada e sada. Linguagens de montagem. Modos de endereamento, conjunto de instrues. Mecanismos de interrupo e execuo. Barramento, comunicaes, interfaces e perifricos. Organizao de memria. Arquiteturas RISC e CISC.

Ementas do Curso de Cincia da Computao

5 Semestre

Redes de Computadores I Conceitos bsicos. O Modelo de camadas ISO. Protocolos e arquiteturas. Arquitetura TCP/IP. Tecnologias de suporte a redes. Protocolos internet (Camadas de aplicao, transporte e rede). Algoritmos de roteamento. Linguagens Formais e Autmatos Gramticas. Linguagens regulares. Autmatos finitos. Linguagens livres de contexto. Autmatos com pilha. Mquinas de turing. O problema da parada da mquina de turing. Hierarquia das classes de linguagem. Anlise de Algoritmos Medidas de complexidade. Anlise assinttica. Anlise de algoritmos recursivos e iterativos. Classes de problemas e teoria da NP-completude. Backtraking. Programao dinmica. Tcnicas gulosas. Branch-and-Bound. Algoritmos probabilsticos e aproximativos. Heursticas e metaheursticas. Banco de Dados I Conceitos de bases de dados. Modelos conceituais de informaes. Modelos de dados: relacional, de redes e hierrquicos. Introduo teoria relacional: dependncias funcionais e multivaloradas, formas normais. Restries de integridade e de segurana. Linguagens de declarao e de manipulao. Linguagens de quarta gerao. Geradores de aplicaes. Gerenciadores de bancos de dados e sua implementao.

Ementas do Curso de Cincia da Computao

6 Semestre

Redes de Computadores II Redes sem fio. Redes de alta velocidade. Qualidade de servio. Teoria da Computao Funes recursivas. Mquinas de turing. Tese de church. Gdel e a incompletude. Lambda-clculo. Domnios. Continuidade. Relaes entre os modelos de computabilidade. Engenharia de Software Processo de desenvolvimento de software. Ciclo de vida de desenvolvimento de software. Planejamento do projeto do software. Anlise de requisitos. Garantia de qualidade de software. Tcnicas e estratgias de teste. Manuteno e gerenciamento de configuraes. Reuso. Engenharia reversa. Ambientes de desenvolvimento de software. Sistemas Operacionais Introduo. Processos: comunicao entre processos, escalonamento de processos. Entradas e sadas: Princpios de hardware, Princpios de software. Deadlock. Gerenciamento de memria: troca e paginao, memria virtual, algoritmos de mudana de pgina. Sistemas de arquivos: viso do usurio, projeto de sistema de arquivos. Especificao de um sistema operacional simplificado (SOS). Projeto de SOS. Codificao e testes de SOS.

Ementas do Curso de Cincia da Computao

7 Semestre

Inteligncia Artificial Introduo inteligncia artificial. Linguagens de programao para inteligncia artificial. Representao do conhecimento. Sistemas de produo. Estratgias de busca. Algoritmo A*. Sistemas de deduo baseados em lgica. Lgica fuzzy. Aprendizado de mquina. Aprendizado indutivo. rvores de deciso, Redes neurais e algoritmos genticos. Sistemas especialistas. Agentes inteligentes. Compiladores Linguagens e tradutores. Compiladores e interpretadores. A estrutura de um compilador. Anlise lxica e sinttica. Tabelas de smbolos. Representao intermediria. Anlise semntica. Gerao e otimizao de cdigo. Bibliotecas. Sistemas Multimdia Autoria: plataformas para multimdia. Ferramentas de desenvolvimento. udio: propriedades fsicas do som. Representao digital. Processamento e sntese de som. Imagens: representao digital, dispositivos grficos, processamento. Desenhos: representao de figuras. Vdeo: interfaces, processamento. Animao. Mtodos Formais Introduo ao desenvolvimento formal de software. Ciclo de desenvolvimento. Verificao versus validao. Grau de formalismo. Classificao de mtodos baseados em modelos e orientados a propriedades. Uma Linguagem de especificao baseada em modelos. Refinamento para especificaes baseadas em modelos.

Ementas do Curso de Cincia da Computao

8 Semestre

Segurana Computacional Estrutura e terminologia. Requisitos formais de segurana. Crimes virtuais. Vulnerabilidades. Ameaas e contra-medidas. Algoritmos de criptografia simtricos e assimtricos. Assinaturas digitais. Segurana nos servios TCP/IP. Protocolos e algoritmos para aplicaes especficas. Computao Grfica Transformaes geomtricas em duas e trs dimenses: coordenadas homogneas e matrizes de transformao. Transformao entre sistemas de coordenadas 2D e recorte. Transformaes de projeo paralela e perspectiva. Cmera virtual. Transformao entre sistemas de coordenadas 3D. Definio de objetos e cenas tridimensionais: modelos poliedrais e malhas de polgonos. O processo de renderizao: fontes de luz, remoo de linhas e superfcies ocultas, modelos de tonalizao (shading). Aplicao de texturas. O problema do serrilhado (aliasing) e Tcnicas de Anti-Serrilhado (antialiasing). Sociologia Fundamentos das cincias sociais: anlise da sociedade. Grupos sociais. Estrutura de classes e processos de mudanas. Cultura, ideologia, participao e poder nas organizaes. Organizao e relao interativa com o meio ambiente. Pesquisa Operacional Complementos de lgebra linear. Mtodo simplex. Dualidade. Anlise de sensibilidade. Problemas de transporte e atribuio. Resolues por computador. Introduo programao inteira.

Ementas do Curso de Cincia da Computao

9 Semestre

Empreendedorismo Conceito de empreendedorismo. Origens do empreendedorismo. O empreendedor como lder. A viso da oportunidade de negcios. Como transformar a viso em um negcio. Como comear um novo empreendimento. Causas da mortalidade de empresas. Tipos de empreendedorismo: intraempreendedor, empreendedor privado, empreendedor social, mulher empreendedora, criatividade, iniciativa, intuio e mapa de competncia. Processamento Digital de Imagens Princpios Fsicos de Formao de Imagens. Sistema Visual Humano. Sensores para Aquisio de Imagens. Amostragem e Quantizao. Visualizadores de Imagens. Transformaes Aplicadas a Imagens. Visualizao, Codificao, Realce, Restaurao, Segmentao e Anlise. Sistemas de Processamento de Imagens. Topologia Digital e Medidas. Reconhecimento de Padres. Teoria da Informao. Transformadas. Filtros Lineares. Computao Paralela Problemas e conceitos. Tipos e granularidades de paralelismo. Arquiteturas de sistemas paralelos e distribudos. Topologias de interconexo. Protocolos de comunicao. Mecanismos de comunicao e sincronizao. Linguagens e sistemas de programao. Algoritmos paralelos e distribudos. Aplicaes. Gesto de Projetos Prticas de Gerncia de Projetos baseadas no PMI. Introduo aos conceitos do PMBOK (Project Management Body of Knowledge). PMBOK versus SWEBOK (Software Engineering Body of Knowledge). Mtodos, tcnicas e ferramentas de planejamento e controle de projetos de software. Modelos de ciclo de vida de desenvolvimento de software. Abordagem das metodologias convencionais versus as metodologias geis: XP, SCRUM e FDD. Mtodos e Tcnicas para levantamento de requisitos. Qualidade de software: reviso e teste. ISO 9126. Modelos CMM, CMMI e a ISO 12207. Mtricas de software: Anlise de pontos de funo e de casos de uso. Riscos em projetos de software. Gerncia de Configurao.

Ementas do Curso de Cincia da Computao

Disciplinas Eletivas/Optativas

Anlise e Projeto de Sistemas I Componentes de um sistema de informaes. Ferramentas de modelagem estruturada de sistemas. Metodologias para anlise e desenvolvimento de sistemas. Estudo de casos utilizando as metodologias apresentadas. Arquitetura de Software Introduo arquitetura de software - origens, princpios, conceitos e escopo. Elementos bsicos de uma arquitetura de software. Estilos arquiteturais. Vises Arquiteturais. Padres de Design. Arquiteturas especficas de domnio e Frameworks. Propostas de padronizao de modelagem: UML, MDA. Linguagens de descrio de arquitetura (ADL) e ferramentas. Componentes de software. Desenvolvimento baseado em Componentes. Tecnologias de infra-estrutura para arquiteturas baseadas em componentes. Automao e Controle Elementos e sistemas de automao industrial. Sistemas de aquisio de dados, monitorao e controle. Controladores lgicos programveis (CLPs). Linguagens de programao de CLPs. Sistemas supervisrios. Avaliao de Desempenho de Redes Introduo a Avaliao de Desempenho: conceitos gerais, planejamento de medidas, mtricas. Teoria de Filas: notao de Kendall, lei de Little, filas M/M/1 e M/M/m limitadas e no limitadas. Redes de Filas abertas e fechadas. Modelos de trfego e Modelos assintticos aplicados ao planejamento de redes. Introduo simulao, ferramentas de simulao de redes. Banco de Dados II Banco de dados orientado a objetos. Banco de dados objeto-relacional. Banco de dados e a web (modelos de dados semi-estruturados, linguagens de consulta para dados semi-estruturados). Banco de dados e XML (conceitos de XML, linguagens para definio de esquemas XML, linguagens de consulta para XML, sistemas gerenciadores de banco de dados para XML). Integrao de dados (abordagens, arquiteturas e sistemas para integrao de dados, integrao de esquemas, reformulao e otimizao de consultas). Desenvolvimento de Jogos Animao baseada em sprites. Gesto de telas 2D. Tcnicas de IA em jogos. Algoritmos de navegao. Comportamentos de navegao. Planejamento individual de NPCs. Estratgias coletivas. Tcnicas de visualizao em ambientes fechados. Tcnicas de visualizao em ambientes abertos. BSPs, portais, quadtrees.

Engenharia de Requisitos Processos de requisitos. Elicitao, Modelagem, Verificao, Validao de requisitos. Gerncia de requisitos e gerncia por requisitos. Ferramentas de gerncia de requisitos. Linguagens de modelagem de requisitos. Tcnicas de elicitao, modelagem, verificao e validao. Gerncia de Redes Introduo gerncia de redes. Padres: SNMPv1, SNMPv2c, SNMPv3. Abordagens evolucionrias e revolucionrias. Introduo gerncia em redes pticas. Arquitetura ASON. Padro GMPLS. Tpicos avanados. Informtica Industrial Conceitos bsicos em sistemas de controle. Tpicos sobre a estrutura organizacional de ambientes industriais. Tipos de mquinas e processos associados aos ambientes de produo. Arquiteturas tpicas de sistemas de automao. Controle seqencial. Controladores Lgico-programveis (CLP). Processamento de programa. Tipos de representao de programa. Programao Ladder, Seqenciamento Grfico de Funes (SFC), Lista de Instrues (IL), Diagrama de Blocos Funcionais (FBD) e converso de Grafcet em Ladder. Mtodos de programao. Introduo aos PAC's. Arquitetura dos PACs. Programao e configurao. Redes industriais: RS232, RS485, MODBUS, PROFIBUS, FOUNDATION, AS-i, CAN, LONWORKS, HART, INTERBUS-S, EIB,X-10, entre outros. Sistemas supervisrios: Introduo. Arquiteturas. Programao e Desenvolvimento. SCADA. Interconexo de Redes Introduo interconexo de redes. Equipamentos para interconexo de redes. Arquitetura da Internet. Protocolos de Roteamento: OSPF, BGP, PNNI. Modelos de Interconexo: modelo peer e modelo overlay. Novas arquiteturas. Interface Homem-Mquina Projeto centrado no usurio. Engenharia da usabilidade. Concepo de interfaces. Mtodo para concepo de interfaces. Traando o perfil do usurio. Inspeo de usabilidade. Objetivos de usabilidade. Anlise e modelagem da tarefa. Introduo a Microeletrnica Dispositivos e Circuitos bsicos, amplificadores, diodos, transistores, processo de fabricao, tecnologias de fabricao, modelos de simulao e layout, clulas bsicas, FPGAs. Laboratrio de Programao Realizao de projetos e trabalhos envolvendo linguagens estruturadas e orientadas a objeto. Desenvolvimento de programas em linguagens comerciais de programao. Linguagem de Descrio de Hardware Prototipao de sistemas digitais. Projeto do bloco operacional. Projeto do bloco de controle. Abstrao e linguagens de descrio de hardware (HDL). Fluxos de projetos baseados em HDL. Modelagem de sistemas digitais em HDL. Introduo sntese de ASICs. Conceituao dos IP-cores.

Microprocessadores e Microcontroladores Aspectos histricos e tecnolgicos do desenvolvimento de microprocessadores. Arquitetura de microprocessadores. Sistema de microprocessador. Microcontroladores. Programao Orientada a Aspectos Problemas do paradigma orientado a objetos. Preocupaes ortogonais, espalhamento e entrelaamento de cdigo. O paradigma de orientao a aspectos: aspectos, pontos de combinao, weaving; quantificao e transparncia; linguagens e ambientes de programao. Idiomas e padres baseados em aspectos. Refatorao com aspectos. Programao para Internet Histrico e fundamentos: WWW, Internet, Intranet e Extranet. Servios de Internet. Introduo ao HTML. CSS. Linguagens Script. Tratamento de imagens. Ferramentas de editorao e programao para Web. Implantao de um site. Comparao de tecnologias voltadas para a Internet. Qualidade de Software Qualidade de software: produto e processo. Garantia da qualidade. Mtricas e indicadores de qualidade. Modelos da qualidade de produto de software, de acordo com a Norma NBR ISO/IEC 9126-1: Qualidade em Uso e Qualidade Externa e Interna. Revises de software. Garantia estatstica da qualidade. Normas e modelos de maturidade de processos de software: CMM e CMMI, NBR ISO/IEC 12207, ISO9000, ISO/IEC 15504, MPS-BR. Qualidade dos produtos de software:normas de qualidade. Redes de Sensores Redes de sensores sem fio. Arquitetura e caracterizao de rede (protocolos e camadas). Arquitetura de comunicao sem fio. Controle de topologia. Roteamento e mobilidade em redes de sensores. Aplicaes. Redes pticas Evoluo das Redes pticas. Clientes da Camada ptica: Redes SDH/Sonet, Redes IP, Gigabit Ethernet. Elementos das Redes WDM: Amplificadores pticos, OADMs, Chaveadores pticos (OXCs). Projeto de Redes pticas WDM: os problemas de topologia virtual e RWA. Dimensionamento de redes roteadas a comprimento de onda. Modelos de dimensionamento. Proteo e Restaurao em Redes pticas: Conceitos bsicos, proteo 1:1, proteo 1:N, proteo 1+1. Sistemas de Informao Geogrfica Introduo ao Tratamento da Informao Georreferenciada. Estrutura de Dados Digitais: Modelo Matricial e Modelo Vetorial. Topologia. Dados Espaciais. Fontes de Dados. Dados na Internet. Metadados. OpenGIS. Estratgias de Georreferenciamento de Dados. Bancos de Dados Convencionais e Geogrficos. Modelagem de Dados Georreferenciados. Modelos Conceituais do Espao Geogrfico: Geo-objetos e Geo-campos. Entrada, Manipulao e Sada de Dados. Geocodificao. Mapeamento Digital. Sistemas de Informao Geogrfica. Histrico e evoluo. Componentes de um SIG. Integrao de Dados. Consulta Espacial. Anlise Espacial. Dados Pontuais, de Superfcie e de rea.

Sistemas de Tempo Real Introduo aos sistemas de tempo real. Principais aplicaes. Conceitos de programao concorrente: excluso mtua; semforos e monitores. Polticas de escalonamento. Sistemas operacionais de tempo-real. Troca de mensagens. Programao de sistemas de tempo-real. Relao com outras restries. Metodologias de projeto. Estado da arte em sistemas de tempo-real. Sistemas Distribudos Motivaes, objetivos e caracterizao de sistemas distribudos: distribuio dos dados e controle, classificao, definio. A arquitetura de sistema distribudo: processos paralelos, estruturao modular e abstraes. O modelo de camadas e interfaces. Aspectos de projeto e implementao: compartilhamento de recursos, nomeao e endereamento, comunicao e sincronizao entre processos, proteo, recuperao de erros, tolerncia a falhas. Protocolos e servios. Especificao e validao de protocolos. Sistemas Embarcados Definies e aplicaes; restries temporais e de consumo de energia; metodologias de desenvolvimento de sistemas embarcados; hardware embarcado; software embarcado; Software Bsico Noes de arquitetura de computadores. Linguagens de mquina e linguagem de montagem. Montadores, macroprocessadores, carregadores e ligadores. Programao de entrada e sada. Nvel de mquina de sistemas operacionais.