DE
DE
P ERNAMBUCO
E NSINO C INCIA
DE DA
G RADUAO C OMPUTAO
EM
U NIDADE ACADMICA
DE
G ARANHUNS
Elaborao e Edio
Prof. Srgio Francisco Tavares de Oliveira Mendona Prof. Gabriel de Frana Pereira e Silva
Reviso
Prof. Bruno Costa e Silva Nogueira Prof. Clio Andrade de Santana Jnior Profa. Maria Aparecida Amorim Sibaldo Prof. Rodrigo Gusmo de Carvalho Rocha
Aprovao
Prof. Alixandre Thiago Ferreira Santana Prof. Bruno Costa e Silva Nogueira Prof. Clio Andrade de Santana Jnior Profa. rica Teixeira Gomes de Sousa Prof. Fabiano Barbosa Mendes da Silva Prof. Gabriel de Frana Pereira e Silva Profa. Juliana de Albuquerque Gonalves Saraiva Profa. Maria Aparecida Amorim Sibaldo Prof. Mariel Jos Pimentel de Andrade Prof. Ricardo Normando Baptista do Nascimento Neto Prof. Rodrigo Gusmo de Carvalho Rocha Prof. Srgio Francisco Tavares de Oliveira Mendona
Contedo
Identicao 1 Introduo 1.1 A Universidade Federal Rural de Pernambuco . . . . . . . . . . . . . . . . . 1.1.1 1.1.2 1.2 1.3 1.4 1.5 1.6 A Unidade Acadmica de Garanhuns . . . . . . . . . . . . . . . . . Organizao da estrutura acadmica . . . . . . . . . . . . . . . . . .
p. 7 p. 8 p. 8 p. 8 p. 8 p. 9 p. 10 p. 11 p. 11 p. 12 p. 12 p. 13 p. 13 p. 14 p. 14 p. 15 p. 16 p. 16 p. 16 p. 17
A Informtica e Computao na UFRPE . . . . . . . . . . . . . . . . . . . . Contexto de insero do curso na regio . . . . . . . . . . . . . . . . . . . . Motivao (e Justicativa) . . . . . . . . . . . . . . . . . . . . . . . . . . . Objetivo do curso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Planejamento Estratgico para o Curso na UAG, UFRPE, no Estado e no Pas 1.6.1 1.6.2 1.6.3 Metas e Estratgias para 2 anos . . . . . . . . . . . . . . . . . . . . Metas para 5 anos . . . . . . . . . . . . . . . . . . . . . . . . . . . . Metas para 10 anos . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 A rea da Cincia da Computao 2.1 2.2 Categorias de cursos da rea de computao e informtica . . . . . . . . . . reas de formao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Fundamentos norteadores do curso 3.1 3.2 3.3 Fundamentos tico-polticos . . . . . . . . . . . . . . . . . . . . . . . . . . Fundamentos epistemolgicos . . . . . . . . . . . . . . . . . . . . . . . . . Fundamentos didtico-pedaggicos . . . . . . . . . . . . . . . . . . . . . . .
4 Pressupostos metodolgicos 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 Relao teoria-prtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Interdisciplinaridade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pesquisa enquanto princpio educativo . . . . . . . . . . . . . . . . . . . . . Integrao com pesquisa e extenso . . . . . . . . . . . . . . . . . . . . . . Ensino problematizado e contextualizado . . . . . . . . . . . . . . . . . . . Flexibilidade curricular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Integrao Universidade-Empresa . . . . . . . . . . . . . . . . . . . . . . . Estmulo capacidade de trabalho autnomo . . . . . . . . . . . . . . . . . Desenvolvimento de habilidades para o trabalho em equipe . . . . . . . . . .
p. 20 p. 20 p. 20 p. 21 p. 21 p. 22 p. 22 p. 23 p. 23 p. 23 p. 23 p. 24 p. 24 p. 24 p. 24 p. 24 p. 25 p. 27 p. 27 p. 27 p. 28 p. 28 p. 28 p. 30 p. 31
4.10 Estgio curricular supervisionado . . . . . . . . . . . . . . . . . . . . . . . . 4.10.1 Fase 1 Plano de Estgio . . . . . . . . . . . . . . . . . . . . . . . 4.10.2 Fase 2 Relatrio Tcnico de Estgio . . . . . . . . . . . . . . . . . 4.10.3 Fase 3 Defesa do Relatrio de Estgio . . . . . . . . . . . . . . . . 4.10.4 Fase 4 Do Julgamento . . . . . . . . . . . . . . . . . . . . . . . . 4.10.5 Fase 5 Do Relatrio Final de Estgio . . . . . . . . . . . . . . . . 4.11 Atividades Complementares . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Pers 5.1 Estudante ingressante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.1.1 5.2 Descrio dos requisitos psicofsicos . . . . . . . . . . . . . . . . . .
Egresso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2.1 5.2.2 Denio do perl prossional . . . . . . . . . . . . . . . . . . . . . Problemas que os egressos devero estar aptos a resolver . . . . . . .
7.1
Infraestrutura para Manuteno do Curso . . . . . . . . . . . . . . . . . . . 7.1.1 7.1.2 7.1.3 Recursos Humanos . . . . . . . . . . . . . . . . . . . . . . . . . . . Laboratrios e ambientes . . . . . . . . . . . . . . . . . . . . . . . . Biblioteca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 33 p. 34 p. 34 p. 36 p. 36 p. 36 p. 37 p. 37 p. 38 p. 38 p. 38 p. 39 p. 41 p. 43 p. 44 p. 45 p. 47 p. 53 p. 54 p. 54 p. 58 p. 62 p. 67 p. 72 p. 76
Ncleo Docente Estruturante . . . . . . . . . . . . . . . . . . . . . . . . . . Colegiado de Coordenao Didtica . . . . . . . . . . . . . . . . . . . . . . Programa de Tutoria Institucional . . . . . . . . . . . . . . . . . . . . . . . 7.4.1 7.4.2 7.4.3 Organizao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Responsabilidades do Tutor . . . . . . . . . . . . . . . . . . . . . . Responsabilidades do Tutorando . . . . . . . . . . . . . . . . . . . .
7.5 7.6
Referncias Apndices Apndice A - Matriz Curricular . . . . . . . . . . . . . . . . . . . . . . . . . . . . Apndice B - Disciplinas Obrigatrias . . . . . . . . . . . . . . . . . . . . . . . . Apndice C - Disciplinas Optativas . . . . . . . . . . . . . . . . . . . . . . . . . . Apndice D - Ementas das Disciplinas . . . . . . . . . . . . . . . . . . . . . . . . Ementas da Disciplinas Obrigatrias 1o. Perodo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2o. Perodo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3o. Perodo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4o. Perodo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5o. Perodo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6o. Perodo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7o. Perodo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ementas das Disciplinas Optativas rea Temtica: Banco de Dados . . . . . . . . . . . . . . . . . . . . . . . . . . . rea Temtica: Engenharia da Computao . . . . . . . . . . . . . . . . . . . . . rea Temtica: Engenharia de Software . . . . . . . . . . . . . . . . . . . . . . .
p. 81 p. 85 p. 85 p. 89 p. 91
rea Temtica: Inteligncia Computacional . . . . . . . . . . . . . . . . . . . . . p. 103 rea Temtica: Matemtica e Simulao Computacional . . . . . . . . . . . . . . p. 118 rea Temtica: Metodologia e Tcnicas da Computao . . . . . . . . . . . . . . p. 125 rea Temtica: Mdia e Interao . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 131 rea Temtica: Redes e Sistemas Distribudos . . . . . . . . . . . . . . . . . . . . p. 142 rea Temtica: Tecnologia Educacional . . . . . . . . . . . . . . . . . . . . . . . p. 144 rea Temtica: Tecnologias da Informao . . . . . . . . . . . . . . . . . . . . . p. 150
Identicao
Curso Modalidade Ttulo do egresso rea do conhecimento Modalidade de Educao Habilitao Local de Oferta Nmero de vagas Carga horria Horrio de funcionamento Forma de acesso Cincia da Computao Bacharelado Bacharel em Cincia da Computao Cincias Exatas e da Terra Presencial (ensino a distncia restrito ao percentual imposto por legislao em vigor). Cincia da Computao Universidade Federal Rural de Pernambuco Unidade Acadmica de Garanhuns 80 (oitenta) vagas anuais, sendo 40 (quarenta) vagas semestrais 3.200 (trs mil e duzentas) horas Predominantemente noturno Processo seletivo (ENEM). Em caso de existncia de vagas possvel o ingresso por: (a) transferncia de outras IES; (b) portadores de diploma; (c) reingresso; ou, (d) reopo, de acordo com processo seletivo especco e resolues da UFRPE.
Introduo
a) Departamento (Unidade Acadmica de Garanhuns): unidade bsica da estrutura da Universidade para efeito de organizao didtico-cientca e administrativa, que integra as atividades de Ensino, Pesquisa e Extenso e reas ans do conhecimento e respectivos docentes e discentes, sendo administrado pelo Diretor Geral/Acadmico e Diretor Administrativo. b) Conselho de Ensino, Pesquisa e Extenso (CEPE): rgo deliberativo em matria de Ensino, Pesquisa e Extenso, em sua rea de conhecimento, lotado na Sede em Recife-PE, Campus de Dois Irmos. c) Chea de Departamento (Unidade): A Unidade possui um Diretor Geral eleito na forma das normas eleitorais da UFRPE, pelos professores, tcnicos e estudantes da Unidade, empossado pelo Reitor para um mandato de 4 (quatro) anos, conforme estatuto da UFRPE e Regimento da Unidade, o qual nomear o Coordenador Geral de Cursos. O diretor administrativo ser nomeado pelo Reitor. d) Colegiado de Curso: rgo deliberativo em matria de Ensino, Pesquisa e Extenso, no mbito do curso, sendo composto pelos docentes e representantes estudantis, no limite mximo do Estatuto da UFRPE. e) Coordenador de Curso: responsvel pela superviso das atividades acadmicas do curso, eleito na forma das normas eleitorais da Universidade, empossado pelo Reitor para um mandato de 2 (dois) anos.
10
o curso de Licenciatura em Fsica seu 1 Projeto de Curso na modalidade a Distncia, aprovado segundo Portaria no.3.726 de 21/10/2005, publicada em 24/10/05 do D.O.U. Desta forma, a UFRPE sentiu-se confortvel em sugerir a criao do Curso de Bacharelado em Cincia da Computao no Municpio de Garanhuns.
11
(SBC) deniu cinco grandes desaos atuais da computao: 1. Gesto da informao em grandes volumes de dados multimdia distribudos; 2. Modelagem computacional de sistemas complexos articiais, naturais, socioculturais e da interao homem-natureza; 3. Impactos na computao da transio do silcio para novas tecnologias; 4. Acesso participativo universal do cidado brasileiro ao conhecimento; e, 5. Sistemas disponveis, corretos, seguros, escalonveis, persistentes e ubquos.
12
2. Desenvolver nos estudantes um esprito empreendedor, incentivando e motivando a sua independncia e criatividade; 3. Promover a interdisciplinaridade buscando atualizao constante na rea de computao; 4. Motivar e orientar o estudante para que ele tenha uma postura ativa diante da necessidade de um aprendizado contnuo e autnomo; 5. Promover uma postura tica e socialmente comprometida com o papel do estudante no desenvolvimento cientco, tecnolgico, social e econmico da sua regio e do Pas. 6. Promover interao constante com escolas do ensino fundamental e mdio local de forma a estimular vocaes e colaborar ativamente com a melhoria da educao; 7. Estabelecer metas e realizar um processo de avaliao constante do BCC da UAGUFRPE.
13
da Informao, UAG, UFRPE, para prover a instituio de polticas para aquisio de hardware, software, instalao e manuteno de equipamentos e sistemas, automao de servios administrativos e acadmicos.
14
De um modo geral, ns podemos denir computao como uma atividade que usa o computador para atingir seu objetivo ou meta. Assim, computao inclui construo e implementao de projetos de hardware e software para uma extensa gama de propsitos; processando, estruturando, e administrando diversos tipos de sistemas de informao, que consiste em usar o computador para estudos cientcos, desenvolvendo sistemas inteligentes; comunicao e mdia de entretenimento, colhendo informaes pertinentes. Computao tambm pode ter outros signicados que so mais especcos, baseados no contexto no qual o termo empregado.
15
O curso de BCC da UAG foi idealizado a partir do currculo de referncia formulado em documento de 2005 pela IEEE Computer Society e levando em conta as tendncias e desaos para a rea de informtica descrita em publicao recente sobre a trajetria dos cursos de graduao da rea de computao e informtica publicada pela Sociedade Brasileira de Computao. A matriz curricular construda a partir do estudo de projetos de cursos de outras Instituies de Ensino Superior, de alto nvel, seguindo as recomendaes do Currculo de Referncia da Sociedade Brasileira de Computao (1999).
16
A humanidade caracterizada no aprender e no expressar os aprendizados adquiridos para a sociedade sem, contudo, seguir modelos e frmulas rgidas. Neste sentido, a educao faz parte da construo e do cerne da vida para o crescimento de um grupo socialmente construdo a partir de crenas e idias.
17
apropriam? As respostas resultantes, no decurso da histria da humanidade deram origem s vrias correntes epistemolgicas, isto , s diferentes teorias ligadas ao conhecimento. Uma destas teorias est ligada ao processo de construo do conhecimento. Nela, o conhecimento visto como resultado de uma interao entre o sujeito que quer conhecer o objeto a ser conhecido. Trata-se de uma interao dinmica, pois medida que o sujeito age sobre o objeto do conhecimento, ele o transforma e se transforma. Refere-se a objetos do conhecimento, isto , conceitos, idias e denies que so construes sociais, existentes nas mentes das pessoas e que possibilitam identicar caractersticas e formas de pores da matria do mundo fsico e de fenmenos do mundo social. Por sua vez, ao interagir com os objetos de conhecimento j socialmente construdos, o sujeito lhes atribui interpretao prpria, modica-se reetindo sobre suas caractersticas, e em consequncia, modica-se a si mesmo. Esse processo dinmico e contnuo de transformaes, ou seja, de construo e reconstruo do conhecimento, dene o princpio bsico do Construtivismo, no qual o estudante tem o papel de construir e reconstruir seu conhecimento. Por outro lado, a interao se d no interior do sujeito que quer aprender, por meio das habilidades e estruturas mentais desenvolvidas pelo mesmo. Trata-se de uma interao realizada por intermdio do meio fsico e social. Nesta perspectiva, o sujeito da aprendizagem histrico e social e o objeto do conhecimento cultural. O primeiro, porque considera o sujeito inscrito nos valores e no momento histrico de sua comunidade. O segundo, porque construdo pela cultura de cada grupo social. Deste pressuposto, o Construtivismo considerado interracionista. Neste sentido, a base epistemolgica do Curso se dar no exerccio da construo de conhecimentos que, alm de gerar desenvolvimento, tambm esteja voltado para a satisfao das necessidades sociais e o respeito com os recursos da natureza, tendo em vista as geraes futuras.
18
signicados das aes realizadas pelo homem no mundo, este deve ocorrer de forma efetiva, e para que isto seja possvel, a ao reexiva deve permear as atividades didtico-pedaggicas na formao acadmica. Para isto, a formao do Bacharel em Cincia da Computao da UFRPE tem por base uma poltica de desenvolvimento que permite uma formao tica para elevar as condies de vida das pessoas, sem perturbar funes ecossistmicas essenciais, levando-se em conta o fazer, e o que possvel em face do que desejvel. A proposta pedaggica do Curso norteiase em fundamentos que abrangem as dimenses tico-polticas, epistemolgicas e didticopedaggicas. Para direcionar as atividades de ensino, propriamente ditas, mister uma opo epistemolgica. O ecletismo pode falsear a relao entre professor e estudante. Assim, se a opo for pela viso de conhecimento como uma representao do mundo, o professor buscar, em primeiro lugar, as concepes prvias do estudante sobre o assunto que ser estudado para, depois, propor uma explicao escolar. Nesta abordagem, o professor est mais interessando em saber o que o estudante j sabe, para servir-lhe de ncora ao conhecimento acadmico a ser proposto. Por sua vez, os estudantes ressignicaro as mensagens do professor dentro do contexto de suas estruturas cognitivas, construdas no cotidiano individual. Considerando que as relaes entre o estudante e o professor na escola so orientadas pela Pedagogia, cujo foco de trabalho a educao, o Curso de Bacharelado em Cincia da Computao da UFRPE fundamenta-se nos princpios do Construtivismo Scio-Interacionista. Nesta abordagem, o conhecimento passa a ser visto como um conjunto de verdades relativas, que correspondem uma interpretao que o homem d ao mundo fsico e social. O professor exerce o papel de catalisador (mediador) do processo de interao que ocorre entre o sujeito da aprendizagem (o estudante) e o objeto do conhecimento social (o conhecimento social compartilhado). Ensinar, nesta viso, preparar as melhores condies para que possa haver aprendizagem. Em consequncia, cabe ao professor conhecer seus estudantes, interagir com eles, buscando sua histria e permitir-lhes que manifestem suas concepes prvias diante dos assuntos a serem estudados. Por sua vez, o estudante deixa de ser um mero receptor de informaes, passando a ser um construtor, numa Pedagogia inspirada nos princpios da construo do conhecimento, prpria do sujeito que pauta o seu fazer pela pesquisa, pela interrogao e pela problematizao. Em outros termos, o conhecimento se constitui nas relaes que cada sujeito estabelece, frente s interpretaes que o professor lhe faz de um saber construdo e aceito socialmente. Assim, o processo de aprendizagem ocorre de dentro para fora, ou seja, o prprio estudante que, a partir de sua experincia de vida, de seu prprio universo simblico far uma interpretao do
19
saber ocial, interpretao esta que dever compartilhar ao mximo com outros membros da sociedade. Uma Pedagogia inspirada nos pressupostos ora apresentados faz do Curso de Bacharelado em Cincia da Computao da UFRPE um processo formativo com viso reexiva, natural do processo educativo, objetivando oferecer as condies para o desenvolvimento harmonioso dos estudantes nos domnios cognitivos, afetivos, psicolgicos, biolgicos e sociais.
20
Pressupostos metodolgicos
4.2 Interdisciplinaridade
Considera-se que para se atingir o perl de Bacharel em Cincia da Computao com slida formao generalista necessita-se a realizao de estudos disciplinares que permitam a sistematizao e o aprofundamento de conceitos e relaes, cujo domnio imprescindvel na construo da competncia prossional desejada. No entanto, sabe-se que a construo de um conhecimento slido transpe o contedo de uma nica disciplina, necessitando que o acadmico primeiramente tenha conhecimento da contextualizao da disciplina especca no todo
21
e que, num segundo momento, desenvolva atividades que necessitem dos contedos expostos em vrias disciplinas, tornando possvel aplicar conhecimentos adquiridos ao longo de todo o Curso no desenvolvimento de uma atividade especca. Desta forma, alm de aprofundar conhecimentos disciplinares, a matriz curricular contempla estudos e atividades interdisciplinares, propostas ao longo do curso por diferentes disciplinas. Alm das atividades interdisciplinares formais, vrias atividades so desenvolvidas por disciplinas ans concomitantemente, proporcionando o aprendizado no intencional e aplicao de conceitos complementares, transcendendo, desta forma, os limites de sala de aula.
22
23
24
Cincia da Computao (CCD/BCC), contendo o detalhamento das atividades permitidas, inclusive a possibilidade, mediante aprovao do CCD/BCC, de participao em Projetos de Pesquisa, Empresa Jnior, . . . , roteiro, relatrios, especicaes detalhadas para a realizao do Estgio Supervisionado, tendo em vista que a regio ainda no possui um nmero de empresas produtoras de Software com reconhecida competncia e em nmero signicativo para o adequado desenvolvimento do Estgio. Convm ressaltar que estgio relevante para egresso deste curso envolve a produo de Software atravs de processos bem denidos e institucionalizados. Estes, resumidamente, consistem sistematicamente nas seguintes etapas:
25
26
Tabela 4.1: Atividades Complementares No. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Cdigo 14001 14002 14003 14004 14005 14006 14007 14008 14009 14010 14011 14012 14013 14014 14015 14016 14017 14018 14019 14020 14021 14022 14023 14024 14025 14026 14027 14028 14029 14030 Descrio Monitoria I Monitoria II Programa Especial de Treinamento I Programa Especial de Treinamento II Projeto de Pesquisa I Projeto de Pesquisa II Vivncia Prossional Complementar I Vivncia Prossional Complementar II Programa de Extenso I Programa de Extenso II Programa de Alfabetizao I Programa de Alfabetizao II Projeto de Extenso I Projeto de Extenso II Discusses Temticas I Discusses Temticas II Tpicos Especiais I Tpicos Especiais II Prtica Integrada I Prtica Integrada II Cursos de Extenso I Cursos de Extenso II Evento de Extenso I Evento de Extenso II Publicao Tcnico-Cientca I Publicao Tcnico-Cientca I Produto de Extenso I Produto de Extenso II Prestao de Servio I Prestao de Servio II Horas/Aula 60 60 60 60 60 60 60 60 60 60 60 60 60 60 15 15 15 30 15 30 30 60 30 60 30 60 30 60 30 60 Crditos 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 1 1 2 1 2 2 4 2 4 2 4 2 4 2 4
27
Pers
28
5.2 Egresso
Do egresso de um curso de Bacharelado em Cincia da Computao exigida uma predisposio e aptides para a rea, alm de um conjunto de competncias, habilidades e atitudes a serem adquiridas durante a realizao do curso.
29
empreendedor descobrimento e empreendimento de novas oportunidades para aplicaes usando sistemas computacionais e avaliando a convenincia de se investir no desenvolvimento da aplicao; consultor consultoria e assessoria a empresas de diversas reas no que tange ao uso adequado de sistemas computacionais; coordenador de equipe coordenao de equipes envolvidas em projetos na rea de computao e informtica; membro de equipe participao de forma colaborativa e integrada de equipes que desenvolvem projetos na rea de informtica; pesquisador participao em projetos de pesquisa cientca e tecnolgica.
30
A Tabela 6.1 apresenta os parmetros de caracterizao de oferta do curso de Bacharelado em Cincia da Computao para a Unidade Acadmica de Garanhuns da UFRPE.
Tabela 6.1: Dados e caractersticas do curso Curso Modalidade Ttulo do egresso rea do conhecimento Modalidade de Educao Habilitao Local de Oferta Nmero de vagas Carga horria Horrio de funcionamento Forma de acesso Cincia da Computao Bacharelado Bacharel em Cincia da Computao Cincias Exatas e da Terra Presencial (ensino a distncia restrito ao percentual imposto por legislao em vigor). Cincia da Computao Universidade Federal Rural de Pernambuco Unidade Acadmica de Garanhuns 80 (oitenta) vagas anuais, sendo 40 (quarenta) vagas semestrais 3.200 (trs mil e duzentas) horas Predominantemente noturno Processo seletivo (ENEM). Em caso de existncia de vagas possvel o ingresso por: (a) transferncia de outras IES; (b) portadores de diploma; (c) reingresso; ou, (d) reopo, de acordo com processo seletivo especco e resolues da UFRPE.
31
A estrutura curricular proposta, (visualizar a Matriz Curricular no apndice 1) possui uma carga-horria mnima de 3.200 horas para a integralizao dos crditos exigidos para a obteno do ttulo de Bacharel em Cincia da Computao. Como 20% da carga horria total do curso de Graduao (mximo de 640 horas para este curso) pode ocorrer distncia (MEC, Portaria No. 4.059, de 10/12/2004), atravs de disciplinas que permitam desenvolver suas atividades didticas, mdulos ou unidades de ensinoaprendizagem centrados na auto-aprendizagem e com mediao de recursos didticos organizados em ambientes de informao que utilizem tecnologia de comunicao remota, avaliaes presenciais, includos mtodos e prticas de ensino-aprendizagem que incorporem o uso de tecnologias de informao e comunicao para a realizao dos objetivos pedaggicos, bem como prever encontros presenciais e atividades de tutoria, atravs de docentes qualicados, e que podero ser encorajadas pela Instituio a serem ofertadas distncia. Assim, pode-se compartilhar a oferta das disciplinas nos diversos Campi onde o curso ser ofertado oferecendo ao aluno uma maior variedade na opo de disciplinas e maior integrao. Alm disso, estar-se- auxiliando os recm-criados cursos a desenvolverem seus grupos de pesquisa e extenso. De acordo com as diretrizes do MEC, os currculos dos cursos da rea de Computao e Informtica podem ser compostos por quatro grandes reas de formao: Formao bsica; Formao tecnolgica; Formao complementar; Formao humanstica. A formao bsica compreende os princpios bsicos da Cincia da Computao, alm da Matemtica necessria para deni-los formalmente, a Fsica e Eletricidade necessrias para
32
permitir o entendimento e o projeto de computadores viveis e a formao pedaggica, que introduz os conhecimentos bsicos da construo do conhecimento. A formao tecnolgica, tambm chamada de aplicada ou prossional, aplica os conhecimentos bsicos adquiridos no desenvolvimento tecnolgico da Computao. Os objetivos so criar instrumentos (ferramentas) de interesse da sociedade ou robustecer tecnologicamente os sistemas de computao, para permitir a construo de ferramentas antes inviveis ou inecientes. Entre temas de disciplinas de formao tecnolgica, pode-se citar: Sistemas Operacionais, Redes de Computadores, Banco de Dados, Sistemas Multimdia, Interface HumanoComputador, Realidade Virtual, Inteligncia Articial, Computao Grca e Processamento de Imagens. A formao complementar permite uma interao dos egressos dos cursos com outras prosses, tendo como objetivo dotar o aluno do conhecimento necessrio para resolver problemas de outras reas. Para que possa interagir com prossionais de outras reas na busca de solues computacionais complexas para seus problemas, prossional de Computao deve conhecer de forma geral e abrangente essas reas. Como exemplos de reas de formao complementar tm-se: Educao, Economia, Administrao, Biologia, Msica, entre outras. A formao humanstica d ao egresso uma dimenso social e humana, por meio do tratamento de temas como o empreendedorismo, a tica em computao, a sociologia e a losoa. O Curso de BCC da UAG foi dividido de acordo com a Tabela 7.1. Os percentuais das reas de formao so calculados tendo como referncia o total parcial de carga horria que no leva em conta nem as atividades complementares, excluindo as optativas, nem o Trabalho de Concluso de Curso (TCC). As disciplinas optativas por fazerem parte de eixos de conhecimento do curso esto contabilizadas dentro da formao tecnolgica. Para integralizao das 3.200 horas da carga-horria mnima exigida, o aluno dever cumprir esta carga-horria distribuda da seguinte forma: 1.980 horas em disciplinas obrigatrias; 420 horas em disciplinas optativas; 320 horas em atividades complementares, ver Tabela 4.1, pg. 26. 300 horas de estgio supervisionado. 180 horas de trabalho de concluso de curso supervisionado por um Professor da rea de Computao; A critrio do aluno, outras disciplinas complementares, optativas e eletivas (todas as disciplinas ofertadas na UFRPE so consideradas eletivas para o aluno do Bacharelado em Cincia
33
Tabela 7.1: Distribuio de carga horria por ncleos de formao rea de Formao Crditos Carga Horria % CH Bsico 80 1200 41,38% CH Prossional 70 1050 36,21% CH Optativas 28 420 17,50% CH Complementares 320 13,33% CH Estgio Supervisionado 300 12,50% CH Trabalho de Concluso de Curso 180 6,67% Matemtica Cincias Bsicas (da Natureza) Contexto Social e Prossional Fundamentos da Computao Tecnologia da Computao Optativas Total Parcial Atividades Complementares Estgio Supervisionado Trabalho de Concluso de Curso Total Geral 28 4 10 48 42 28 160 420 60 150 720 630 420 2400 320 300 180 3200 17,50% 2,50% 6,25% 30,00% 26,25% 17,50% 100,00%
da Computao, desde que aprovadas pelo Colegiado do Curso) podero ser incorporadas ao seu histrico escolar. Contudo, as eletivas no so contabilizadas para integralizao do currculo de crditos. Os prazos de concluso de curso esto sumarizados na Tabela 7.2, a seguir. Tabela 7.2: Prazos para integralizao do currculo Prazo Tempo Mnimo 8 semestres Pleno 9 semestres Mximo 15 semestres
34
4. manuteno do ncleo docente estruturante; 5. colegiado de coordenao didtica; e, 6. programa de tutoria institucional. Tais recursos so sumarizados nas subsees a seguir.
35
8) 1 (um) laboratrio de manuteno de computadores; 9) 1 (uma) sala para almoxarifado/depsito de material; 10) 2 (duas) salas para monitoria com capacidade para 20 (vinte) estudantes; 11) 30 (trinta) salas individuais para professores; 12) 1 (uma) sala para professores visitantes; 13) 1 (uma) sala para coordenao do curso de BCC; 14) 1 (um) laboratrios de pesquisa em Computao; 15) 1 (um) laboratrio de Matemtica Computacional; 16) 1 (um) laboratrio de Estatstica Computacional; 17) 1 (uma) sala para biblioteca setorial; 18) 2 (duas) salas sendo uma para sede do Garanhuns Digital e outra para o grupo PET computao; 19) 1 (uma) sala para sede do Garanhuns Digital; 20) 1 (uma) sala para o centro acadmico do curso de BCC; 21) 1 (uma) copa; 22) 1 (uma) rea para empreendedorismo, com 6(seis) salas (empresa jnior e incubadora); 23) 2 (dois) banheiros com chuveiros, feminino e masculino; 24) 6 (seis) salas para estudantes de ps-graduao; 25) 1 (um) sala para secretaria da ps-graduao; 26) 8 (oito) salas de aula para ps-graduao com capacidade para 20 (vinte); estudantes; 27) 2 (duas) salas de computao para ps-graduao com capacidade para 10 (dez) computadores; 28) 1 (uma) sede do grupo PET Computao.
36
7.1.3 Biblioteca
Para a biblioteca, convm adquirir, pelo menos, 13 (treze) exemplares de cada livro-texto (bibliograa bsica) de cada ementa de disciplina e pelo menos 2 (dois) exemplares de (bibliograa complementar) por ementa de disciplina. H a necessidade de assinatura de revistas especializadas, em mbito nacional e internacional, como por exemplo, Communications of the ACM, IEEE Software e MIS Quarterly, e tecnolgicas ou de microinformtica, como PC World, Exame Informtica, entre outras.
37
uma reconduo. So atribuies dos Colegiados de Coordenao Didtica de Curso, conforme o Art. 6, do Regimento Geral da Unidade Acadmica de Garanhuns: a) elaborar modicaes ao currculo do curso, propondo-as ao Colegiado Geral de Coordenao Didtica; b) propor ao Colegiado Geral de Coordenao Didtica o elenco de disciplinas optativas do curso; c) Promover, atravs de propostas devidamente, justicadas, ao Colegiado Geral de Coordenao Didtica, a melhoria contnua do curso; d) propor ao Colegiado Geral de Coordenao Didtica modicaes nos planos dos respectivos cursos; e) propor, em cada perodo letivo, os planos de ensino das disciplinas do Currculo do Curso; f) apreciar e deliberar sobre as solicitaes acerca do aproveitamento de estudos e adaptaes, ouvidos os docentes da Unidade com competncia para julgar e emitir parecer sobre o contedo de tais solicitaes; g) aprovar o Regimento do Centro Acadmico do Curso, submetendo-o depois homologao do Conselho Universitrio; i) exercer as demais funes que lhe so, explcita ou implicitamente, deferidas em lei, no Estatuto e neste Regimento Geral; j) deliberar sobre os casos omissos na esfera de sua competncia.
7.4.1 Organizao
Cabe a coordenao do curso o papel de organizar o programa, nomeando os tutores dentre seu corpo docente, para o perodo de um ano e estipulando a quantidade e relao nominal de alunos que cada tutor orientar. A coordenao do curso responsvel ainda, por estabelecer e divulgar os critrios bsicos do programa de tutoria, comunicar aos docentes e discentes da graduao as aes de recuperao propostas pelos docentes tutores, e nalmente ao nal de cada perodo avaliar o
38
39
curriculares na UFRPE, tendo como referncia o perl do egresso, os objetivos do curso e as competncias prossionais orientadoras para a formao do Bacharel em Cincia da Computao. Esta avaliao ser complementada pelas seguintes aes: Reunies semestrais do Coordenador e Vice-Coordenador com os alunos, tentando identicar pontos positivos e negativos no processo ensino e de aprendizagem empregado pelos diversos professores, possivelmente utilizando questionrios preenchidos pelos alunos e professores das disciplinas. Utilizao dos resultados das avaliaes docentes feitas pela UFRPE para identicar oportunidades de melhorias e solues. Esta anlise o produto do sistema de avaliao do processo de ensino e aprendizagem, que servir de insumo para o planejamento pedaggico do semestre posterior. Tal anlise dever ocorrer ao nal de cada semestre.
40
1. Reunio peridica dos professores do colegiado do curso pelo menos uma vez ao semestre para uma avaliao do curso e do semestre. 2. Avaliao das disciplinas do curso, professores, coordenao e direo, por parte dos alunos, de acordo com normas institucionais prprias. As disciplinas obrigatrias podero ser alteradas, e novas disciplinas optativas podero ser propostas, a m de realizar rpidas adequaes ao mercado de trabalho, s orientaes da Sociedade Brasileira de Computao, Ministrio da Educao, ou ainda, s normas internas e institucionais, mediante discusso e aprovao pelo Ncleo Docente Estruturante, e, submetido Coordenao do Colegiado Didtico do curso, para validao. 3. Preenchimento pelo aluno de questionrio especco, aps a realizao de estgio supervisionado obrigatrio, indicando como foi a sua insero e adaptao na empresa e apresentando sugestes de melhorias na atividade de estgio e no curso. 4. Avaliao do Curso e da Instituio pelos egressos com mais de um ano de graduao, atravs de formulrio especco.
41
Referncias
Sociedade Brasileira de Computao - Currculos de Referncia para Cursos de Graduao em Cincia da Computao. Disponvel em: http://www.sbc.org.br/index.php?language=1 &subject=28&content=downloads&id=82 Bacharelado em Sistemas de Informao da Universidade Federal de Minas Gerais. Disponvel em: http://www.dcc.ufmg.br/ensino/infbsi Bacharelado em Sistemas de Informao da Universidade Federal de Santa Catarina. Disponvel em: http://www.inf.ufsc.br/sin/index.html Editora Universitria Champagnat, editor. Anais do II Curso de Qualidade de Cursos de Graduao da rea de Computao e Informtica, Curitiba - PR, julho 2000. SBC. Editora Universitria Champagnat, editor. Anais do III Curso de Qualidade de Cursos de Graduao da rea de Computao e Informtica, Curitiba - PR, julho 2001. SBC. Ministrio da Educao. Oferta de disciplinas no presenciais em cursos presenciais reconhecidos. MEC, Portaria No. 4.059, de 10/12/2004. Lei de Diretrizes e Base da Educao Nacional, 1996. Presidente da Repblica. Diretoria de Educao da Sociedade Brasileira de Computao. Currculo de Referncia da SBC. Disponvel em: http://www.sbc.org.br/educacao/ Conselho de Ensino Pesquisa e Extenso CEPE/UFRPE. Resoluo 313/2003, outubro 2003. Comisso de Especialistas de Ensino de Computao e Informtica do Ministrio da Educao (CEEInf/MEC). Diretrizes Curriculares da rea de Computao. 2002. Disponvel em: http://www.inf.ufrgs.br/mec/ Henry Etzkowitz and Loet Leydesdorff. The dynamics of innovation: from national systems and "mode 2"to a triple helix of university-industry-government relations. Research Policy, 29:109-123, 2000. Elsevier Science B.V. Henry Etzkowitz, Andrew Webster, Christiane Gebhardt, and Branca Regina Cantisano Terra. The future of the university and the university of the future: evolution of ivory tower to entrepreneurial paradigm. Research Policy, 29:313-330, 2000. Elsevier Science B.V. Torsten Leidig. L3- towards an open learning environment. ACM Journal of Educational Resources in Computing, 1(1), Spring 2001. Article 45.
42
Darius Mahdjoubi. The linear model of technological innovation, 1997. Disponvel em: http://www.gslis.ute rius/lnr_mdl/lnr_mdl.html. Darius Mahdjoubi. Non-linear models of technological innovation, 1997. Disponvel em: http://www.gslis.utexas.edu/ darius/non_mdl/non_mdl.html. IEEE Computer Society and Association for Computing Machinery. Computing curricula 2001: The joint task force on computing curricula. Disponvel em: http://www.computer.org/ education/cc2001/report/ march 2001.
43
Apndices
Optativa 3
Estgio
(60)
(300)
Compiladores
(60)
Optativa 4
TCC
(60)
(180)
Optativa 5
(60)
Optativa 1
Optativa 6
(60)
(60)
Optativa 2
Optativa 7
(60)
(60)
Ingls
(30)
300
300
300
300
300
300
300
300
480
44
45
Ncleo: Matemtica
46
27 28 29 30
VI VI VII VII
Computao Grca Sistemas Distribudos Projeto de Desenvolvimento Interao Humano-Computador SubTotal (Tecnologia da Computao)
4 4 4 4 40 2 2 4 2 8 18 4 4 4 4 4 4 4 28
4 4 4 4 40 2 2 4 2 8 18 4 4 4 4 4 4 4 28
Ncleo: Contexto Social e Prossional 31 32 33 34 35 III III VI VII IX Metodologia Cientca Ingls Empreendedorismo Computadores e Sociedade Estgio SubTotal (Contexto Social e Prossional) Optativas 36 37 38 39 40 41 42 VII VII VIII VIII VIII VIII VIII Optativa 1 Optativa 2 Optativa 3 Optativa 4 Optativa 5 Optativa 6 Optativa 7 SubTotal (Optativas)
47
h/semana 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 4 2 4 4 4 4 4 4 4 4
Crditos 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 4 2 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 30 60 30 60 60 60 60 60 60 60 60
rea Temtica: Engenharia de Software Engenharia de Software Experimental Programao Orientada a Aspectos Programao Orientada a Objetos II Programao Paralela e Distribuda (Clusters) Programao Web Desenvolvimento Distribudo de Software Anlise e Projeto de Sistemas Gerenciamento de Projetos Engenharia de Requisitos Qualidade de Software Teste de Software Estimativas e Medio de Software Desenvolvimento de Aplicaes Mveis Metodologias geis
Tpicos Especiais em Engenharia de Software
rea Temtica: Inteligncia Computacional Redes Neurais Computao Evolucionria Minerao de Dados Viso Computacional Agentes Inteligentes
48
6 7 8 9 10 11 12 13 14 15 16 17 18 19 1 2 3 4 5 6 7 8 9 1 2 3 4 5 6 1 2 3 4 5
Aprendizagem de Mquina Biometria Sistemas de Recomendao Reconhecimento de Padres II Sistemas Hibridos Computacao Forense
Mtodos Paramtricos Aprendizagem de Mquina
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 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 4 4 4 4 4 4 4 4 4 4 4 4
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 60 60 60 60 60 60
rea Temtica: Matemtica e Simulao Computacional Anlise Numrica Clculo Numrico e Computacional Mtodos de Otimizao Modelagem Matemtica Programao Matemtica Simulao de Sistemas Clculo para Computao III
Tpicos Especiais em Matemtica Computacional Tpicos Especiais em Pesquisa Operacional Anlise Estatstica para Mtodos Quantitativos
rea Temtica: Metodologia e Tcnicas da Computao Mtodos de Pesquisa em Computao Anlise de Dados Simblicos Mtodos de Pesquisa Qualitativa Reviso Sistemtica de Literatura
Tpicos Especiais em Metodologia de Pesquisa
rea Temtica: Mdia e Interao Processamento de Imagens I Processamento de Imagens II Modelagem Geomtrica Realidade Virtual e Aumentada Processamento Digital de Sinais
49
6 7 8 9 10 11 12 13 14 1 2 3 1 2 3 4 5 6 1 2 3 4 5 6 7
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 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4
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
rea Temtica: Redes e Sistemas Distribudos Segurana de Redes de Computadores Gerenciamento de Redes de Computadores
Tpicos Especiais Redes e Sistemas Distribudos
rea Temtica: Tecnologia Educacional Informtica na Educao Desenvolvimento de Software Educacional Tecnologia Educacional e Cognio Projeto de Sistemas Educacionais Linguagem Brasileira de Sinais
Tpicos Especiais em Tecnologia Educacional
rea Temtica: Tecnologias da Informao Gesto da TI Gesto de Processos de Negcio Gesto de Servios em TI Governana em TI Contabilidade e Administrao de Empresas Contabilidade e Administrao Financeira
Tpicos Especiais em Gesto de Projetos
Tabela 7.3: Disciplinas com os pr e co-requisitos N 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Perodo I I I II II III III I I II II III III IV IV IV V V V Disciplinas Clculo p/ Computao I Geometria Analtica Lgica Matemtica Clculo p/ Computao II Algebra Linear Probabilidade e Estatstica Matemtica Discreta Introduo Computao Introduo Programao Algoritmos e Estruturas de Dados I Programao Orientada a Objetos Sistemas Digitais Algoritmos e Estruturas de Dados II Arquitetura de Computadores Projeto e Anlise de Algoritmos Paradigmas de Linguagens de Programao Sistemas Operacionais Sistemas de Informao e Tecnologias Teoria da Computao Matemtica Discreta
50
Pr-requisitos
Co-requisitos
Ncleo: Matemtica
Introduo Programao Introduo Programao Fsica p/ Computao Algoritmos e Estruturas de Dados I Sistemas Digitais Algoritmos e Estruturas de Dados II Algoritmos de Estruturas de Dados II Arquitetura de Computadores
Ncleo: Cincias Bsicas 20 21 22 23 24 25 26 27 28 29 II IV IV V V VI VI VI VI VII Fsica p/ Computao Bancos de Dados Engenharia de Software Redes de Computadores Inteligncia Articial Reconhecimento de Padres Compiladores Computao Grca Sistemas Distribudos Projeto de Desenvolvimento Clculo p/ Computao I Algoritmos e Estruturas de Dados II Algoritmos e Estruturas de Dados II Introduo Computao Projeto e Anlise de Algoritmos Paradigmas de Ling. de Programao Algoritmos e Estruturas de Dados II Matemtica Discreta Teoria da Computao Algoritmos e Estruturas de Dados II lgebra Linear Introduo a Computao Redes de Computadores Engenharia de Software Banco de Dados Empreendimentos em TIC 30 31 32 33 34 VII IX III III VI Interao Humano-Computador Trabalho de Concluso de Curso Metodologia Cientca Ingls Empreendimentos em TIC
51
35
VIII
Computadores e Sociedade
52
53
54
IDENTIFICAO DISCIPLINA: Clculo para Computao I CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL:04 PR-REQUISITOS: no h CO-REQUISITOS:no h EMENTA Conjuntos numricos. Funes elementares: linear, am, quadrtica, modular. Funes diretas e inversas. Funes exponenciais e logartmicas. Introduo trigonometria. Funes trigonomtricas. Limite e continuidade. Derivadas e aplicaes. BIBLIOGRAFIA Bsica: STEWART, JAMES. Clculo, vol 1, Editora Pioneira Thomson Learning, 2001. ANTON, HOWARD. Clculo, um novo horizonte, vol 1, 6 edio, Editora Bookman; reimpresso 2004. GUIDORIZZI, HAMILTON L.. Um Curso de Clculo, vol.1, 5 edio, Ao Livro Tcnico S.A., 2002. Complementar: LEITHOLD, LOUIS. Clculo com Geometria Analtica, vol. 1, 3 edio, Editora Harbra, 2002. SWOKOSWKI, E. William. Clculo com Geometria Analtica, vol. 1, 2 edio, Editora Makron Books do Brasil, 1995.
55
IDENTIFICAO DISCIPLINA: Geometria Analtica CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Vetores no R2 ; Produto interno no R2 ; Estudo da reta no R2 ; Lugares geomtricos no R2 (circunferncia, elipse, parbola e hiprbole); Vetores no R3; Produto interno no R3 , vetorial e misto; Aplicaes: reas e volumes; Equao da reta no R3 e equao do plano; Equao da superfcie esfrica. BIBLIOGRAFIA Bsica: BOULOS, P. Geometria Analtica um tratamento vetorial, Mc-Graw Hill, 1987. STEINBUCH, Alfredo e WINTERLE, Paulo - Geometria Analtica, Mc Graw-Hill, 1987. LEITHOLD, L. O Clculo com geometria analtica. v. 2. 3 ed. So Paulo : Harbra, 1994. Complementar: VENTURI, J. - lgebra Vetorial e Geometria Analtica, Editora UFPR, Curitiba, 1989. IDENTIFICAO DISCIPLINA: Lgica Matemtica CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA
56
Proposies e conectivos; Operaes lgicas sobre proposies; Construo de tabelasverdade; Tautologias, contradies e contingencias; Implicao lgica; Equivalncia lgica; lgebra das proposies; Mtodo dedutivo; Argumentos, regras de inferncia; Validade mediante tabela verdade; Validade mediante regras de inferncia; Mtodos de demonstraes; Sentenas abertas; Operaes lgicas sobre sentenas abertas; Quanticadores. BIBLIOGRAFIA Bsica: GERSTING, JUDITH L. Fundamentos matemticos para a cincia da computao: um tratamento moderno de matemtica discreta. LTC, 2008. ALENCAR FILHO, Edgard de, Iniciao Lgica Matemtica. 18. ed. 203 p, So Paulo : Nobel, 2000. DAGHLIAN, Jacob ; Lgica e lgebra de Boole, 4. ed. 167 p., So Paulo : Atlas, 1995. Complementar: DEL PICCHIA, Walter; Mtodos Numricos para Resoluo de Problemas Lgicos. So Paulo : Edgard Blcher, 1993. SALMON, Wesley C. Lgica, 3a Edio. Rio de Janeiro: LTC Editora, 2002 IDENTIFICAO DISCIPLINA: Introduo Cincia da Computao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 30 NMERO DE CRDITOS: 02 CARGA HORRIA SEMANAL: 02 TERICAS: 02 PRTICAS: 00 TOTAL: 02 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Introduo Cincia da Computao: a cincia, o curso e a prosso. Histria e evoluo da Cincia da Computao. Conceitos bsicos. Classicao de sistemas computacionais. Noes de sistemas operacionais, redes, tipos de linguagens, compiladores e interpretadores. Tpicos complementares. Seminrio. BIBLIOGRAFIA Bsica:
57
Introduo Cincia da Computao; Ricardo Daniel Fedeli, Enrico Giulio, Franco Polloni, Fernando Eduardo Peres. Thomson Pioneira, 2010. 2 Edio. ISBN 9788522108459. Introduo informtica; H. L. Capron, J. A. Johnson ; traduo Jos Carlos Barbosa dos Santos. So Paulo, SP : Prentice Hall, 2006. 8 Edio. ISBN : 8587918885. BROOKSHEAR, J. Glenn. Cincia da Computao: uma viso abrangente; Porto Alegre: Bookmam, 2005. 7 Edio. ISBN: 8573075376. Complementar: Introduo Cincia da Computao; Fbio Carneiro Mokarzel; Nei Yoshihiro Soma. Editora Campus, 2008. 1 Edio. ISBN 8535218793. Introduo informtica, Peter Norton. Makron Books, 2005. ISBN 8534605157. Informtica Conceitos Bsicos, Fernando de Castro Velloso. Campus, 2004. ISBN 8535215360. IDENTIFICAO DISCIPLINA: Introduo Programao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 90 NMERO DE CRDITOS: 06 CARGA HORRIA SEMANAL: 06 TERICAS: 03 PRTICAS: 03 TOTAL: 06 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Introduo a algoritmos e pseudocdigos. Introduo programao imperativa: variveis, constantes e expresses. Controle de uxo de execuo e repetio. Estruturas triviais de dados: vetores, matrizes e registros. Noes de funes. Comandos de atribuio e declarao de constantes, variveis e tipos de dados. Expresses. Ponteiros. Instrues condicionais de controle de uxo. Bibliotecas denidas pelo usurio. Recursividade. Alocao dinmica de memria. BIBLIOGRAFIA Bsica: Fundamentos da programao de computadores. Ana Fernanda Gomes Ascencio, Edilene Aparecida Veneruchi de Campo. 2 Edio. Prentice Hall. ISBN 8587918362. (2002). Lgica de Programao. A construo de Algoritmos e estruturas de dados. Andr Luiz e Henri Frederico. 3 Edio. Pearson. Prentice Hall. ISBN: 8576050242.
58
C Completo e Total. Herbert Schildt. Pearson, 3 Edio, 2009. ISBN. 8534605955. Treinamento em Linguagem C. Victorine Viviane Mizrahi. 2Edio. Prentice Hall.ISBN 9788576051916. Complementar: Introduo programao: 500 algortmos resolvidos. Anita Lopes e Guto Garcia. Campus. ISBN 8535210199 (2002). Algoritmos e Programao, Teoria e Prtica. Marco Medina e Cristina Fertig. Novatec. ISBN 857522073X. (2005). Projetos de Algortmos com implementaes em C e pascal. Nivio Ziviani. Thomson Learning (Pioneira). ISBN 8522103909. (2004).
2o. Perodo
IDENTIFICAO DISCIPLINA: Clculo para Computao II CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Clculo para Computao I CO-REQUISITOS: no h EMENTA Integrais indenidas, denidas e Integrais imprprias. Seqncias e sries numricas. Srie de potncia. Curvas planas e coordenadas polares. Funes reais de vrias variveis, Limites e continuidade de funes de vrias variveis, derivadas parciais, diferenciabilidade, mximos e mnimos de funes. Integrais mltiplas. BIBLIOGRAFIA Bsica: STEWART, James. Clculo, vol 2, Editora Pioneira Thomson Learning, 2001. ANTON, Howard. Clculo, um novo horizonte, vol 2; 6 edio, Editora Bookman; reimpresso 2004.
59
GUIDORIZZI, Hamilton L.. Um Curso de Clculo, vol.2, 5 edio, Ao Livro Tcnico S.A., 2002. Complementar: LEITHOLD, Louis. Clculo com Geometria Analtica, vol. 2, 3a edio, Editora Harbra, 2002. SWOKOSWKI, Earl William. Clculo com Geometria Analtica, vol. 1, 2 edio, Editora Makron Books do Brasil, 1995. IDENTIFICAO DISCIPLINA: lgebra Linear CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Geometria Analtica CO-REQUISITOS: no h EMENTA Vetores; Matrizes; Operaes elementares e sistemas de equaes; Espaos vetorias (subespaos, dependncia e independncia linear, base e dimenso, espao linha, espao coluna e posto, dimenso do conjunto soluo de um sistema linear); Determinantes; Transformaes lineares (ncleo e imagem, representao por matrizes, mudana de base, auto valor, auto vetor e diagonalizao). BIBLIOGRAFIA Bsica: STEINSBRUCH, Alfredo - lgebra Linear Editora: Makron Books. LIPSCHUTZ, Seymour - lgebra Linear - Editora: Mc Graw Hill. BOLDRINI, J. L. lgebra Linear. Harbra. 2006. Complementar: LAWSON, Terry. lgebra Linear. Edgar Blucher. 2008. IDENTIFICAO
60
DISCIPLINA: Algoritmos e Estruturas de Dados I CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Introduo Programao CO-REQUISITOS: no h EMENTA Resoluo de problemas e desenvolvimento de algoritmosConceitos de C: Modularizao de programas e tratamento de arquivo. Tipo de dado abstrato. Algoritmos de Ordenao e Busca. Estruturas de dados elaboradas (lista, la e pilha) e seus algoritmos. Anlise do problema, estratgias de soluo, representao e documentao. BIBLIOGRAFIA
Bsica: TENENBAUM, A.; LANGSAM, Y. & AUGENSTEIN, M.J.-Data Structures Using C And C++, 2nd Edition, Prentice-Hall, 1996. CELES ,W.; CERQUEIRA, R. e RANGEL, J.L.- Introduo a Estrutura de Dados Uma Introduo com Tecnicas de Programao em C, Coleo: Campus/SBC, Rio de Janeiro: Campus, 2004. Algoritmos e Estruturas de Dados. A. de M. Guimares e N. A. de C. Lages. Editora LTC, 1994. Complementar: Estruturas de Dados e seus Algoritmos. J. L. Szwarcter e L. Markenzion. Segunda Edio. LTC, 1994. Desenvolvimento de Algoritmos e Estruturas de Dados. R. Terada, Makron Books, 1991. ZIVIANI, N., Projeto de Algoritmos: com implementao em Pascal e C, 2a Ed., Editora Thomson Pioneira, 2004.
IDENTIFICAO DISCIPLINA: Programao Orientada a Objetos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA:
61
CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Introduo Programao CO-REQUISITOS: no h EMENTA Contextualizao de Programao Orientada a Objetos. Conceitos de orientao a Objetos: Objetos, Operaes, Mensagens, Mtodos e Estados. Ambientes de Desenvolvimento de Software Orientado a Objetos. Classes, Mtodos e Objetos. Tipo de Entrada de Dados. Tipo de Sada de Dados. Estruturas de Controle e Repetio. Modicadores de Classe e de Mtodos. Construtores e Finalizadores. Herana Simples e Mltipla: Super e sub classes. Polimorsmo, Abstraes e Generalizaes. Diagramas UML. Interface Grca com Usurio. BIBLIOGRAFIA Bsica: Harvey M. Deitel, Paul J. Deitel. Java How to Program. Prentice Hall. 7 Edio, 2006. ISBN : 0132222205. Lynn Andrea Stein. Interactive Programming in Java, 2003. Bruce Eckel. Thinking in Java. Segunda edio, 2000. Complementar: Barnes, D. J., Klling, M. Programao Orientada a Objetos com Java, Ed. Pearson/PrenticeHall, 2004. Santos, R. Introduo Programao Orientada Objetos Usando Java, Ed. Campus, 2003. Cay S. Horstmann e Gary Cornell. Core Java 2, Volume I - Fundamentos. Sun Microsystems Press, Makron Books do Brasil, 2001. IDENTIFICAO DISCIPLINA: Fsica para Computao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Clculo I para Computao CO-REQUISITOS: no h EMENTA
62
Conceito de: (a) Carga eltrica, (b) Campo eltrico, (c) Potencial eltrico, (d) corrente eltrica, (e) potncia eltrica; Resistncia eltrica e lei de Ohm; associao de resistores: associao em srie e em paralelo, transformao estrela-tringulo; bateria eltrica; circuitos resistivos e leis de Kirchhoff; Capacitor e circuitos RC; Fontes do campo magntico, solenide e ims; Indutor, auto-induo, indutncia mtua, circuitos RL; Corrente alternada, circuitos RLC, transformadores, motores e geradores eltricos; Espectro eletromagntico, propagao de ondas eletromagnticas, lasers; Metais, isolantes e semicondutores; Diodo e circuitos com diodos; Transistor e circuitos com transistor; Circuitos eletrnicos bsicos. BIBLIOGRAFIA Bsica: Fundamentos de Fsica, volume 3, Halliday, Resnick e Walker. ISBN.: 8521614869. LTC. (2006). Eletrnica, volume 1 e 2, A. P. Malvino. 7 edio McGraw-Hill Laboratrio de Eletricidade e Eletrnica, Francisco Gabriel Capuano e Maria Aparecida Mendes Marinho. 24 edio rica. Complementar: Fsica, volume 2, Paul A. Tipler e Gene Mosca. 5 edio LTC Fsica Conceitual, Paul G. Hewitt. 9 edio. Bookman Dispositivos eletrnicos e teoria de circuitos. 8 edio. Robert L. Boylestad e Louis Nashelsky. Pearson
3o. Perodo
IDENTIFICAO DISCIPLINA: Probabilidade e Estatstica CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Clculo para Computao II CO-REQUISITOS: no h EMENTA
63
Anlise combinatria. Planejamento de uma pesquisa. Anlise exploratria de dados. Probabilidade. Variveis aleatrias discretas e contnuas. Principais modelos tericos. Estimao de parmetros. Testes de hipteses. BIBLIOGRAFIA Bsica: BARBETTA, P. A.; REIS, M. M., BORNIA, A. C. Estatstica para Cursos de Engenharia e Informtica. So Paulo: Editora Atlas, 2004; BUSSAB, W. O., MORETTIN, P. A. Estatstica bsica. 5 ed. So Paulo: Editora Saraiva, 2002. Complementar: MAGALHES, A. N., LIMA, A.C.P. - Noes de probabilidade e estatstica. 6 ed. So Paulo: EDUSP, 2005. MONTGOMERY, D.C., RUNGER, G. C. Estatstica aplicada e probabilidade para engenheiros. Rio de Janeiro: LTC, 2003; TRIOLA, M. F. Introduo Estatstica. 9. ed. Rio de Janeiro: LTC, 2005. IDENTIFICAO DISCIPLINA: Matemtica Discreta para Computao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS:04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Lgica Matemtica CO-REQUISITOS: no h EMENTA Grafos e rvores. lgebra de boole. Inteiros, divisores e primos. BIBLIOGRAFIA Bsica: EDWARD, Scheinerman, Matemtica Discreta: Uma Introduo. Thomson Learning, (2003). JUDITH, L. Gersting, Fundamentos Matemticos para Cincia da Computao - 5a edio. LTC (2004).
64
LOVSZ, L. PELIKN, J. Matemtica Discreta. SBM. 2003. Complementar: SEYMOUR, Lipschutz, MARC, Lipson, Teoria e Problemas da Matemtica Discreta - coleo Shaum. Bookaman (2004). IDENTIFICAO DISCIPLINA: Metodologia Cientca CDIGO DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 30 NMERO DE CRDITOS: 02 CARGA HORRIA SEMANAL: 02 TERICAS: 02 PRTICAS: 00 TOTAL: 02 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA O mtodo cientco e a prtica da pesquisa; funo social da pesquisa e da cincia. Tipos e caractersticas da pesquisa. Instrumentalizao metodolgica. Projeto de pesquisa. Relatrio de pesquisa BIBLIOGRAFIA Bsica: LAKATOS & MARCONE. Fundamentos de Metodologia Cientica. 7. ed. 320 p. Atlas, 2010 LAKATOS & MARCONE. Metodologia do Trabalho Cientco. 7. ed. 228 p. So Paulo : Atlas, 2007 WAZLAWICK, Raul Sidney. Metodologia De Pesquisa Para Cincia Da Computaao. 184p. Campus. 2009. Complementar: CHALMERS, A. O qu cincia anal. 2. Ed. 230p. Brasiliense. 2009. SIQUEIRA et. al. Como Elaborar Projetos De Pesquisa. 140p, Editora FGV 2007. MATIAS-PEREIRA. Manual de Metodologia da Pesquisa Cientica. 2. Ed. 240p. Atlas. 2010. IDENTIFICAO DISCIPLINA: Sistemas Digitais CDIGO:
65
DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 03 PRTICAS: 01 TOTAL: 04 PR-REQUISITOS: Fsica para computao CO-REQUISITOS: no h EMENTA Sistemas de Numerao e Cdigos; Aritmtica Binria; Porta Lgicas; Anlise e Projeto de Circuitos Combinacionais; Minimizao por Mapa de Karnaugh; Somadores; Decodicadores; Codicadores; Multiplexadores; Demultiplexadores; Anlise e Sntese de Circuitos Sequenciais; Latches e Flip-Flops; Minimizao de Estado; Registradores; Registradores de Deslocamento; Dispositivos Lgicos Programveis; Memria); BIBLIOGRAFIA Bsica: TOCCI, Ronald J. Sistemas Digitais: Princpios e Aplicaes. 10 Ed. Pearson. So Paulo, 2007. WAKERLY, John F. Digital design: principles and practices. Prentice-Hall. 2000. DAMORE, Roberto. VHDL: Descrio e Sntese de Circuitos Digitais. 1 Ed. LTC. 2005. Complementar: 1300 Esquemas e Circuitos Eletrnicos. R. Bourgeron. 8528901165. Hermus (2002). IDOETA, I., CAPUANO, F. G. Elementos de Eletrnica Digital. rica, 1984 MALVINO, Eletrnica Volume 1, 4 Edio, Makron Books IDENTIFICAO DISCIPLINA: Ingls CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 03 PRTICAS: 01 TOTAL: 04 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA
66
Leitura de textos em ingls, visando o desenvolvimento de estratgias globais de leitura e de anlise lingstica. BIBLIOGRAFIA Bsica: MURPHY, Raymond. Essential grammar in use: a self-study reference and practice book for elementary students of English. Cambridge: CUP, 1990. GRELLET, Franois. Developing reading skills. Cambridge: CUP, 1998. PINTO, Dilce et al. Compreenso inteligente de textos. Grasping the meaning. Vol. 1 e 2, Ao livro tcnico, Rio de Janeiro, 1991. Complementar: ESTERAS, Santiago Remacha. Infotech: English for computer users. 4th ed. Cambridge: Cambridge University Press, 2008. GLEDINNING, Eric & McEWAN, John. Oxford English for Information technology. 2nd ed. Oxford: Oxford University Press, 2008 IDENTIFICAO DISCIPLINA: Algoritmos e Estruturas de Dados II CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL:04 PR-REQUISITOS: Algoritmos e Estruturas de Dados I CO-REQUISITOS: no h EMENTA Formas de representao e abstrao de dados em memria Dispositivos e tcnicas para armazenamento de dados Estruturas Abstratas de Dados: - Lista Pilha Fila Mtodos de busca e classicao de dados em memria secundria de computadores Parmetros fsicos e lgicos dos dispositivos para armazenagem de dados. Mtodos de representao e abstrao de dados Mtodos de acesso a arquivos - sequenciais, - sequenciais indexadas,
67
- indexadas e diretas. Estruturas rvores-B e hashing, rvore binria, rvore Balanceada, Heap Grafo. BIBLIOGRAFIA Bsica: Estruturas de Dados e Algoritmos em Java. Goodrich, M.T.; Tamassia, R.; IV Edio, Bookman, So Paulo, 2007. ISBN: 978-85-60031-50-4. KOFFMAN, Elliot B., WOLFGANG, Paul A. T. Data Structures: Abstraction and Design Using Java. 2010. DALE, Nell., JOYCE, Daniel T., WEEMS, Chip. Object-Oriented Data Structures Using Java. Third Edition. Complementar: Estruturas de Dados e seus Algoritmos. J. L. Szwarcter e L. Markenzion. Segunda Edio. LTC, 1994. Algoritmos e Estruturas de Dados. A. de M. Guimares e N. A. de C. Lages. . Editora LTC, 1994. Estruturas de Dados e Algoritmos em C++. A. Drozdek. Pioneira, 2002.
4o. Perodo
68
IDENTIFICAO DISCIPLINA: Arquitetura de Computadores CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 03 PRTICAS: 01 TOTAL: 04 PR-REQUISITOS: Sistemas Digitais CO-REQUISITOS: no h EMENTA Organizao de Computadores; Conjunto de Instrues, Mecanismos de Interrupo e de Exceo; Barramento, Comunicaes; Interfaces e Perifricos, Hierarquia de Memria; Multiprocessadores; Multicomputadores; Arquiteturas Paralelas; BIBLIOGRAFIA Bsica: PATTERSON, D; HENNESSY, J. L. Organizao e Projeto de Computadores. 3 Ed. Campus. 2005. STALLINGS, W. Arquitetura e Organizao de Computadores. 8 Ed. Pearson. 2010. MONTEIRO, M. A. Introduo Organizao de Computadores. 5 Ed. LTC. 2007. Complementar: HENNESSY, J. L; PATTERSON, D. Arquiteturas de Computadores Uma abordagem quantitativa. 3 Ed. Campus. 2003. TOCCI, Ronald J. Sistemas Digitais: Princpios e Aplicaes. 10 Ed. Pearson. So Paulo, 2007. TANENBAUM, A. S. Organizao Estruturada de Computadores. 5 Ed. Pearson. 2009. IDENTIFICAO DISCIPLINA: Projeto e Anlise de Algoritmos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL:04
69
PR-REQUISITOS: Algoritmos e Estruturas de Dados II CO-REQUISITOS: no h EMENTA Corretude de Algoritmos Recursivos e Iterativos. Notao e Anlise Assinttica. Ecincia de Algoritmos Recursivos e No-Recursivos. Anlise Emprica. Grafos e Sub-grafos; Isomorsmo, Matrizes de Adjacncia e Incidncia, Caminhos e Ciclos. rvores: Caracterizao de rvores, Cortes de Arestas, Cortes de Vrtices. Conectividade: Conectividade de Vrtices e Arestas; Ciclos Eulerianos e Hamiltonianos. Emparelhamentos. Colorao de Vrtices e de Arestas. Planaridade. Redes de Fluxo. Algoritmos Gulosos. Programao Dinmica. Backtracking. Branch-and-Bound. NP-Completude. BIBLIOGRAFIA Bsica: CORMEN, T. H., LEISERSON, C. E., RIVEST, R. L., STEIN, C. Algoritmos: Teoria e prtica. Editora Campus, traduo da 2 edio Americana, 2002. GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. LTC Livros Tcnicos e Cientcos, 1982. PAPADIMITRIOU, C. H., VAZIRANI, U. V., DASGUPTA, S. Algoritmos. McGraw-Hill, 2006. Complementar: SIPSER, Michael. Introduo Teoria da Computao. Thomson Pioneira, 2 edio, 2007. MEDINA, M., FERTIG, C. Algoritmos e Programao: Teoria e Prtica. Novatec, 2005. HOPCROFT, J. E.; MOTWANI, R.; ULLMAN, J.D.: Introduo a Teoria de Autmatos, Linguagens e Computao. Rio de Janeiro: Campus, 2 edio, 2002. IDENTIFICAO DISCIPLINA: Paradigmas de Linguagens de Programao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA
70
Valores e Tipos; Variveis e Armazenamento; Associaes e Escopo; Abstrao de Procedimentos; Abstrao de Dados; Abstrao Genrica; Sistema de tipos; Controle de Fluxo; Concorrncia; Paradigma Imperativo; Paradigma Orientado a Objetos; Paradigma Concorrente; Paradigma Funcional; Paradigma Lgico; Paradigma Scripting. BIBLIOGRAFIA Bsica: David A. Watt. Programming Language Concepts and Paradigms. 2004. R. Sebesta. Conceitos de Linguagens de Programao - 4a Ed., Bookman, 2000. Varejo, Flvio. Linguagens de Programao - Conceitos e Tcnicas. Editora Campus, 2004. Complementar: C. Ghezzi & M. Jazayeri Programming Language Concepts-3rd Ed., John Wiley&Sons, 1997. R. Sethi Programming Languages: Concepts and Languages-2nd Ed., Addison Wesley. 1996. Pratt, T.W. Programming Languages - Design and Implementation, Third Edition, PrenticeHall, 1996. IDENTIFICAO DISCIPLINA: Banco de Dados CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Algoritmos e Estruturas de Dados II CO-REQUISITOS: no h EMENTA Conceituao. Arquitetura de SGDB. Modelagem de dados: modelo E-R e suas variaes, abstraes por agregao e generalizao. Modelos de representao (relacional, hierrquico e redes). Normalizao e manuteno da integridade. Arquitetura de Sistemas de Bancos de Dados, SQL BIBLIOGRAFIA Bsica:
71
SILBERSCHATZ, Abraham et al. ; Sistemas de bancos de dados. 3. ed. 778 p. So Paulo : Makron Books, 1997 DATE, C. J. ; Banco de dados. Rio de Janeiro : Campus, 1990 Complementar: MOLINA Hector Garcia, Ullman, Jefrey - IMPLEMENTAO DE SISTEMAS DE BANCO DE DADOS - ED. CAMPUS LONEY, Kevin et al. ; Oracle - Sistema de computador; Banco de dados ralacional Oracle Rio de Janeiro : Campus, 2000 IDENTIFICAO DISCIPLINA: Engenharia de Software CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Algoritmo de Estrutura de Dados II CO-REQUISITOS: no h EMENTA Contextualizao da Engenharia de Software; Fundamentao dos Princpios da Engenharia de Software; Conceituao de Produto e Processo de Software; Tipos de Processos de Software; Comparao entre os Paradigmas de Desenvolvimento Software; Caracterizao do Projeto de Software; UML; Gerenciamento de Projetos; Gerenciamento gil; Processo de Engenharia de Requisito; Requisitos; Testes de Software; Estilos Arquiteturais; Evoluo e Refatorao; Denio de Qualidade de Software. BIBLIOGRAFIA Bsica: Sommerville, Ian. Engenharia de Software. ISBN.: 8588639076. Addison Wesley. Roger S. Pressman. Engenharia de Software. ISBN.: 8586804576. McGraw-Hill. FLEEGER, Shari Lawrence. Software Engineering : Theory and Practice, Englewood Cliffs, N. J.:Prentice Hall, 2001, 659p. ISBN 0130290491. Complementar: Steve McConnell. Code Complete: A Practical Handbook of Software Construction. ISBN.: 0735619670. Ed. Microsoft Pres. Freeman E. , Freeman E., Bates B., Sierra K.; Head First Design Patterns. ISBN.: 0596007124. Ed. OReilly Media.
72
5o. Perodo
IDENTIFICAO DISCIPLINA: Sistemas Operacionais CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 03 PRTICAS: 01 TOTAL: 04 PR-REQUISITOS: Arquitetura de Computadores CO-REQUISITOS: no h EMENTA Estrutura de um Sistema Operacional. Processos Concorrentes. Escalonamento. Gerenciamento de Memria. Memria Virtual. Gerenciamento de Disco. Sistemas de Arquivos. Proteo e Segurana. Sistemas Distribudos. Estudos de Caso. BIBLIOGRAFIA Bsico: TANENBAUM, A. Sistemas Operacionais Modernos. Prentice-Hall. 2009. DEITEL; CHOFFNES. Sistemas Operacionais. Pearson Education. 3a Ed. 2005. STALLINGS, W. Operating Systems: Internals and Design Principles.7a Ed. 2011. Complementar: WOODHULL, A. S.; TANEMBAUM, A. Sistemas Operacionais: Projeto e Implementao. Artmed. 2008. SILBERSCHATZ, A; GALVIN, P.; GAGNE, G. Operating Systems Concepts. 6a Ed. John Willey. 2003. OLIVEIRA, R. S., CARISSIMI, A. S., TOSCANI, S. Sistemas Operacionais. 2 Ed. Editora Sagra Luzzato: Porto Alegre. 2001. IDENTIFICAO DISCIPLINA: Sistemas de Informao e Tecnologias CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04
73
CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA A organizao. Congurao estrutural. A TI na empresa e a Revoluo da Web.Viso sistmica de estratgias integradoras de reas e informao como apoio ao processo decisrio. Aplicaes organizacionais; Planejamento. Elementos da Tomada de deciso numa organizao. Deciso e controle. Sistemas de Informao Transacionais, Gerenciais e de Apoio s Operaes e Deciso. ERPs. CRMs. SCMs. Business intellligence. Gesto do conhecimento. A importncia do planejamento em TI. Tendncias em TI nas organizaes. BIBLIOGRAFIA Bsica: TURBAN, E.; MCLEAN, E; WETHERBE, J. Tecnologia da Informao para Gesto. Transformando os Negcios na Economia Digital. Traduo de Renate Schinke. Reviso tcnica de ngela F. Brodbeck. Porto Alegre: Bookman, 2004. OBRIEN, James. Sistemas de Informao e as decises gerenciais na era da Internet. So Paulo: Editora Saraiva, 2001. Rezende, D. A E. Abreu, A F de . Tecnologia Da Informao Aplicada A Sistemas de Informao Empresariais: O Papel Estratgico Da Informao E Dos Sistemas de Informao Nas Empresas. Editora Atlas - So Paulo 2010. Complementar: GORDON, S.R.; GORDON, J.R. Sistema de informao. 3. ed. Rio de Janeiro: LTC Livros Tcnicos e Cientcos Editora S.A., 2006. IDENTIFICAO DISCIPLINA: Teoria da Computao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Matemtica Discreta CO-REQUISITOS: no h EMENTA
74
Conceitos Bsicos. Alfabetos e Linguagens. Gramticas. Autmatos Finitos; Linguagens Regulares. Linguagens Livres de Contexto; Autmato de Pilhas; Gramticas Livre de Contexto Ambgua. Formas Normais. Linguagens Recursivamente Enumerveis e Sensveis ao Contexto. Hierarquia de Chomsky. Indecidibilidade. BIBLIOGRAFIA Bsica: MENEZES, Paulo F B: Linguagens Formais e Autmatos. P. Alegre: Sagra Luzzatto, 2005 (5a. edio). HOPCROFT, J. E.; MOTWANI, R.; ULLMAN, J.D.: Introduo Teoria de Autmatos, Linguagens e Computao. Rio de Janeiro: Elsevier, 2002. Complementar: GERSTING, J. L: Fundamentos Matemticos para a Cincia da Computao. Rio de Janeiro: LTC, 2008 (5. edio). IDENTIFICAO DISCIPLINA: Redes de Computadores CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: Cincia da Computao CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Introduo a Computao CO-REQUISITOS: no h EMENTA Conceitos bsicos de redes; Modelo OSI; Modelo TCP/IP; Conceitos bsicos de roteamento; Conceitos bsicos de switching e roteamento intermedirio; e Tecnologias WAN. BIBLIOGRAFIA Bsica: Kurose, James F.; Ross, Keith W. Redes de computadores e a internet: uma abordagem top-down. 3 Edio. So Paulo: Pearson Addison Wesley, 2008. Tanenbaum, Andrew S. Redes de computadores. 4 Edio. Rio de Janeiro: Editora Campus, 2002. Peterson,Larry. Redes de computadores: Uma abordagem de Sistemas. 3 Edio. Editora Campos, 2004.
75
Complementar: COMER, Douglas E. Interligao de Redes com TCP/IP, Volumes I 5 Edio. Prentice Hall, 2006. COMER, Douglas E. Interligao de Redes com TCP/IP, Volumes II 5 Edio. Prentice Hall, 2006. SOARES, LEMOS e COLCHER Redes Locais Das LANs, MANs e WANs s redes ATM. 2 Edio. Ed. Campus, 1995. IDENTIFICAO DISCIPLINA: Inteligncia Articial CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Projeto e Anlise de Algoritmos; Paradigmas de Linguagens de Programao. CO-REQUISITOS: no h EMENTA Introduo. Sistemas especialistas. Agentes Inteligentes. Resoluo de problemas por meio de busca. Problema de satisfao de restrio. Linguagens Simblicas. Esquemas para representao do conhecimento: lgicos, em rede, estruturados, procedurais. Formalismos para a representao de conhecimento incerto. Redes Bayesianas. Conjuntos e lgica Fuzzy. Introduo Computao Evolucionria. Algoritmos Genticos. Ajuste de parmetros em algoritmos genticos. Projeto. BIBLIOGRAFIA Bsica: RUSSELL, Stuart e NORVIG, Peter. Inteligncia Articial. Campus, Rio de Janeiro, 2004. REZENDE, Solange O. (2003). Sistemas Inteligentes Fundamentos e aplicaes. Barueri, SP. Editora Manole. 2003. EIBEN, Agoston E. & Smith, J.E. Introduction to Evolutionary Computing. Springer. 2008. Complementar: LUGER, George. Inteligncia Articial: Estruturas e Estratgias para a Soluo. Bookman, Porto Alegre, 2004. LIDEN, Ricardo. Algoritmos Genticos. Brasport. 2006
76
RICH, Elaine; KNIGHT, Kevin. Inteligncia articial. 2 ed. Makron Books, So Paulo, 1994. BITTENCOURT, G: Inteligncia Articial Ferramentas e Teorias. Editora da UFSC. 2. Edio. Florianpolis, 2001.
6o. Perodo
77
IDENTIFICAO DISCIPLINA: Empreendimentos em TIC CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Importncia e Contribuio Econmica e Social do Empreendedorismo; Empreendedores: Caractersticas e comportamentos empreendedores. Motivaes; Inovao tecnolgica e empreendedorismo; O sucesso e o fracasso de novos empreendimentos; Cases de sucesso em computao. Plano de negcio: Importncia, estruturao e apresentao. Pesquisa de Mercado; Ferramentas Gerenciais para o empreendedor. Incubadoras: o que so, objetivos; Caminhos a seguir e recursos disponveis para o empreendedor: Incubao, MCT, FINEP, Venture Capital, Start-ups BIBLIOGRAFIA Bsica: DRUCKER, P. F. Inovao e Esprito Empreendedor. So Paulo: Pioneira, 1986. DOLABELA, Fernando. Ocina do empreendedor. So Paulo: Cultura, 1999. Leite, Emanuel (2002) O Fenmeno do Empreendedorismo, Recife, Edies Bagao. Complementar: DEGEN, Ronald Jean. O Empreendedor: empreender como opo de carreira. So Paulo: Pearson Prentice Hall, 2009. Sites Especcos: http://www.planodenegocios.com.br portal brasileiro de plano de negcios, com artigos, cursos e eventos, links e bibligraa sobre o tema; http://www.empreendedor.com.br revista para empreendedores; http://www.anprotec.org.br ANPROTEC; http://emanueleite.blogspot.com/ IDENTIFICAO DISCIPLINA: Reconhecimento de Padres CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04
78
CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Algoritmos e Estruturas de Dados II, Matemtica Discreta. CO-REQUISITOS: Computao Grca. EMENTA Introduo a Aprendizagem de Mquina. Paradigmas de Aprendizagem de Mquina. Classicao e avaliao de classicadores. Regresso. Agrupamento. Redes Neurais. Introduo a Processamento de Imagens. Realce, ltragem e restaurao de imagens. Segmentao de imagens. Compresso e comunicao de imagens. Noes de viso computacional e reconhecimento de padres. Projeto. BIBLIOGRAFIA Bsica: TAN, Pang-Ning; STEINBACH; Michael; KUMAR, Vipin. Introduo ao Data Mining. Cincia Moderna. 2009. HAYKIN, Simon. Redes Neurais: Princpios e Prtica, 2 edio. Bookman. 2001. GONZALEZ, Rafael C.; WOODS, Richard E.. Processamento Digital De Imagens (3 Ed). Pearson Education. 2010. Complementar: WITTEN, I. H., Frank, E. (2005). Data mining : practical machine learning tools and techniques. Second Edition. Elsevier. BEALE, R.; Jackson, T. Neural Computing - An Introduction. Institute of Physics Publishing. 1990. MITCHELL, T. (1997). Machine Learning. McGraw-Hill. THEODORIDIS. S., Koutroumbas, K. (2009). Pattern Recognition. Fourth Edition, Academic Press. REZENDE, Solange O. (2003). Sistemas Inteligentes Fundamentos e aplicaes. Barueri, SP. Editora Manole. 2003. BRAGA, A. P., Ludermir, T.B. e de Carvalho A. P. L. F. (2007). A Redes Neurais Articiais Teoria e Aplicaes. LTC. MARQUES, Jorge Salvador. (2005). Reconhecimento de Padres - Mtodos Estatsticos e Neurais. IST Press. DUDA, R.O., Hart, P.E., Stork, D.G. (2001) Pattern Classication. Second Edition. Wiley. BISHOP, C. M. (2006). Pattern Recognition and Machine Learning. Springer. A. K. Jain. Fundamentals of digital image processing. Prentice-Hall International Editions, Englewood Cliffs, NJ, 1989. Bernd Jhne. Digital Image Processing 6th edition. Springer. 2005.
79
IDENTIFICAO DISCIPLINA: Compiladores CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Teoria da Computao; Algoritmos e Estruturas de Dados II CO-REQUISITOS: no h EMENTA Processadores de linguagem: compilador e interpretador. Introduo compilao. Fases da compilao. Relaes sobre gramticas. Anlise lxica. Anlise sinttica ascendente e descendente. Tabelas de smbolos. Esquemas de traduo. Anlise semntica. Gerao de cdigo intermedirio. Ambientes de execuo. Introduo otimizao de cdigo. BIBLIOGRAFIA Bsica: AHO, A. V., SETHI, R., ULLMAN, J. D. Compiladores: Princpios, Tcnicas e Ferramentas. Rio de Janeiro: Guanabara Koogan, 1986. PRICE, A. M. Implementao de Linguagens de Programao: Compiladores. Sagra Luzzato, 2001. Complementar: DELAMARO, M. E. Como Construir um Compilador Utilizando Ferramentas Java. So Paulo: Novatec, 1 edio, 2004. SEBESTA, R. W. Conceitos de Linguagens de Programao. Porto Alegre: Bookman, 5 edio, 2003. MENEZES, P. B. Linguagens Formais e Autmatos. Sagra Luzzato, 5 edio, 2005. SETZER, Valdemar. A Construo de um Compilador. Campus, Rio de Janeiro, 1986. IDENTIFICAO DISCIPLINA: Computao Grca CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04
80
CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Introduo a Programao; lgebra Linear CO-REQUISITOS: no h EMENTA Introduo computao grca. Biblioteca grca OpenGL. Representao de objetos. Dispositivos perifricos grcos. Processo de visualizao. Curvas e superfcies paramtricas. Eliminao de superfcies ocultas. Gerao de imagens com realismo. Tpicos complementares em computao grca. BIBLIOGRAFIA Bsica: Computao Grca: Teoria e Prtica, AZEVEDO, E. e Conci, A. Editora Campus, Elsevier, 2003. Rio de Janeiro.ISBN 8535212533. Fundamentos de Computao Grca, Gomes, J. e Velho, L. IMPA, 2003. Geometric Algebra for Computer Graphics, John A. Vince, Springer, 2008. ISBN 1846289963. Complementar: Fundamentals of Computer Graphics, Second Ed. Peter Shirley, et al. A K Peters Ltd, 2005. ISBN 1568812698. OpenGL(R) Programming Guide, Shreiner D., et al. Addison-Wesley, 5th Edition, 2005. ISBN 0321335732. Foley, J.D. van Dam, A. Feiner K.S., Jughes, J.F., Computer Graphics: Principles And Practice, Addison Wesley, 1993. IDENTIFICAO DISCIPLINA: Sistemas Distribudos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 04 PRTICAS: 00 TOTAL: 04 PR-REQUISITOS: Redes de Computadores CO-REQUISITOS: no h EMENTA
81
Introduo aos sistemas distribudos; Denies de processos e threads; Comunicao em sistemas distribudos; Sincronizao em sistemas distribudos; Conceitos de middleware;Redes P2P: conceitos bsicos, arquiteturas, aplicaes;Introduo a grades computacionais;Tecnologias de middleware tradicionais. BIBLIOGRAFIA Bsica: G. Coulouris, J. Dollimore e T. Kindberg, Sistemas Distribudos: Conceitos e Projetos. 4 Edio. Bookman Companhia, 2007. A.S. Tanenbaum and M.V. Steen, Sistemas Distribudos: Princpios e Paradigmas. 2 Edio. Prentice Hall Brasil, 2007. M. DANTAS. Computao Distribuda: Redes, Grids e Clusters Computacionais. Rio de janeiro: Axcel Books, 2005. Complementar: U. RIBEIRO. Sitemas Distribudos: Desenvolvendo Aplicaes de Alta Perfarmance no Linux. Rio de Janeiro: Axcel Books, 2005. Marques, Jos Alves. Tecnologia de Sistemas Distribudos. 1 Edio. FCA, 1998. Tanenbaum, Andrew S. Redes de computadores. 4 Edio. Rio de Janeiro: Editora Campus, 2002.
7o. Perodo
IDENTIFICAO DISCIPLINA: Projeto de Desenvolvimento de Software CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 90 NMERO DE CRDITOS: 06 CARGA HORRIA SEMANAL: 06 TERICAS: 02 PRTICAS: 05 TOTAL: 06 PR-REQUISITOS: Engenharia de Software; Fundamentos de Banco de Dados CO-REQUISITOS: no h EMENTA Desenvolvimento de um sistema de computao usando conceitos aprendidos anteriormente. Sistemas multidisciplinares devem ser estimulados bem como o trabalho em equipe.
82
BIBLIOGRAFIA Bsica: PRESMANN. Engenharia de Software 7. ed. 776 p. McGraw-Hill, 2011 SOMMERVILLE. Engenharia de Software. 8. ed. 568 p. Addison Wesley, 2007 BRAUDE. Projeto de Software. Bookman. 2005. Complementar: WAZLAWICK. Anlise e Projetos de Sistemas de Informao. 2. Ed. 344p. Campus. 2010. BEZERRA. Princpios de Anlise e Projetos de Sistemas UML. 380p, Campus 2006. HELM et. al. Padres de Projeto 1. Ed. 366p. Bookman. 2005. IDENTIFICAO DISCIPLINA: Interface Humano-Computador CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Engenharia de Software CO-REQUISITOS: no h EMENTA Conhecer os fundamentos de fatores humanos em IHC, os modelos mentais (metforas), os paradigmas de IHC (engenharia semitica e cognitiva) e os mtodos, tcnicas, suporte e avaliao de design de interao. BIBLIOGRAFIA Bsica: Barbosa, S. D. J.; Silva, B. S. Interao Humano-Computador. Rio de Janeiro: Elservier, 2010. Preece, Rogers e Sharp; Design de Interao - Alm da Interao Homem-computador. So Paulo: Bookman, 2005. Complementar: de Souza, C.S.; Leite, J.C.; Prates, R.O.; Barbosa, S.D.J. Projeto de Interfaces de Usurio: perspectivas cognitivas e semiticas. Jornada de Atualizao em Informtica (JAI), Congresso da SBC, 1999.
83
Prates, R.O.; Barbosa, S.D.J. Avaliao de Interfaces de Usurio - Conceitos e Mtodos. Jornada de Atualizao em Informtica (JAI), XXIII Congresso da SBC, 2003. IDENTIFICAO DISCIPLINA: Computadores e Sociedade CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 30 NMERO DE CRDITOS: 02 CARGA HORRIA SEMANAL: 02 TERICAS: 02 PRTICAS: 00 TOTAL: 02 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA CONSEQNCIAS DA INFORMATIZAO DA SOCIEDADE: A informatizao e o aspecto educacional; Efeitos polticos e econmicos; Impactos sociais; Informatizao e privacidade; POLTICA NACIONAL DE INFORMTICA: Indstria nacional de informtica; O papel do analista e sistemas na sociedade; AUTOMAO DE ATIVIDADES: Comerciais; Industriais; Escritrios; APLICAES DA INFORMTICA: Cientca; Administrativa; Jurdica; Humanstica; Educao; ERGONOMIA E DOENAS PROFISSIONAIS: Tipos; Caractersticas. BIBLIOGRAFIA Bsica: MINISTRIO da Cincia e Tecnologia. Sociedade da Informao no Brasil - Livro Verde. Braslia: Imprensa Nacional, 2000.Bibliograa Complementar: MASIEIRO, Paulo C. tica em Computao. So Paulo : Editora da Universidade de So Paulo. 2000. YOUSSEF, Antonio N.; FERNANDES, Vicente P. Informtica e Sociedade. 2 ed. So Paulo: tica, 1998. NEGROPONTE, Nicholas. A Vida Digital. So Paulo: Companhia das Letras, 1998. SCHAFF, Adam. A Sociedade Informtica. So Paulo: Brasiliense, 1995. NAVEIRA & SILVA, L. A quarta onda. Rio de Janeiro : Record, 1989. TOFFLER, Alvin. A Terceira Onda. Rio de Janeiro, Record, 1995. SOUSA, M. S. L. Introduo aos aspectos humanos da
84
interao homem: computador. UFRGS, 1995.REZENDE, D. A..Engenharia de software e sistemas de informao. Rio de Janeiro: Brasport, 2002, 358p. ISBN 8574520942.). ISBN 8522103909. (2004).
85
86
RAMAKRISHNAN, GEHRKE. Sistema de Gerenciamento de Banco de Dados. 3. Ed. 884 pginas, Mcgraw Hill 2008. RIGAUX et. al. Spatial Databases: with application to GIS, Morgan Kaufmann, 2002. IDENTIFICAO DISCIPLINA: Integrao de Dados e Data Warehouse CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Banco de Dados CO-REQUISITOS: no h EMENTA Denir o processo de construo de um Data Warehouse (DW). Explicar as diferentes fases de construo de um DW. Listar os principais fatores que denem um projeto com sucesso. Analisar e transformar exigncias empresariais em um modelo de negcios (conceitual). Utilizar diagramas de relacionamentos de entidades para transformar o modelo de negcios em um modelo dimensional (lgico). Transformar o modelo dimensional em um projeto de dados fsico. Apresentar as principais estruturas que cooperam no desempenho e criao de uma base DW. BIBLIOGRAFIA Bsica: SILBERSCHATZ et al. Sistemas de bancos de dados. 5. ed. 778 p. So Paulo : Makron Books, 2006 ZSU & VALDURIEZ. Princpios de Sistemas de Bancos de dados Distribudos, Editora Campus, 2001 JARKE et, al. Fundamentals of Data Warehouses, Springer-Verlag. 2000. Complementar: HAN & KAMBER. Data mining: concepts and techniques. Morgan-Kauffman. 2000. ABITEBOUL et. al. Data on the Web, from relations to semistructured data and XML. Morgan-Kauffman. 2000. ELSMARI & NAVATHE. Sistemas de Banco de Dados. 6. Ed. 744p. Pearson. 2011. IDENTIFICAO
87
DISCIPLINA: Modelagem Conceitual de Dados CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Banco de Dados CO-REQUISITOS: no h EMENTA Conceitos Bsicos. Anlise de Requisitos para Projeto Conceitual do Banco de Dados. Vericao do Projeto Conceitual do Banco de Dados. Estratgias para Especicao do Projeto Conceitual de Banco de Dados. Aspectos Avanados de Projeto Conceitual de Banco de Dados com o Modelo Entidade-Relacionamento (MER) e com a Linguagem de Modelagem Unicada (UML). Metamodelos e UML Prole. Ferramentas CASE. Ontologias e Modelos Conceituais de Banco de dados. Projeto Conceitual de Data Warehouse. Tpicos Especiais. Projeto Prtico. BIBLIOGRAFIA Bsica: SILBERSCHATZ, Abraham et al. Sistemas de bancos de dados. 5. ed. 778 p. So Paulo : Makron Books, 2006 TEOREY et. al. - Projeto e Modelagem de Banco De Dados, Elsevier. 2007. ELSMARI & NAVATHE. Sistemas de Banco de Dados. 6. Ed. 744p. Pearson. 2011. Complementar: REUSER, Carlos Alberto. Projeto de Banco de Dados. 6. Ed. 282p. Ed. Bookman 2009. RAMAKRISHNAN, GEHRKE. Sistema de Gerenciamento de Banco de Dados. 3. Ed. 884 pginas, Mcgraw Hill 2008. DATE, C. J. Introduo a Sistemas de Banco de dados. 8. Ed. 900 p. Rio de Janeiro : Campus, 2004 IDENTIFICAO DISCIPLINA: Projeto de Banco de Dados CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04
88
PR-REQUISITOS: Banco de Dados CO-REQUISITOS: no h EMENTA Realizar um projeto real com aplicao de mercado utilizando os conceitos de Banco de Dados j adquirido e um conjunto de novos conceitos apresentados nesta disciplina. BIBLIOGRAFIA Bsica: 01 SILBERSCHATZ, Abraham et al. Sistemas de bancos de dados. 5. ed. 778 p. So Paulo : Makron Books, 2006 02 - REUSER, Carlos Alberto. Projeto de Banco de Dados. 6. Ed. 282p. Ed. Bookman 2009. 03 ELSMARI & NAVATHE. Sistemas de Banco de Dados. 6. Ed. 744p. Pearson. 2011. Complementar: RAMAKRISHNAN, GEHRKE. Sistema de Gerenciamento de Banco de Dados. 3. Ed. 884 pginas, Mcgraw Hill 2008. DATE, C. J. Introduo a Sistemas de Banco de dados. 8. Ed. 900 p. Rio de Janeiro : Campus, 2004 IDENTIFICAO DISCIPLINA: Tpicos Especiais em Banco de Dados CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Banco de Dados CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em na rea multidisciplinar de Banco de Dados permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Artigos e Perodicos Recentes da rea de Pesquisa
89
90
REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Arquitetura e Organizao de Computadores CO-REQUISITOS: no h-------EMENTA Modelos de Especicao de Sistemas Embutidos. Tcnicas de Particionamento de Sistemas. Tcnicas de Estimativas. Tcnicas para Gerao de Interfaces. Tcnicas para Sntese de Software. Tcnicas de Co-simulao. Prototipao de Sistemas BIBLIOGRAFIA Bsica: VAHID, F.; GIVARGIS, T. Embedded system design: a unied hardware/software introduction. Willey. 2002. GAJSKI, D. et al. Embedded System Design - Modeling, Synthesis and Verication. Springer. 2009. CATSOULIS, J. Designing Embedded Hardware. 2 Ed. OReilly Media. 2005. Complementar: HENNESSY, J. L; PATTERSON, D. Arquiteturas de Computadores Uma abordagem quantitativa. 3 Ed. Campus. 2003. SASS, R.; SCHMIDT, A.G. Embedded Systems Design with Platform FPGAs Principles and Practices. Morgan Kaufmann. 2010. SIMON, E. S. An Embedded Software Primer. Addison-Wesley Professional. 1999. IDENTIFICAO DISCIPLINA: Prototipao de Circuitos Digitais CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Arquitetura e Organizao de Computadores CO-REQUISITOS:
91
EMENTA Ferramentas de CAD (Computer Aided-Design). Metodologias de projeto. Tecnologia para implementao de circuitos de alta integrao. Estilos de projetos para implementao de circuitos integrados. Projeto e implementao de circuitos integrados usando ferramentas de CAD. Laboratrio/projeto de um estudo de caso. BIBLIOGRAFIA Bsica: WESTE, N., ESHRAGHIAN, K., Principles of CMOS VLSI Design- A Systems Perspective, Addison-Wesley Publishing COmpany, 1988. REIS, Ricardo A. L., Concepo de Circuitos integrados. Srie Livros didticos. Editora Sagra Luzzatto, 2000. Complementar: Notas de aula; Artigos cientcos IDENTIFICAO DISCIPLINA: Tpicos Avanados em Engenharia da Computao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Engenharia da Computao permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Artigos recentes da rea de pesquisa
92
IDENTIFICAO DISCIPLINA: Engenharia de Software Experimental CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 3 PRTICAS: TOTAL: 1 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Introduo a Princpios de Experimentao; Mtodos e Tcnicas de Experimentao: Estudo de Caso; Survey; Experimento. Projeto, Execuo e Avaliao de Experimentos em Engenharia de Software; Denio de Mtricas; Empacotamento e Replicao de Experimentos BIBLIOGRAFIA Bsica: TRAVASSOS, G.; GUROV, D.; AMARAL, E. Introduo a Engenharia de Software Experimental. Technical Report ES-590/02, COPPE/UFRJ, Abril, 2002. SHULL, Forrest., SINGER, Janice., SJBERG, Dag I. K.. Guide to Advanced Empirical Software Engineering; Springer, 2010. BASILI, V.; SALBY, R.; HUTCHENS, D. Experimentation in Software Engineering. IEEE Transactions on Software Engineering, SE-12(7):733-743, Julho, 1986. Complementar: JAIN, R. The art of computer systems performance analysis: techniques for experimental design, measurement, simulation and modeling. Wiley,1991. CONRADI, Reidar. Empirical Methods and Studies in Software Engineering: Experiences from ESERNET; Springer, 2003. PFLEEGER, S. Design and Analysis in Software Engineering, Part 1: The Language of Case Studies and Formal Experiments. Software IDENTIFICAO DISCIPLINA: Programao Orientada a Aspectos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL:
93
PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Introduo ao paradigma orientado a aspectos: Problemas no paradigma OO; Modularidade; Extensibilidade; Reusabilidade; AspectJ; Aspectos; Pointcuts; Join points; Advice; Static and dynamic crosscutting; Discutir detalhes da semntica esttica e dinmica de AspectJ; Apresentao de exemplos de aplicaes do paradigma orientado a aspectos; Padres de projetos orientados a aspectos; Padres GOF (implementaes em Java e AspectJ ); PDC (Persistent Data Collection); Refactorings orientados a aspectos; AspectJ dioms para construo de software orientado a aspectos; Catlogo de refactorings e code smells para AspectJ BIBLIOGRAFIA Bsica: Ladda, Ramnivas. AspectJ in Action: Practical Aspect-Oriented programming. Greenwich, CT, USA, 1 ed., 2003. Kiselev, I. Aspect-Oriented Programming with AspectJ. ISBN: 0672324105. Sams Publisher. 1 ed., 2002. Miles, R.; AspectJ Cookbook. ISBN: 0596006543. Ed. OREILLY & ASSOC. 2009. Complementar: Sommerville, Ian. Engenharia de Software. ISBN.: 8588639076. Addison Wesley. Roger S. Pressman. Engenharia de Software. ISBN.: 8586804576. McGraw-Hill. IDENTIFICAO DISCIPLINA: Programao Orientada a Objetos II CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Desenvolvimento de Interface Grca com Usurio (Aplicaes Desktop); Desenvolvimento em equipe; Utilizao de SVN e CVS; Merge e Branch de cdigos fonte; Instalaes de Pluggins para Eclipse; Utilizao de APIs; XML; Utilizao de JUnit; Construo e utilizao de Build.xml; Eclipse Debugging
94
BIBLIOGRAFIA Bsica: Harvey M. Deitel, Paul J. Deitel. Java How to Program. Prentice Hall. 7 Edio, 2006. ISBN : 0132222205. Lynn Andrea Stein. Interactive Programming in Java, 2003. Bruce Eckel. Thinking in Java. Segunda edio, 2000. Complementar: Barnes, D. J., Klling, M. Programao Orientada a Objetos com Java, Ed. Pearson/PrenticeHall, 2004. Santos, R. Introduo Programao Orientada Objetos Usando Java, Ed. Campus, 2003. Cay S. Horstmann e Gary Cornell. Core Java 2, Volume I - Fundamentos. Sun Microsystems Press, Makron Books do Brasil, 2001. IDENTIFICAO DISCIPLINA: Programao Paralela e Distribuda CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 3 PRTICAS: TOTAL: 1 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Arquiteturas paralelas, programao paralela e aspectos de desempenho; Processos, comunicao e sincronizao (IPC); Threads, comunicao e sincronizao em memria compartilhada; Paralelismo com threads; Algoritmos de escalonamento; Processadores paralelos e distribudos; Comunicao em Rede (sockets); Computao com Passagem de Mensagem (MPI) BIBLIOGRAFIA Bsica: Wilkinson, B. and Allen, M. Parallel Programming: Techniques and Applications Using Networked Workdstations and Parallel Computers. Pearson Prentice Hall, 2005. Dongarra,J.;Foster,I.;Fox,G.;Gropp,W.;White,A.;Torczon,L.;Kennedy,K. Sourcebook of Parallel Computing. Morgan Kaufmann Pub, 2002.
95
DEITEL, Harvey M.; DEITEL, Paul J. Java: Como Programar. 4a Edio. Bookman, 2002. Complementar: ORFALI, Robert; HARVEY, Dan. Client/Server Programming with Java and CORBA. 2nd Edition. John Wiley, 1998. Quinn, M.J.Parallel Programming in C with MPI and OpenMP. McGrawHill, 2004. Grama,A.;Gupta,A.;Karypis,G.;Kumar,V. Introduction to Parallel Computing. AdissonWesley, 2003. IDENTIFICAO DISCIPLINA: Programao Web CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Introduo Programao WEB (Elementos Bsicos); Desenvolvimento de interfaces grcas para a Internet; Desenvolvimento de servios e sistemas de informao para a Internet; Servidores de Aplicao; Segurana e desempenho de sistemas para a Internet; Integrao de sistemas baseados na Internet; JBoss; Desenvolvimento de interfaces grcas para a Internet com HTML, Javascript, e Applets); Desenvolvimento de servios e sistemas de informao para a Internet com Servlets, Java Server Pages; Performance de sistemas para a Internet; XML/CSS/XLST (Web Design) BIBLIOGRAFIA Bsica: Nicholas Kassem ET. AL.; Designing Enterprise Applications with the Java 2 Platform, Enterprise Edition. Addison-Wesley, 2000. Jason Hunter, William Crawford. Java Servlet Programming. OReilly & Associates, 1998. Baehr, C. M; Web Development A Visual-Spatial Approach. ISBN: 0131701223. Ed. Prentice Hall. 2006. Complementar: David Flanagan, Dan Shafer. Javascript: The Denitive Guide. OReilly & Associates, 3rd edition, 1998 Downet, T.; Web Development with Java. ISBN: 1846288622. Ed. Springer Verlag NY. 2007
96
IDENTIFICAO DISCIPLINA: Desenvolvimento Distribudo de Software CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 3 PRTICAS: TOTAL: 1 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Gerncia de Projeto; Engenharia de Requisitos; Processos de Software; Adaptao de Processos; Modelos de desenvolvimento; Mtodos geis; Scrum; XP BIBLIOGRAFIA Bsico: PRIKLADNICKI, Rafael., AUDY, Jorge. Desenvolvimento Distribudo de Software; Elsevier, 2007. CARMEL, E. Global Software Teams: Collaboration Across Borders and Time Zones;PrenticeHall, EUA, 1999. ECKSTEIN, Jutta. Agile Software Development with Distributed Teams; Dorset House, 2010. Complementar: COHN, Mike. Succeeding with Agile: Software Development Using Scrum; AddisonWesley, 2009. LOELIGER, Jon. Version Control with Git: Powerful Tools and Techniques for Collaborative Software Development; OReilly, 2009. KAROLAK, Dale Walter. Global Software Development: Managing Virtual Teams and Environments; Wiley, 1998. IDENTIFICAO Disciplina: Anlise e Projeto de Sistemas Cdigo: Departamento: Unidade Acadmica de Garanhuns rea: Computao Carga Horria Total: 60 horas Nmero de crditos: 04 Carga Horria Semanal:04 horas Tericas: 50h Prticas: 10h Total: 60h
97
Pr-requisitos: Engenharia de Software Co-requisitos: no h EMENTA Apresentar aos alunos os princpios de linha de produo dentro da Eng. De Software. Este conceito dene as etapas de como um software orientado a objeto deve ser construdo desde seu levantamento de requisitos at a sua implantao. BIBLIOGRAFIA Bsica: PRESMANN. Engenharia de Software 7. ed. 776 p. McGraw-Hill, 2011 HELM et. al. Padres de Projeto 1. Ed. 366p. Bookman. 2005. BEZERRA. Princpios de Anlise e Projetos de Sistemas UML. 380p, Campus 2006. Complementar: BRAUDE. Projeto de Software. Bookman. 2005. SOMMERVILLE. Engenharia de Software. 8. ed. 568 p. Addison Wesley, 2007 WEST et. al. Use A Cabea Analise & Projeto Orientado Ao Objeto. 472 p. Starling Consult. 2007. IDENTIFICAO DISCIPLINA: Gerenciamento de Projetos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: CO-REQUISITOS: EMENTA Fundamentos de Gerenciamento de Projetos (GP); Descrio do Processo de GP; Atividades de planejamento e gerenciamento de um processo especco (o RUP, por exemplo); Desenvolvimento de Proposta e Plano de Projeto; Atividade de Iniciao de um Projeto; Atividade de Gerenciamento de Tempo; Atividade de Gerenciamento de Escopo; Atividade de Gerenciamento de Riscos; Fases de Implementao do Projeto; Fases de Implantao; Fase de Finalizao do Projeto de Software; Ferramentas de planejamento e gerenciamento; Tcnicas para estimativas e coleta de mtricas
98
BIBLIOGRAFIA Bsica: Jack R. Meredith e Samuel J. Mantel, Jr.; Project Management: A Managerial Approach, Third Edition, John Wiley & Sons Inc., USA, 1995. Robert K., Wysocki, Robert, Jr Beck, David B. Crane; Effective Project Management, 2nd Edition. 384 pages. March 2, 2000. John Wiley & Sons. ISBN 0471360287.03 Bruce Eckel. Barry W. Boehm; Software Engineering Economics. 767 pages (October 1981). Prentice Hall. ISBN 01382212 Complementar: Steve McConnell. Software Project Survival Guide. 250 pages. November 1997. Microsoft Press. ISBN 1572316217. Tom Demarco, Timothy Lister. Peopleware: Productive Projects and Teams. 2nd edition, February 1, 1999. Dorset House. ISBN 0932633439. Frederick P., Jr. Brooks, Frederick P. Brooks Jr.; The Mythical Man-Month : Essays on Software Engineering. 336 pages anniversary edition (July 1995). Addison-Wesley Pub Co. ISBN 0201835959. IDENTIFICAO DISCIPLINA: Especicao de Requisitos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: COMPUTAO CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 02 PRTICAS: 02 TOTAL: 04 PR-REQUISITOS: Engenharia de Software CO-REQUISITOS: no h EMENTA Motivao; Tcnicas de especicao de requisitos; Ferramentas de especicao de requisitos; Tcnicas de validao de sistemas; Ferramentas de validao de sistemas; Estudo de caso; Projeto BIBLIOGRAFIA Bsica: PRESMANN. Engenharia de Software 7. ed. 776 p. McGraw-Hill, 2011 KONTOYA & SOMMERVILLE: Requirements Engineering: Processes and Tecniques, John Wiley & Sons, Ltd, 1998
99
COHN: User Stories Applied, Addison Wesley. 2004 Complementar: SOMMERVILLE & SAWYER: Requirements Engineering. John Wiley & Sons, Ltd, 1997 SOMMERVILLE. Engenharia de Software. 8. ed. 568 p. Addison Wesley, 2007 LAMSWEERDE. Requirements Engineering. John Wiley & Sons, Ltd, 2009 IDENTIFICAO DISCIPLINA: Qualidade de Software CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 30 NMERO DE CRDITOS: 02 CARGA HORRIA SEMANAL: 02 TERICAS: 01 PRTICAS: 01 TOTAL: 02 PR-REQUISITOS: Engenharia de Software CO-REQUISITOS: no h EMENTA Apresentar aos alunos o tema Qualidade de Software, procurando discutir aspectos relacionados a essa sub-rea da Engenharia de Software. Bsica: PRESMANN. Engenharia de Software 7. ed. 776 p. McGraw-Hill, 2011 KOSCIANSKI. Qualidade de Software, Editora Novatec, 2006. BROOKS. O Mtico homem ms 1.Ed. 328p. Campus. 2009. Complementar: BARTIE. Garantia da Qualidade de Software, Editora Campus, 2002. SOMMERVILLE. Engenharia de Software. 8. ed. 568 p. Addison Wesley, 2007 CHRISSIS et. al. CMMI Guidelines for Process Integration and Product Improvement, Addison-Wesley, 2003. IDENTIFICAO DISCIPLINA: Paradigmas de Linguagens de Programao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA:
100
CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 3 PRTICAS: TOTAL: 1 PR-REQUISITOS: CO-REQUISITOS: EMENTA Inspeo de software; Princpios e tcnicas de testes de software; teste de unidade; teste de integrao; teste de regresso; Desenvolvimento orientado a testes; Automao dos testes; Gerao de casos de teste; Teste de interfaces humanas; Teste de aplicaes para a web; Testes alfas, beta e de aceitao; Ferramentas de testes; Planos de testes. Gerenciamento do processo de testes. Registro e acompanhamento de problemas. BIBLIOGRAFIA Bsica DELAMARO. M.E.; MALDONADO, J. C.; JINO, M. Introduo ao Teste de Software; Rio de Janeiro: Campus, 2007. MOLINARI, Leonardo. Testes Funcionais de Software; Visual Books, 2008. PRESSMAN, Roger S.. Engenharia de Software: uma Abordagem Prossional; Bookman, 2011. Complementar BECK, K. Test-driven development by example; EUA: Addison Wesley, 2002. BLACK, Rex. Pragmatic Software Testing; Wiley, 2007. MOLINARI, Leonardo. Testes de Software: Produzindo Sistemas Melhores e mais Conveis; rica, 2003. IDENTIFICAO DISCIPLINA: Medio de Software CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 30 HORAS NMERO DE CRDITOS: 02 CARGA HORRIA SEMANAL: 02 TERICAS: 01 PRTICAS: 01 TOTAL: 30 PR-REQUISITOS: ENGENHARIA DE SOFTWARE CO-REQUISITOS: no h EMENTA
101
Apresentar aos alunos os princpios subjacentes ao desenvolvimento de software que precisa para satisfazer objetivos especcos, onde estas metas devem ser expressas em termos mensurveis[200B?][200B?]. Ela abrange os princpios de medio de software, e as maneiras pelas quais elas so usadas no planejamento de projetos de software, e no acompanhamento dos projetos bem como sua realizao. Discute a aplicao de tcnicas de medio de software para estes mtodos de ensaio. BIBLIOGRAFIA Bsica: PRESMANN. Engenharia de Software 7. ed. 776 p. McGraw-Hill, 2011 JONES. Applied Software Measurement 3 Ed. 700 p. McGraw-Hill, 2008 BROOKS. O Mtico homem ms 1.Ed. 328p. Campus. 2009. Complementar: VAZQUES ET. AL. Anlise de Pontos de Funo: Medio, Estimativas e Gerenciamento de Projetos de Software - 7 Edio. Ed. rica. 2007 SOMMERVILLE. Engenharia de Software. 8. ed. 568 p. Addison Wesley, 2007 MCGARRY ET. AL. Practical Software Measurement: Objective Information for Decision Makers. Addison-Wesley. 2001. IDENTIFICAO DISCIPLINA: Paradigmas de Linguagens de Programao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 3 PRTICAS: TOTAL: 1 PR-REQUISITOS: CO-REQUISITOS: EMENTA Inspeo de software; Princpios e tcnicas de testes de software; teste de unidade; teste de integrao; teste de regresso; Desenvolvimento orientado a testes; Automao dos testes Gerao de casos de teste; Teste de interfaces humanas; Teste de aplicaes para a web. Testes alfas, beta e de aceitao; Ferramentas de testes; Planos de testes. Gerenciamento do processo de testes. Registro e acompanhamento de problemas. BIBLIOGRAFIA
102
Bsica: DELAMARO. M.E.; MALDONADO, J. C.; JINO, M. Introduo ao Teste de Software; Rio de Janeiro: Campus, 2007. MOLINARI, Leonardo. Testes Funcionais de Software; Visual Books, 2008. PRESSMAN, Roger S.. Engenharia de Software: uma Abordagem Prossional; Bookman, 2011. Complementar: BECK, K. Test-driven development by example; EUA: Addison Wesley, 2002. BLACK, Rex. Pragmatic Software Testing; Wiley, 2007. MOLINARI, Leonardo. Testes de Software: Produzindo Sistemas Melhores e mais Conveis; rica, 2003. IDENTIFICAO DISCIPLINA: Tpicos Especiais em Engenharia de Software CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: Computao CARGA HORRIA TOTAL: 60 horas NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL:04 horas TERICAS: 60h PRTICAS: 0h TOTAL: 60h PR-REQUISITOS: Engenharia de Software CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em na rea multidisciplinar de Engenharia de Software permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Artigos e Peridicos Recentes da rea de Pesquisa IDENTIFICAO DISCIPLINA: Metodologias geis CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: Computao CARGA HORRIA TOTAL: 60 horas NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL:04 horas TERICAS: 30h PRTICAS: 30h TOTAL: 60h PR-REQUISITOS: Gesto de Projetos e Anlise e Projeto de Sistemas CO-REQUISITOS: no h
103
EMENTA Apresentar aos alunos os problemas da Engenharia de Software Tradicional. Como enxergar o desenvolvimento de software como uma atividade de rpidas mudanas e como as metodologias geis trata esta questo. BIBLIOGRAFIA Bsica: Agile Planning and Estimation. Mike Cohn: Addison Wesley, 2004. User Stories Applied. Por Mike Cohn - Addison Wesley (2003) Agile Software Development Quality Assurance. Stamelos & Sfetsos: Information Science Centre, 2007. Complementar: BECK. K. Extreme Programming Explained. Addison Wesley. 2000. SOMMERVILLE. Engenharia de Software. 8. ed. 568 p. Addison Wesley, 2007 BOEHM & TURNER Balancing Agility and Discipline. Addison Wesley. 2003.
104
BIBLIOGRAFIA Bsica: BRAGA, A. P., LUDEMIR, T. B., CARVALHO, A. P. L. F. A Redes Neurais Articiais Teoria e Aplicaes. LTC, 2007. HAYKIN, Simon. Redes Neurais: Princpios e Prtica, 3 edio. Bookman. 2008. COPPIN, B. Inteligncia Articial. LTC, 2010. Complementar: MARQUES, J. S.. Reconhecimento de Padres - Mtodos Estatsticos e Neurais. IST Press, 2005. WITTEN, I. H., FRANK, E. Data mining : practical machine learning tools and techniques. Second Edition. Elsevier, 2005. THEODORIDIS, S., KOUTROUMBAS, K. Pattern Recognition. Fourth Edition, Academic Press, 2009. DUDA, R.O., HART, P.E., STORK, D.G. Pattern Classication. Second Edition. Wiley, 2001. BISHOP, C. M. Pattern Recognition and Machine Learning. Springer, 2006. MITCHELL, T. Machine Learning. McGraw-Hill, 1997. IDENTIFICAO DISCIPLINA: Computao Evolucionria CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial CO-REQUISITOS: no h EMENTA A metfora biolgica. Elementos de um algoritmo de computao evolucionria (CE). Algoritmos genticos. Estratgia de evoluo. Programao evolucionria. Programao gentica. Controle de parmetros. Problema multi-modais. Satisfao de restrio. Tpicos avanados. Projeto. BIBLIOGRAFIA Bsica:
105
Eiben, A. E. & Smith, J. E. . Introduction to Evolutionary Computing. Springer Verlag, 2003. Linden, R. Algoritmos Geneticos. BRASPORT, 2008. Coello, C. A., Lamont, G. B., & van Veldhuizen, D. A.. Evolutionary Algorithms for Solving Multi-Objective Problems, Springer, 2nd Edition, 2007. Complementar: Fogel, D. B.. Evolutionary Computation, IEEE Press, 2003. Ghosh, A. & Tsutsui, S.. Advances in Evolutionary Computing: Theory and Applications. Springer, 2003. Goldberg, D. E.. of Genetic Algorithms in Search, Optimization, and Machine Learning. Reading, Ma: Addison-Wesley, 1989. IDENTIFICAO DISCIPLINA: Minerao de Dados CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial e Reconhecimento de Padres CO-REQUISITOS: no h EMENTA Introduo e Motivao ao Processo de Descoberta de Conhecimento em Bases de Dados (KDD). Etapas do Processo de KDD. Conceitos e Tecnologias de Suporte Minerao de Dados. Pr-processamento dos Dados. Extrao de Padres: Tarefas, Algoritmos e Paradigmas de Minerao de Dados. Ps-processamento de Resultados. Mtricas de Avaliao: Complexidade, Ecincia e Escalabilidade. Tpicos Avanados: Metaheursticas, Paralelismo e Distribuio, Visualizao, Privacidade e Segurana, Representaes e Estruturas de Dados Noconvencionais, Minerao Multimodal (Textos e Multimdia), Minerao de Dados Espaciais e Temporais. Tcnicas, Ferramentas e Aplicaes. BIBLIOGRAFIA Bsica: I. H. Witten, E. Frank: Data Mining: Practical Machine Learning Tools and Techinques, Morgan Kaufmann, 2005. P. N. Tan, M. Steinbach, V. Kumar: Introduction to Data Mining, Addison-Wesley, 2005.
106
J. Han, M. Kamber: Data Mining: Concepts and Techniques, 2a. Ed., Morgan Kaufmann, 2006. A. Abraham, C. Grosan, V. Ramos: Swarm Intelligence in Data Mining, Springer, 2006. Complementar: D. Hand, H. Mannila, P. Smith: Principles of Data Mining, MIT Press, 2001. O. Maimon, L. Rokach: Data Mining and Knowledge Discovery Handbook, Springer, 2005. D. T. Larose: Discovering Knowledge in Data: An Introduction to Data Mining, John Wiley, 2005. M. Kantardzic, J. Zurada: Next Generation of Data-Mining Applications, Wiley-IEEE Press, 2005. S. Mitra, T. Acharya: Data Mining: Multimedia, Soft Computing, and Bioinformatics, John Wiley, 2003. Artigos recentes da rea. IDENTIFICAO DISCIPLINA: Viso Computacional CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Reconhecimento de Padres CO-REQUISITOS: no h EMENTA Introduo viso computacional. Ferramentas de apoio. Pr-processamento e Filtros. Segmentao. Rastreamento. Reconhecimento e classicao de Padres em Imagens e Vdeos. Avaliao de desempenho de algoritmos de viso computacional. Seminrio. Projeto. BIBLIOGRAFIA Bsica: Richard Szeliski.Computer Vision: Algorithms and Applications. Springer, 2010. Nicu Sebe, Michael S. Lew. Robust Computer Vision: Theory and Applications. Kluwer / Springer, 2003.
107
Richard Hartley, Andrew Zisserman. Multiple View Geometry in Computer Vision, 2nd Edition. Cambridge University Press, 2004. Complementar: Artigos recentes da rea. IDENTIFICAO DISCIPLINA: Agentes Inteligentes CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial CO-REQUISITOS: no h EMENTA Sistemas Multiagentes, princpios gerais e aplicaes. Agentes autnomos e sistemas multiagentes. Introduo resoluo distribuda de problemas. Cooperao, Coordenao e Negociao. Comunicao entre agentes. Arquiteturas de comunicao. Linguagens de comunicao e contedo. Protocolos de interao. Modelos e arquiteturas de agentes. Taxonomia de Agentes. Agentes autnomos, reativos, deliberativos e adaptativos. Ontologias. BIBLIOGRAFIA Bsica: COPPIN, B. Inteligncia Articial. LTC, 2010. RUSSELL, S. and NORVIG, P. Articial Intelligence: a Modern Approach. Prentice Hall, 2a edio, 2002. WOOLDRIGE, M. Introduction to Multi-Agent Systems. Wiley, 2002. Complementar: FERBER, J. Multi-Agent Systems: An Introduction to Distributed Articial Intelligence. Addison-Wesley. 1999. WEISS, G. Multiagent Systems: A Modern Approach to Distributed Articial Intelligence, Morgan Kauffmann, 2000. IDENTIFICAO DISCIPLINA: Aprendizagem de Mquina CDIGO:
108
DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Reconhecimento de Padres CO-REQUISITOS: no h EMENTA Introduo; Vetores de Caractersticas; Domnio dos atributos; Aprendizagem No Supervisionada; Algoritmos de Agrupamento; Aprendizagem Supervisionada; Algoritmos de Classicao de padres; Algoritmos de regresso de funes; Avaliao de tcnicas de classicao, regresso, agrupamento e testes estatsticos; Tratamento dos dados; Projeto. BIBLIOGRAFIA Bsica: TAN, Pang-Ning; STEINBACH; Michael; KUMAR, Vipin. Introduo ao Data Mining. Cincia Moderna. 2009. Witten, I. H., Frank, E. (2005). Data mining : practical machine learning tools and techniques. Second Edition. Elsevier. Mitchell, T. (1997). Machine Learning. McGraw-Hill. Theodoridis. S., Koutroumbas, K. (2009). Pattern Recognition. Fourth Edition, Academic Press. Duda, R.O., Hart, P.E., Stork, D.G. (2001) Pattern Classication. Second Edition. Wiley.. Complementar: Rezende, Solange O. (2003). Sistemas Inteligentes - Fundamentos e aplicaes. Barueri, SP. Editora Manole. 2003. Marques, Jorge Salvador. (2005). Reconhecimento de Padres - Mtodos Estatsticos e Neurais. IST Press. Braga, A. P., Ludermir, T.B. e de Carvalho A. P. L. F. (2007). A Redes Neurais Articiais Teoria e Aplicaes. LTC. Bishop, C. M. (2006). Pattern Recognition and Machine Learning. Springer. Haykin, Simon. Redes Neurais: Princpios e Prtica, 2 edio. Bookman. 2001. Beale, R.; Jackson, T. Neural Computing - An Introduction. Institute of Physics Publishing. 1990. IDENTIFICAO
109
DISCIPLINA: Biometria CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Reconhecimento de Padres CO-REQUISITOS: no h EMENTA Introduo a Biometria. Etapas de um sistema computacional para econhecimento/vericao dos seguintes elementos: digitais, face, voz, ris, retina, veias, mo, p, assinaturas e manuscritos. Sistemas de segurana biomtricos. Seminrio. Projeto. BIBLIOGRAFIA Bsica: Jerzy Pejas, Andrzej Piegat. Enhanced Methods in Computer Security, Biometric and Articial Intelligence Systems. Springer, 2004. John R. Vacca. Biometric Technologies and Verication Systems. Butterworth-Heinemann, 2007. Ted Dunstone, Neil Yager. Biometric System and Data Analysis: Design, Evaluation, and Data Mining. Springer, 2008. Complementar: Artigos recentes da rea. IDENTIFICAO DISCIPLINA: Sistemas de Recomendao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial CO-REQUISITOS: EMENTA
110
Funo do Sistema de Recomendao. Coleta de Informaes. Estratgias de Recomendao. Descoberta do Conhecimento: tipos de descoberta; classicao; agrupamento. Filtragem de informaes; ltragem baseada em contedo; ltragem colaborativa; ltragem hbrida. Tcnicas de Recomendao. Aplicao e avaliao. Sistemas de Recomendao e IHC. Processamento de Dados, Classicao, Anlise de Cluster, Regras associativas de recomendao. Exemplos de Sistemas de Recomendao. Projeto. BIBLIOGRAFIA Bsica: RICCI, F., ROKACH, L., SHAPIRA, B., KANTOR, P. Recommender Systems Handbook. Springer, 2010. JANNACH, D., ZANKER, M., FELFERING, A., FRIEDRICH, G. Recommender Systems: An Introduction. Cambridge, 2011. RUSSEL, M. Mining the Social Web: Analyzing Data From Facebook, Twitter, LinkedIn, and Other Social Media Sites. OReilly, 2011.. Complementar: UCHYIGIT, G., MA, M. Y. Personalization Techniques and Recommender Systems. Woeld Scientic Publishing Company. MUSIAL, K. Recommender System for online Social Network. Lambert Academic Publishing, 2009. IDENTIFICAO DISCIPLINA: Reconhecimento de Padres II CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial e Reconhecimento de Padres CO-REQUISITOS: no h EMENTA Introduo; Extrao de Caractersticas; Pr-processamento dos dados; Seleo de Caractersticas; Reduo da dimensionalidade dos padres; Algoritmos de Aprendizagem de Mquina; Reconhecimento de Imagens; Outras aplicaes; Projeto. BIBLIOGRAFIA
111
Bsica: WITTEN, I. H., Frank, E. (2005). Data mining : practical machine learning tools and techniques. Second Edition. Elsevier. MITCHELL, T. (1997). Machine Learning. McGraw-Hill. THEODORIDIS. S., Koutroumbas, K. (2009). Pattern Recognition. Fourth Edition, Academic Press. GONZALEZ, Rafael C.; WOODS, Richard E.. Processamento Digital De Imagens (3 Ed). Pearson Education. 2010. Complementar: HAYKIN, Simon. Redes Neurais: Princpios e Prtica, 2 edio. Bookman. 2001. TAN, Pang-Ning; STEINBACH; Michael; KUMAR, Vipin. Introduo ao Data Mining. Cincia Moderna. 2009. BEALE, R.; Jackson, T. Neural Computing - An Introduction. Institute of Physics Publishing. 1990. REZENDE, Solange O. (2003). Sistemas Inteligentes - Fundamentos e aplicaes. Barueri, SP. Editora Manole. 2003. BRAGA, A. P., Ludermir, T.B. e de Carvalho A. P. L. F. (2007). A Redes Neurais Articiais - Teoria e Aplicaes. LTC. MARQUES, Jorge Salvador. (2005). Reconhecimento de Padres - Mtodos Estatsticos e Neurais. IST Press. DUDA, R.O., Hart, P.E., Stork, D.G. (2001) Pattern Classication. Second Edition. Wiley. BISHOP, C. M. (2006). Pattern Recognition and Machine Learning. Springer. A. K. Jain. Fundamentals of digital image processing. Prentice-Hall International Editions, Englewood Cliffs, NJ, 1989. Bernd Jhne. Digital Image Processing 6th edition. Springer. 2005. IDENTIFICAO DISCIPLINA: Sistemas Inteligentes Hbridos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial CO-REQUISITOS: no h EMENTA
112
Introduo. "Classicao dos sistemas inteligentes hbridos. Sistemas Fuzzy. Algoritmos Genticos. Raciocnio baseado em casos. Sistemas NeuroFuzzy, Projeto Evolucionrio de Redes Neurais. Combinao de Raciocnio baseado em casos e Redes Neurais. Extrao de Regras de Redes Neurais." Projeto. BIBLIOGRAFIA Bsica: BRAGA, A P, LUDEMIR, T.B. e CARVALHO, A. Redes Neurais Articiais - Teoria e Aplicaes, LTC, 2007. GOONATILAKE, S., KHEBBAL, S. - Intelligent Hybrid Systems. John Wiley & Sons, Inc. 1995. Complementar: Artigos recentes da rea. IDENTIFICAO DISCIPLINA: Computao Forense CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial e Reconhecimento de Padres CO-REQUISITOS: no h EMENTA Princpios bsicos de Cincia Forense e reas de atuao. Apresentar os conceitos bsicos da percia criminal e cvel. Novas tecnologias disponveis nas reas de Computao Forense e ferramentas tecnolgicas para processamento e anlise de evidncias. Seminrios e Projeto. BIBLIOGRAFIA Bsica: DUDA, R.O., HART, P.E., STORK, D.G. Pattern Classication. Second Edition. Wiley, 2001. MARQUES, J. S. Reconhecimento de Padres - Mtodos Estatsticos e Neurais. IST Press, 2005. BISHOP, C. M. Pattern Recognition and Machine Learning. Springer, 2006.
113
Complementar: Artigos recentes da rea. IDENTIFICAO DISCIPLINA: Mtodos Paramtricos de Aprendizagem de Mquina CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Reconhecimento de Padres CO-REQUISITOS: no h EMENTA Reconhecimento de padres. Reviso de Probabilidade e Estatstica. Teoria da deciso Bayesiana. Mxima verossimilhana e estimao de parmetros. Mtodos paramtricos de classicao. Mtodos paramtricos de regresso. Mtodos paramtricos de agrupamento. Anlise dos Componentes Principais. Discriminante linear de Fisher. BIBLIOGRAFIA Bsica: Richard Szeliski.Computer Vision: Algorithms and Applications. Springer, 2010. Nicu Sebe, Michael S. Lew. Robust Computer Vision: Theory and Applications. Kluwer / Springer, 2003. Richard Hartley, Andrew Zisserman. Multiple View Geometry in Computer Vision, 2nd Edition. Cambridge University Press, 2004. COMPLEMENTAR: Theodoridis, S., Koutroumbas, K. Pattern Recognition. Fourth Edition, Academic Press, 2009. IDENTIFICAO DISCIPLINA: Introduo Bioinformtica CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial e Reconhecimento de Padres
114
CO-REQUISITOS: no h EMENTA Introduo aos conceitos de Bio-informtica e Biologia Molecular. Aplicaes envolvendo mtodos computacionais, matemticos e estatsticos. Introduo aos diferentes tipos de dados biolgicos, Bancos de Dados Biolgicos e ferramentas pblico. Alinhamento de Sequncias e Sequenciamento de DNA. Classicao e Anotao de Sequncias Biolgicas. Estruturas de Dados Biolgicos e Busca em Cadeias. Transcrio, regulao e expresso gnica. Anlise de dados de microarray. Famlias de Protenas e Predio de Estruturas. Modelagem de Sistemas Biolgicos. rvores Evolucionrias e Filogenia. BIBLIOGRAFIA Bsica: ALURU, S. Handbook of Computational Molecular Biology. Chapman & Hall/CRC, 2006. BAXEVANIS, A., OUELLETTE, F. Bioinformatics: A Practical Guide to the Analysis of Genes and Proteins. Wiley-Interscience, 1998. SETUBAL, J. C., MEIDANIS, J. Introduction to Computational Molecular Biology. PSW Publ. Co., 1997. ALBERTS, B. Essential Cell Biology: An Introduction to the Molecular Biology of the Cell. Garland Pub., 1997. Complementar: Artigos recentes da rea. IDENTIFICAO DISCIPLINA: Tpicos Especiais em Bioinformtica CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Bioinformtica. CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Bioinformtica permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa.
115
BIBLIOGRAFIA Artigos recentes da rea de pesquisa IDENTIFICAO DISCIPLINA: Tpicos Especiais em Aprendizagem de Mquina. CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Aprendizagem de Mquina. CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Aprendizagem de Mquina permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Bsica: IEEE Transactions on Pattern Analysis and Machine Intelligence IEEE Transactions on Neural Networks IEEE Transactions on Knowledge and Data Engineering (Print) Complementar: IEEE Transactions on Evolutionary Computation Evolutionary Computation (Online) ACM Computing Surveys IEEE Transactions on Image Processing Image and Vision Computing Data Mining and Knowledge Discovery (Dordrecht. Online) I.E.E.E. Transactions on Computers (Print) IEEE Intelligent Systems International Journal of Computer Vision IDENTIFICAO
116
DISCIPLINA: Tpicos Especiais em Redes Neurais. CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Redes Neurais. CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Redes Neurais permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Bsica: IEEE Transactions on Neural Networks IEEE Transactions on Knowledge and Data Engineering (Print) IEEE Transactions on Pattern Analysis and Machine Intelligence IEEE Transactions on Evolutionary Computation Complementar: Evolutionary Computation (Online) ACM Computing Surveys IEEE Transactions on Image Processing Image and Vision Computing Data Mining and Knowledge Discovery (Dordrecht. Online) I.E.E.E. Transactions on Computers (Print) IEEE Intelligent Systems International Journal of Computer Vision IDENTIFICAO DISCIPLINA: Tpicos Especiais em Computao Evolucionria. CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Computao Evolucionria.
117
CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Computao Evolucionria permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Bsica: IEEE Transactions on Evolutionary Computation Evolutionary Computation (Online) ACM Computing Surveys IEEE Transactions on Pattern Analysis and Machine Intelligence IEEE Transactions on Neural Networks Complementar: IEEE Transactions on Knowledge and Data Engineering (Print) IEEE Transactions on Image Processing Image and Vision Computing Data Mining and Knowledge Discovery (Dordrecht. Online) I.E.E.E. Transactions on Computers (Print) IEEE Intelligent Systems International Journal of Computer Vision IDENTIFICAO DISCIPLINA: Tpicos Especiais em Inteligncia Articial CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Inteligncia Articial. CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Inteligncia Articial permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa.
118
BIBLIOGRAFIA Bsica: ACM Computing Surveys IEEE Intelligent Systems IEEE Transactions on Pattern Analysis and Machine Intelligence IEEE Transactions on Neural Networks IEEE Transactions on Knowledge and Data Engineering (Print) Complementar: Data Mining and Knowledge Discovery (Dordrecht. Online) Evolutionary Computation (Online) I.E.E.E. Transactions on Computers (Print) IEEE Transactions on Evolutionary Computation IEEE Transactions on Image Processing Image and Vision Computing International Journal of Computer Vision
119
BIBLIOGRAFIA PINA, Heitor. Mtodos Numricos. Lisboa. McGraw-Hill, 2004 ROSA, Mrio. Tpicos de anlise Numrica. Coimbra. Universidade de Coimbra. Departamento de Matemtica, 1991. SCHEID, Francis. Anlise Numrica. Lisboa. McGraw-Hill, 1991. VALENA, Maria Raquel. Anlise Numrica. Lisboa. Universidade Aberta, 1996. IDENTIFICAO DISCIPLINA: Clculo Numrico e Computacional CDIGO: MATM3017 DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL:04 TERICAS: 04 PRTICAS: TOTAL: 04 PR-REQUISITOS: Clculo para Computao III CO-REQUISITOS: no h EMENTA Mquinas digitais: preciso, exatido e erros. Aritmtica de ponto utuante. Sistemas de enumerao. Sistemas lineares. Resoluo computacional de sistemas de equaes lineares. Resoluo de equaes transcendentes. Aproximao de funes: interpolao spline, ajustamento de curvas, aproximao racional e por polinmios de Chebyschev. Integrao numrica: Newton-Cotes e quadratura Gaussiana. BIBLIOGRAFIA Bsica: RUGGIERO, M. e LOPES, V., Clculo Numrico: Aspectos Tericos e Computacionais, McGraw-Hill, 1996. CLUDIO, D. M. e MARINS, J. M., Clculo Numrico Computacional, Teoria e Prtica. So Paulo, Atlas, 1989. CONTE, S. D., Elementos de Anlise Numrica, So Paulo, Globo:1977. Complementar: McCRACKEN, D. e DORN, W., Clculo Numrico com Estudos de Casos em FORTRAN IV, Rio de janeiro : Campus, 1978. BARROSO, L. C. et al., Clculo Numrico (Com Aplicaes) 2.ed., So Paulo, Harbra, 1987. IDENTIFICAO
120
DISCIPLINA: Mtodos de Otimizao CDIGO: CCMP3030 DEPARTAMENTO: Unidade Acadmica de REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Teoria de Grafos e Anlise de Algoritmos CO-REQUISITOS: no h EMENTA Programao Linear, Mtodo Simplex. Programao No-Linear: convexidade, otimizao sem restries, otimizao com restries, condies de otimalidade, mtodos computacionais de otimizao. BIBLIOGRAFIA Bsica: Bazaraa,Sherali,Shetty - Nonlinear Programming, Theory and Algorithms - John Wiley and Sons. Luenberger,D.G. - Linear and Nonlinear Programming - Addison Wesley,1984. Dennis,Schnabel - Numerical Methods for Unconstrained Optimization and Nonlinear Equations - Siam. Complementar: Peressini,Sullivan,Uhl - The Mathematics of Nonlinear Programming - Springer Verlag. Bregalda,Oliveira,Bornstein - Introduo Programao Linear - Ed. Campus. IDENTIFICAO DISCIPLINA: Modelagem Matemtica CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Equaes Diferenciais CO-REQUISITOS: no h EMENTA
121
Princpios bsicos (o que um modelo, porque modelar, objetivos e requisitos); Metodologia: etapas (identicao, formulao e soluo), modelos matemticos (quantitativos e qualitativos), tipos de modelos (determinsticos, fuzzy, estatstico, estocstico),modelos discretos e contnuos,processos de modelagem; Noes de clculo vetorial e tensorial, signicado fsico dos operadores gradiente, divergente, rotacional e laplaciano; Propriedades fsicas; sistemas referncias; leis de conservao, equaes constitutivas; Exemplos envolvendo todas as etapas de modelagem (exceto a soluo). BIBLIOGRAFIA Bsica: C.L. Dym & E.S. Ivey - Principles of Mathematical Modeling, Academic Press, 1980. Karam F., J. e Almeida, R. C., Introduo Modelagem Matemtica, Notas impressas Ps-Graduao, LNCC, 2003. T.L. Saaty & J.M. Alexander, Thinking with Models - Mathematical Models in Physical, Biological and Social Sciences, Pergamon Press, 1981. Complementar: R.B. Bird, W.E. Stewart & E.N. Lightfoot, Transport Phenomena, John Wiley & Sons, 1960. Mathematical Modelling Techniques, Rutherford Aris, Dover, 1994. Introduction to Continuum Mechanics, W. M. Lai, D. Rubin, E. Krempl,Pergamon Press, 1974. IDENTIFICAO DISCIPLINA: Programao Matemtica CDIGO: CCMP3024 DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: lgebra Linear CO-REQUISITOS: no h EMENTA Modelagem sistmica de problemas industriais. Modelos de Programao Linear Inteira Mista (PLIM) para apoio tomada de deciso. Programao Linear (PL). Mtodo primal simplex. Problema de transporte. Problema de designao. Dualidade. Mtodo dual simplex. Anlise de sensibilidade. Interpretao econmica da PL. Programao inteira. Programao inteira mista. Resoluo de problemas de grande porte. Decomposio em PL e PLIM. Aplicaes em sistemas produtivos.
122
BIBLIOGRAFIA J. F. Benders. Partitioning procedures for solving mixed-variables programming problems. Numerisch Mathematik, v. 4, p. 238-252, 1962. G. B. Dantzig and Wolfe. Decomposition principle for linear programs. Operations Research, v. 8, p. 101-111, 1960. C. R. V. de Carvalho. Notas de Aula C. R. V. de Carvalho. Une Proposition d'Integration de la Planication et l'Ordonancement de Production: Application de la Mtode de Benders. PhD thesis, Universit Blaise Pascal, Clermont-Ferrand, Frana, 1998. M. T. P. de Carvalho. Confeco de horrios de aulas em instituies de ensino privadas. Master's thesis, Programa de Ps-Graduao em Engenharia de Produo da UFMG, 2002. M. C. Goldbarg and H. P. L. Luna. Otimizao Combinatria e Programao Linear: Modelos e Algoritmos. Ed. Campus, 2000. F. S. Hiller and G. J. Liberman. Introduo Pesquisa Operacional. Ed. Campus Ltda, Rio de Janeiro, 1989. L. S. Lasdon. Optimization Theory for Large Systems. The Macmillan Company, New York, 1972. T. R. Neto. Uma metodologia para elaborao de planos de compras de carvo em empresas siderrgicas brasileiras. Dissertao de Mestrado. Programa de Ps-Graduao em Engenharia de Produo da UFMG, 2003. C. R. Oliveira. Planejamento da distribuio de produtos siderrgicos utilizando modelos de localizao. Dissertao de Mestrado. Programa de Ps-Graduao em Engenharia de Produo da UFMG, 2003. H. M. Wagner. Pesquisa Operacional. Prentice-Hall do Brasil, Rio de Janeiro, 1986. R. Baker. Introduction to Sequencing and Scheduling. Wiley, 1974. M. S. Bazaraa and J. J. Jarvis. Linear Programming and Network Flows. John Wiley & Sons, New York, 1977. IDENTIFICAO DISCIPLINA: Simulao de Sistemas CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Equaes Diferenciais CO-REQUISITOS: no h EMENTA
123
Introduo simulao. Propriedades e classicao dos modelos de simulao. Reviso de conceitos: estatstica, probabilidade, processos estocsticos. Exemplos de sistemas de simulao. Gerao de nmeros aleatrios. Noes bsicas em teoria dos nmeros. Gerao e teste. Distribuies clssicas contnuas e discretas. Simulao de sistemas discretos e de sistemas contnuos. Vericao e validao de modelos. Tcnicas estatsticas para anlise de dados e de resultados de modelos de simulao. Simulao de sistemas simples de las. Simulao de sistemas de computao. Estudos de caso.. BIBLIOGRAFIA Freitas Filho, Paulo Jos. Introduo a modelagem e simulao de sistemas. Ed. VisualBooks, Florianpolis, 2001. Law, A.M. e Kelton, W.D. Simulation Modeling and Analysis. Ed. McGraw-Hill, USA, 1991. Perin Filho, C. Introduo a simulao de Sistemas. Ed. da Unicamp, Campinas, 1995. Prado, Darci. Teoria das Filas e da Simulao. Editora DG, Belo Horizonte (MG), 1999. Prado, Darci. Usando o Arena em Simulao. Editora DG, Belo Horizonte (MG), 1999. IDENTIFICAO DISCIPLINA: Tpicos em Matemtica Computacional CDIGO: CCMP3031 DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Calculo para Computao III CO-REQUISITOS: no h EMENTA Reviso de estatstica: Conceitos clssicos de estatstica (probabilidade, distribuies de probabilidade, mdias, varincia). Introduo ao pacote computacional STATISTICA. Reviso de lgebra matricial: Operaes com matrizes e vetores. Valores caractersticos e vetores caractersticos de matrizes quadradas. Forma cannica de matrizes. Soluo de um sistema de equaes lineares e anlise da soluo. Introduo ao pacote computacional MATLAB. Reviso de mtodos numricos: Mtodos de busca de zeros de funes. Interpolao de dados experimentais. Integrao numrica. Resoluo numrica de equaes diferenciais. Reviso de equaes diferenciais: Soluo analtica de EDOs. Soluo de EDOs de 1 e 2 ordem. Noes bsicas de EDPs. BIBLIOGRAFIA BUSSAB, W.; MORETTIN, P.A. Estatstica Bsica. 5. ed. So Paulo: Saraiva, 2004.
124
CHAPMAN, S.J. Fortran 90/95 for Scientists and Engineers. Mc Graw Hill, 1997. CHAPMAN, S.J. Matlab Programming for Engineers. 2nd ed. Brooks Cole, 2001. CHAPRA, S.C.; CANALE, R.P. Numerical Methods for Engineers with Programming and Software Applications. 4th Ed. Mc Graw Hill, 2002. SPIEGEL, M.R. Manual de Frmulas e Tabelas de Matemtica. 2 Ed. Verso rev. E ampl. Makron Books, 2002. STEINBRUCH, A.; WINTERLE, P. lgebra Linear. 2a Ed. So Paulo: McGraw Hill, 1987. WYLIE, C.R.; BARRET, L.C. Advanced Engineering Mathematics. 5th ed. McGraw Hill, 1982. ZILL, D.G.; CULLEN, M.R. Equaes Diferenciais Vol. 1 e Vol. 2, 3 Ed. So Paulo: Makron Books, 2001. WONNACOTT, H. and J. WONNACOTT, J., Introduo Estatstica; Rio de Janeiro, RJ: Livros Tcnicos e Cientcos; 1980. IDENTIFICAO DISCIPLINA: Clculo para Computao III CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Clculo para Computao II CO-REQUISITOS: no h EMENTA Conceitos introdutrios e classicao das equaes diferenciais. Equaes diferenciais de primeira ordem. Obteno de solues de equaes lineares, separveis, exatas, no exatas com fatores integrantes simples, etc... Algumas aplicaes das equaes de primeira ordem. Equaes diferenciais de segunda ordem, propriedades gerais das solues, solues das homogneas com coecientes constantes. Equaes lineares no homogneas, mtodo dos coecientes a determinar e mtodo da variao dos parmetros. Estudo introdutrio das oscilaes lineares livres e foradas. Transformada de Laplace, propriedades fundamentais, e utilizao para resoluo de equaes diferenciais. Equao do calor. Mtodo de separao de variveis. Sries de Fourier, propriedades bsicas e aplicaes. Equao da onda, vibraes em uma corda elstica. Equaode Laplace. BIBLIOGRAFIA BIBILOGRAFIA BSICA:
125
01 Equaes Diferenciais Elementares e Problemas de Valores de Contorno, de BOYCE & DiPRIMA, Ed. Guanabara Dois (Stima Edio). IDENTIFICAO DISCIPLINA: Tpicos em Pesquisa Operacional CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Teoria de Grafos CO-REQUISITOS: no h EMENTA Mtodo dos quadrados mnimos: modelos de programao linear; problema da anlise de atividades; problema da dieta; problema do transporte; problema da designao; soluo grca; limitaes da programao linear. Mtodo Simplex. Algoritmos especiais: problema do transporte; problema da designao. Dualidade. Anlise ps-otimizao. Noes de algoritmos Genticos. Funes de vrias variveis. Mtodo de otimizao sem restrio. Mtodo de otimizao com restrio de igualdade. Mtodo de otimizao com restrio de desigualdade. BIBLIOGRAFIA R. J. Vanderbei, Linear Programming - Foundations and Extensions. Kluwer Academics Publishers, Boston 1996. S. J. Wright, Primal-Dual Interior-Point Methods. SIAM Publications, Philadelphia 1997.
126
PR-REQUISITOS: Probabilidade e Estatstica, Metodologia Cientca. CO-REQUISITOS: no h EMENTA Conceitos de Probabilidade, Anlise Exploratria de Dados, Inferncia Estatstica Paramtrica, Inferncia Estatstica No Paramtrica, Regresso Linear, Anlise de Varincia, Simulao Estocstica BIBLIOGRAFIA Bsica: Estatstica Aplicada e Probabilidade para Engenheiros, Douglas C. Montgomery e George C. Runger. Quarta Edio. Editora LTC. (LIVRO TEXTO) Estatstica Bsica. Probabilidade e Inferncia. Volume nico. Luiz Gonzaga Morettin. Person. (LIVRO DE EXERCCIOS) Applied Nonparametric Statistics - Wayne W. Daniel, Duxbury Resource Center, Second Edition. Complementar: The Art of Computer System Performance Analysis: Techniques for Experimental Design, Measurement, Simulation and Modeling, Raj Jain, John Wiley & Sons, 1991, ISBN: 0-47150336-3. Statistics for Experimenters: An Introduction to Design, Data Analysis, and Model Building , George E. P. Box, Wiliam G. Hunter, J. Stuart Hunter, John Wiley & Sons, Inc. 1978. IDENTIFICAO DISCIPLINA: Mtodos de Pesquisa em Computao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 horas NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 50h PRTICAS: 10h TOTAL: 60h PR-REQUISITOS: Metodologia Cientca. CO-REQUISITOS: no h EMENTA A metodologia cientca o estudo de como se conduz/produz pesquisa cientca. Metodologia cientca necessria, entre outras razes, para tornar os resultados da pesquisa mais conveis e possveis de serem reproduzidos, de forma independente, por outros pesquisadores.
127
Este curso ir apresentar estratgias e mtodos para pesquisa em computao desde a formulao do problema at a validao de uma possvel soluo. Em particular, o curso ir focar em mtodos experimentais e explorar o papel da experimentao na pesquisa em computao. BIBLIOGRAFIA
Magne Jrgensen's site: http://simula.no/people/magnej/bibliography?b_size:int=9999999&b_start:int= C= ESERNET - the Experimental Software Engineering Network Steve Easterbrook's course CSC2130S: Empirical Research Methods in Software Engineering, at University of Toronto; Susan Sim's course ICS 280: Research Methodology for Software at UC Irvine; Dewayne Perry's course EE382C Empirical Studies in Software Engineering at U Texas; Mary Shaw's course 17-939A What Makes Good Research in Software Engineering at CMU; Jim Herbsleb's course 17-810 Empirical Methods in Software Engineering Research at CMU; Wilhelm Hasselbring's course 2.01.261 Research Methods in Software Engineering at U Oldenburg; Philip Johnson's Readings in Empirical Evaluation for Budding Software Engineering Researchers at U Hawaii; Letizia Jaccheri's Empirical software engineering course at NTNU Trondheim; Andreas Zeller's course Empirical Software Engineering at Saarland U. Jonathan Sillito. Qualitative Research Methods in Software Engineering (CPSC 601.23), Winter 2007, 2008 and 2009. Ioannidis: Why Most Published Research Findings Are False. Lung, J., Aranda, J., Easterbrook, S. M. and Wilson, G. V., On the Difculty of Replicating Human Subjects Studies in Software Engineering. 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig, Germany, May 10-18, 2008. IDENTIFICAO DISCIPLINA: Anlise de Dados Simblicos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 horas NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 50h PRTICAS: 10h TOTAL: 60h PR-REQUISITOS: Probabilidade e Estatstica, Metodologia Cientca.
128
CO-REQUISITOS: no h EMENTA Introduo a Anlise de Dados Simblicos, Dados Simblicos, Estatstica Descritiva para Dados Simblicos, Similaridade e Dissimilaridade entre Dados Simblicos, Anlise de Componentes Principais de Dados Simblicos, Regresso para Dados Simblicos, Classicao para Dados Simblicos, Anlise de Agrupamento para Dados Simblicos, Previso de Sries Temporais de Dados Simblicos BIBLIOGRAFIA Applied Multivariate Data Statistical Analysis, Richard Johnson and Dean W. Wichern. Third Edition, Prentice Hall, 1992. Analysis of Symbolic Data. H.-H. Bock and E. Diday (Eds.), Springer-Verlag, 2000. Symbolic Data Analysis. Conceptual Statistics and Data Mining. L. Billard and E. Diday, Wiley, 2006 Symbolic Data Analysis and the SODAS Software. E. Diday and M. Noirhomme-Fraiture, Wiley 2008 IDENTIFICAO DISCIPLINA: Mtodos de Pesquisa Qualitativa CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 horas NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 50h PRTICAS: 10h TOTAL: 60h PR-REQUISITOS: Metodologia Cientca. CO-REQUISITOS: no h EMENTA Pergunta de Pesquisa, Estudo de Caso, Protocolos de Pesquisa, Mtodos de Coleta de Dados, Anlise e Sntese BIBLIOGRAFIA Kitchenham et al: Preliminary guidelines for empirical research in software engineering, IEEE Transactions On Software Engineering, Vol. 28, No. 8, August 2002. D. I. K. Sjberg, T. Dyb, and M. Jrgensen. The Future of Empirical Methods in Software Engineering Research, In: Future of Software Engineering (FOSE '07), 2007.
129
Hannay J E, Sjoberg D I K, Dyba T. A systematic review of theory use in software engineering experiments. IEEE Transactions on Software Engineering VOL. 33, NO. 2, FEBRUARY 2007. M. Jrgensen, and D. I. K. Sjberg. Generalization and Theory-Building in Software Engineering Research, In: Empirical Assessment in Software Engineering (EASE2004), ed. by unknown, pp. 29--36, IEEE Proceedings (ISBN: 0 86341 435 4), 2004. IDENTIFICAO DISCIPLINA: Revises Sistemticas de Literatura CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 horas NMERO DE CRDITOS: 4 CARGA HORRIA SEMANAL: 4h TERICAS: 50h PRTICAS: 10h TOTAL: 60h PR-REQUISITOS: Metodologia Cientca. CO-REQUISITOS: no h EMENTA Pergunta de Pesquisa, Estratgias de Busca, Termos de Pesquisa, Protocolo da Reviso, Selecionando as Fontes, Mapeamento Sistemticos, Extrao de Dados, Desenvolvendo os relatrios de reviso. BIBLIOGRAFIA Arlene Fink. Conducting Research Literature Reviews. Sage Publications, 2010. Mark Petticrew and Helen Roberts. Systematics Review in the Social Scienced. Blackwell Publishing, 2006. B. Kitchenham, T. Dyb, and M. Jrgensen. Evidence-based Software Engineering, In: International Conference on Software Engineering (ICSE'04), pp. 273--281, Edinburgh, IEEE Computer Society, Washington DC, USA, 2004. T. Dyb, B. Kitchenham, and M. Jrgensen. Evidence-based Software Engineering for Practitioners, IEEE Software 22(1):58-65, 2005. Magne Jrgensen, Tory Dyb, e Barbara Kitchenham Teaching Evidence-Based Software Engineering to University Students. Briony J Oates, Graham Capper. Using systematic reviews and evidence-based software engineering with masters students. EASE 2009. Barbara Kitchenham and Stuart Charters. Guidelines for performing Systematic Literature Reviews in Software Engineering. Keele University and Durham University Joint Report. 2007. Travassos e Biolchini. Revises Sistemticas Aplicadas a Engenharia de Software. Tutorial SBES 2007.
130
Andreas Jedlitschka and Marcus Ciolkowski. Reporting Experiments in Software Engineering. Basili and Rombach. The Goal Question Metric Paradigm. Basili and Caldiera. Improving Software Qualitiy by Reusing Knowledge and Experience. Miller, J. Can results from software engineering experiments be safely combined? Software Metrics Symposium, 1999. Jedlitschka, A.; Ciolkowski, M. Towards evidence in software engineering. Empirical Software Engineering, 2004. ISESE'04. Proceedings. 2004 International Symposium on Volume , Issue , 19-20 Aug. 2004 Page(s): 261 - 270. Pickard L.M.1;Kitchenham B.A.; Jones P.W. Combining empirical results in software engineering. Authors: Information and Software Technology, vol 40, num. 14. Tore Dyba, Vigdis By Kampenes, Dag I.K. Sjberg. A systematic review of statistical power in software engineering experiments. Shull, F. J., Carver, J. C., Vegas, S. and Juristo, N., The role of replications in Empirical Software Engineering. Empirical Software Engineering 13 (2), p211-218. April 2008 Kitchenham, B. The Role of Replications in Software Engineering - A word of Warning. Empirical Software Engineering 13 (2), p219-221. April 2008. Lung, J., Aranda, J., Easterbrook, S. M. and Wilson, G. V., On the Difculty of Replicating Human Subjects Studies in Software Engineering. 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig, Germany, May 10-18, 2008. Jedlitschka, A.; Pfahl, D. Reporting guidelines for controlled experiments in software engineering. 2005 International Symposium on Empirical Software Engineering. Evaluating guidelines for empirical software engineering studies. Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering IDENTIFICAO DISCIPLINA: Tpicos Especiais em Metodologia de Pesquisa CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 horas NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL:04 horas TERICAS: 60h PRTICAS: 0h TOTAL: 60h PR-REQUISITOS: Metodologia Cientica CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em na rea multidisciplinar de Metodologia de Pesquisa permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa.
131
132
IDENTIFICAO DISCIPLINA: Processamento Digital de Imagens II CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Processamento Digital de Imagens CO-REQUISITOS: no h EMENTA Wavelets. Compresso de Imagens. Formatos de arquivos de imagens. Segmentao. Representao e Descrio. Reconhecimento de objetos. Tpicos Avanados. Projeto. BIBLIOGRAFIA Bsica: James Murray D., William vanRyper. Encyclopedia of Graphics File Formats 2nd Edition. OReilly & Associates, Inc. 1996 (http://www.leformat.info/mirror/egff/index.htm) Michael W. Frazier. An Introduction to Wavelets Through Linear Algebra. Springer. 1999. Witten, Moffat, Bell. Managing gigabytes compressing and indexing documents and images, 2ed.,(1999). Complementar: Gonzales & Woods. Processamento Digital De Imagens (3 Ed). Pearson Education. 2010. A. K. Jain. Fundamentals of digital image processing. Prentice-Hall International Editions, Englewood Cliffs, NJ, 1989. Bernd Jhne. Digital Image Processing 6th edition. Springer. 2005. IDENTIFICAO DISCIPLINA: Modelagem Geomtrica CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Computao Grca CO-REQUISITOS: no h
133
EMENTA Geometria projetiva. Curvas paramtricas, composio de curvas, superfcies paramtricas, modelagem slida, particionamento espacial, malhas poligonais e nveis de detalhes. BIBLIOGRAFIA Bsica: Farin, G. - Curves and Surfaces for CAGD. 4th edition. Academic Press. Farin, G. Nurbs: From Projective Geometry to Practical Use. 2nd edition. AK Peters. Gomes, J. e Velho, L.- Fundamentos da Computao Grca - SBM. Complementar: Mortenson, M. E. - Geometric Modeling. 2nd edition. Wiley and Sons. Luebke, D. et al - Level of Detail for 3D Graphics. Morgan Kaufmann. IDENTIFICAO DISCIPLINA: Realidade Virtual e Aumentada CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Computao Grca CO-REQUISITOS: no h EMENTA Introduo - Histrico. Aplicaes: mercados tradicionais e emergentes. Tecnologias Bsicas. Denies e Caracterizaes. Fatores Humanos, Percepo Humana e Interao. Princpios Bsicos de Computao Grca aplicados a RV e RA. Princpios de Modelagem Geomtrica Aplicados a RV e RA. Modelagem de Ambientes Virtuais. Ferramentas de Desenvolvimento de Ambientes Virtuais. Tpicos Especiais em Realidade Virtual. BIBLIOGRAFIA Bsica: Desenvolvimento De Jogos 3d E Aplicaes Em Realidade Virtual, AZEVEDO, EDUARDO; STELKO, MICHELLE; MEYER, HOMERO. CAMPUS, 2005. ISBN: 8535215697. Grigore C. Burdea et al. Virtual Reality Technology, 2nd. edition, Wiley-Interscience, 2003.
134
Oliver Bimber et al. Spatial Augmented Reality: Merging Real and Virtual Worlds, A K Peters, 2005. Complementar: Oliver Bimber et al. Spatial Augmented Reality: Merging Real and Virtual Worlds, A K Peters, 2005. MCCARTH, Martin, et al. Reality Architecture: Building 3D Worlds with Java and VRML. Hertfordshire: Prentice-Hall, 1998. IDENTIFICAO DISCIPLINA: Processamento Digital de Sinais CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Calculo II e Reconhecimento de Padres CO-REQUISITOS: no h EMENTA Representao digital de sinais de udio, imagens, e vdeo: amostragem, quantizao e aliasing. Transformada Discreta de Fourier e FFT (1D, 2D e 3D). Outras transformaes: Transformada de Fourier (Contnua), Transformada do Coseno Discreta, Transformada z, Transformada de Walsh-Hadamard, Transformada de Haar. Convoluo linear, circular e secionada. Filtros lineares (FIR) e Filtros recursivos (IIR). Aplicaes de ltros: suavizao, interpolao, realce, deteco de bordas e segmentao. Espao de transformao no tempo e no espao, localizao e efeitos no espectro. Bancos de ltros e tcnicas de anlise-ressntese. Compresso: Predio Linear, compresso usando DCT, Compensao de Movimento. Sinais aleatrios: Representao, Filtros de Wiener e de Kalman. BIBLIOGRAFIA Bsica: S. Allen Broughton and Kurt M. Bryan. Discrete Fourier Analysis and Wavelets: Applications to Signal and Image Processing. Wiley-Interscience, 2008. John W. Woods. Multidimensional Signal, Image and Video Processing and Coding. Academic Press, 2006. Rafael C. Gonzales and Richard E. Woods. Digital Image Processing, 3rd ed. Prentice Hall, 2007. Complementar:
135
Charles L. Byrne. Signal Processing: a Mathematical Approach. A. K. Peters Ltd., 2005. Ronald N. Bracewell. Fourier Analysis and Imaging. Springer, 2004. Richard W. Hamming. Digital Filters, 3rd ed. Dover Publications, 1997. Alan. V. Oppenheim and Ronald W. Schafer. Discrete-Time Signal Processing, 2nd ed. Prentice Hall, 1999. IDENTIFICAO DISCIPLINA: Processamento Digital de udio CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Calculo 2 CO-REQUISITOS: no h EMENTA Conceitos bsicos de som, acstica e psicoacstica. Sinais de udio: fundamentos, representao, processamento e sntese. Software para processamento de udio. Protocolos e padres de udio. Compresso de udio. Tpicos Avanados. Projetos. BIBLIOGRAFIA Bsica: Curtis Roads. The Computer Music Tutorial. MIT Press, 1996 Ken C. Pohlman. Principles of Digital Audio 4th Edition. McGraw Hill. 2000. Charles Dodge & Thomas A. Jerse. Computer Music: Synthesis, Composition, and Performance. Schirmer Books. 1997. Complementar: Charles L. Byrne. Signal Processing: a Mathematical Approach. A. K. Peters Ltd., 2005. Richard W. Hamming. Digital Filters, 3rd ed. Dover Publications, 1997. Alan. V. Oppenheim and Ronald W. Schafer. Discrete-Time Signal Processing, 2nd ed. Prentice Hall, 1999. IDENTIFICAO DISCIPLINA: Desenvolvimento de Jogos CDIGO:
136
DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Computao Grca CO-REQUISITOS: no h EMENTA Introduo: histria e categorias de jogos. Gerenciamento de equipes de desenvolvimento de jogos. Projeto de jogos: roteiro, interface. Conceitos grcos: modelagem 2D e 3D. Tcnicas e Ferramentas de Implementao (2D e 3D). Conceitos: grcos, sons, inteligncia articial e redes em Jogos. Tpicos complementares. Projeto de Desenvolvimento. BIBLIOGRAFIA Bsica: Desenvolvimento De Jogos 3d E Aplicaes Em Realidade Virtual, AZEVEDO, EDUARDO; STELKO, MICHELLE; MEYER, HOMERO. CAMPUS, 2005. ISBN: 8535215697. Game Design: Principles, Practice, And Techniques- The Ultimate, THOMPSON, JIM; BERBANK-GREEN, BARNABY; CUSWORTH, NIC. JOHN WILEY CONSUMER, 2007.ISBN 0471968943. Rules of Play: Game Design Fundamentals, Salen, K; e E, Zimmerman. Hardcover, 2003. ISBN-10: 9780262240451. Complementar: Game Developer Magazine Foruns de Desenvolvimento: www.gamasutra.com, www.gamedev.net e outros (vrios autores...) srie: Game Programming Gems vol 1-6. IDENTIFICAO DISCIPLINA: Princpios da Animao Grca 3D CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Computao Grca CO-REQUISITOS: EMENTA
137
Introduo a animao grca 3D. O processo de produo e princpios de planejamento de Animaes e Jogos 3D.Ferramentas de modelagem 3D. Gerao de animaes em 3D. Ferramentas para desenvolvimento de Jogos 3D (Ogre 3D e XNA). Projeto de Desenvolvimento.
BIBLIOGRAFIA Bsica: Desenvolvimento De Jogos 3d E Aplicaes Em Realidade Virtual, AZEVEDO, EDUARDO; STELKO, MICHELLE; MEYER, HOMERO. CAMPUS, 2005. ISBN: 8535215697. Allan Brito; Blender 3D Guia do Usurio (4 Edio), 2010 Ed.Novatec, ISBN: 978-857522-258-4. Reinicke, J. F.; Modelando Personagens com o Blender 3D, 2008 Ed. Novatec, 978-857522-144-0. Complementar: Tutoriais e Fruns de discusso. IDENTIFICAO DISCIPLINA: Wavelets CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: lgebra Linear, Algoritmos e Estrutura de Dados 2. CO-REQUISITOS: no h EMENTA Reviso em lgebra Linear. Transformada Discreta de Fourier. Wavelets. BIBLIOGRAFIA Bsica: Michael W. Frazier. An Introduction to Wavelets Through Linear Algebra. Springer. 1999. Christian Blatter. Wavelets: A Primer. A K Peters/CRC Press. 1999. James S. Walker. A Primer on Wavelets and Their Scientic Applications. CRC Press. 1999. Complementar: Gonzales & Woods. Processamento Digital De Imagens (3 Ed). Pearson Education. 2010.
138
A. K. Jain. Fundamentals of digital image processing. Prentice-Hall International Editions, Englewood Cliffs, NJ, 1989. Bernd Jhne. Digital Image Processing 6th edition. Springer. 2005. IDENTIFICAO DISCIPLINA: Introduo Computao Quntica CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: 04 TERICAS: 03 PRTICAS: 01 TOTAL: 04 PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Espaos de Hilbert sobre corpo Complexo. Elementos da Teoria da Computao Clssica contendo Circuitos Booleanos. Elementos da Teoria Quntica. Elementos da Computao quntica: modelos tericos, portas lgicas qunticas. Algoritmos qunticos do tipo Orculo (Deutsch-Josza, Grover). Algortmos qunticos do tipo Transformada de Fourier (Simon, Shor). Simuladores e Linguagens de Programao Qunticas. Noes de complexidade de computao: Classe NP, Algoritmos Probabilsticos e a Classe BPP. BIBLIOGRAFIA 1. Noson S. Yanofsky; Mirco A. Mannucci: Quantum Computing for Computer Scientists. Cambridge University Press, 2008, ISBN 978-0-521-87996-5 2. David McMahon: Quantum Computing Explained. Wiley-Interscience, Hoboken, New Jersey, USA, 2008, ISBN 978-0-470-09699-4 3. N. David Mermin: Quantum Computer Science - An Introduc-tion. Cambridge University Press, New York, USA, 2007, ISBN 978-0-521-87658-2 4. Alexei Yu. Kitaev, Alexander H. Shen e Mikhail N. Vyalyi: Classical and Quantum Computation. Graduate Studies in Mathematics, vol 47, AMS, 2002. ISBN 0-8218-3229-8 5. Michael A. Nielsen e Isaac L. Chuang: Computao Quntica e Informao Quntica. 1a. Edio, Editora Bookman, 2005, ISBN 8536305541.
139
Artigos recentes da rea de pesquisa. IDENTIFICAO DISCIPLINA: Tpicos Especiais em Processamento de Sinais CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Calculo II e lgebra Linear CO-REQUISITOS: no h EMENTA Reviso em lgebra Linear. Transformada Discreta de Fourier. Wavelets. Introduo a analise de sinais Biomtricos. BIBLIOGRAFIA Bsica: S. Allen Broughton and Kurt M. Bryan. Discrete Fourier Analysis and Wavelets: Applications to Signal and Image Processing. Wiley-Interscience, 2008. John W. Woods. Multidimensional Signal, Image and Video Processing and Coding. Academic Press, 2006. Robert B. Northrop. Signals and Systems Analysis In Biomedical Engineering, Second Edition - Hardcover, 2010. Complementar: Charles L. Byrne. Signal Processing: a Mathematical Approach. A. K. Peters Ltd., 2005. I. Gath, G.F. Inbar. Advances in Processing and Pattern Analysis of Biological Signals (Advances in Experimental Medicine & Biology. Hardcover, 1996. Ronald N. Bracewell. Fourier Analysis and Imaging. Springer, 2004. Alan. V. Oppenheim and Ronald W. Schafer. Discrete-Time Signal Processing, 2nd ed. Prentice Hall, 1999. IDENTIFICAO DISCIPLINA: Tpicos Especiais em Processamento de Imagens CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04
140
CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Processamento de Imagens. CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Processamento de Imagens permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Artigos recentes da rea de pesquisa. IDENTIFICAO DISCIPLINA: Tpicos Especiais em Processamento de udio CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Processamento de udio. CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Processamento de udio permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Artigos recentes da rea de pesquisa. IDENTIFICAO DISCIPLINA: Tpicos Especiais em Mdia e Interao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: No h.
141
CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em de interao e representao das diversas mdias existentes, permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Artigos recentes da rea de pesquisa. IDENTIFICAO DISCIPLINA: Tpicos Especiais em Jogos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Estudo de tcnicas para o gerenciamento de produo de jogos. Ferramentas (Engineer) de desenvolvimento de jogos 3D. Projeto. BIBLIOGRAFIA Rabin, Steve, 2a, Introduction to Game Development. Charles River Media 2010 Penton, Ron., 1a, Data structures for game programmers. The Premier Press 2003 Artigos recentes da rea de pesquisa. IDENTIFICAO DISCIPLINA: Tpicos Especiais em Realidade Virtual e Aumentada CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL:
142
PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em de interao e representao das diversas mdias existentes, permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Grigore C. Burdea et al. Virtual RealityTechnology, 2nd. edition, Wiley-Interscience, 2003. Desenvolvimento De Jogos 3d E Aplicaes Em Realidade Virtual, AZEVEDO, EDUARDO; STELKO, MICHELLE; MEYER, HOMERO. CAMPUS, 2005. ISBN: 8535215697. Oliver Bimber et al. Spatial Augmented Reality: Merging Real and Virtual Worlds, A K Peters, 2005. Artigos recentes da rea de pesquisa.
143
Stallings, William. SNMP, SNMPv2, SNMPv3, and RMON 1 and RMON 2. Third Edition. Pearson, 1999. Burgess, Mark. Princpios de Administrao de redes e sistemas. 3 ed. So Paulo: LTC, 2006. Kurose, James F.; Ross, Keith W. Redes de computadores e a internet: uma abordagem top-down. 3 Edio. So Paulo: Pearson Addison Wesley, 2008. Complementar: Tanenbaum, Andrew S. Redes de computadores. 4 Edio. Rio de Janeiro: Editora Campus, 2002. COMER, Douglas E. Interligao de Redes com TCP/IP, Volumes I 5 Edio. Prentice Hall, 2006. COMER, Douglas E. Interligao de Redes com TCP/IP, Volumes II 5 Edio. Prentice Hall, 2006. IDENTIFICAO DISCIPLINA: Segurana de Redes CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: Cincia da Computao CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 3 PRTICAS: TOTAL: 1 PR-REQUISITOS: Redes de Computadores CO-REQUISITOS: no h EMENTA Introduo criptograa; Criptograa de chave simtrica; Criptograa de chave pblica; Assinatura Digital; Certicados Digitais; Gerenciamento da Segurana da Informao; Pragas Virtuais; SPAM; Mecanismos de Segurana;Firewall; e Redes privativas virtuais. BIBLIOGRAFIA Bsica: Nakamura, Emilio T.; Geus, Paulo L. Segurana de Redes em Ambientes Coorporativos. So Paulo: Editora Novatec , 2007. Burnett, Steve; Paine, Stephen. Criptograa e Segurana. O Guia Ocial RSA. 1 ed. Rio de Janeiro: Editora Campos, 2002. Stallings, William. Cryptography and network security: principles and practices. 14 ed. London: Pearson Prentice Hall, 2006.
144
Complementar: Kurose, James F.; Ross, Keith W. Redes de computadores e a internet: uma abordagem top-down. 3 Edio. So Paulo: Pearson Addison Wesley, 2008. Tanenbaum, Andrew S. Redes de computadores. 4 Edio. Rio de Janeiro: Editora Campus, 2002. COMER, Douglas E. Interligao de Redes com TCP/IP, Volumes I,II 5 Edio. Prentice Hall, 2006. IDENTIFICAO DISCIPLINA: Tpicos Avanados em Redes e Sistemas Distribudos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: Cincia da Computao CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: 3 PRTICAS: TOTAL: 1 PR-REQUISITOS: Sistemas Distribudos CO-REQUISITOS: no h EMENTA Estudo de tcnicas avanadas em Redes de Computadores e Sistemas Distribudos permitindo ao aluno conhecer o estado da arte nesta rea de pesquisa. BIBLIOGRAFIA Bsica: Ad Hoc NetworksACM Transactions on Computer SystemsDistributed Computing Distributed Computing (Internet) Complementar: Computational & Applied MathematicsComputer Communication Review; Computer Communications
145
DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Engenharia de Software CO-REQUISITOS: no h EMENTA 1 O computador no processo ensino-aprendizagem; 2 - Concepes de conhecimento e Teorias Cognitivas. 2 - Qualidade de software (produto) e qualidade no desenvolvimento (processo). 3 - Modelos de avaliao de softwares educacionais. 4 - Etapas para o desenvolvimento de um software educacional (ciclo de vida). BIBLIOGRAFIA Bsica: BARBOSA, S. D. J.; Silva, B. S. Interao Humano-Computador. Rio de Janeiro: Elservier, 2010. PREECE, Rogers e Sharp; Design de Interao - Alm da Interao Homem-computador. So Paulo: Bookman, 2005. MAYER. R, Cambridge Handbook of Multimedia Learning. New York: Cambridge University Press, 2005 Complementar: COX, Kenia. Informtica na Educao Escolar, Autores Associados, 2003. LEVY, Pierre. Cibercultura, Editora 34, 1999. RBIE Revista Brasileira de Informtica na Educao ISSN 1414-5685 RENOTE Revista Novas Tecnologias na Educao ISSN 1679-1916 IDENTIFICAO DISCIPLINA: Informtica na Educao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Introduo a Cincia da Computao CO-REQUISITOS: no h
146
EMENTA Motivao e discusso crtica sobre o uso da informtica na educao, incluindo conhecimento sobre assuntos atuais; Histrico da informtica na educao; Ambientes educacionais baseados em computador; As implicaes pedaggicas e sociais do uso da informtica na educao; Informtica na educao especial, na educao distncia e no aprendizado cooperativo. BIBLIOGRAFIA Bsica: FRANCO, Sergio R.K. Informtica na Educao: Estudos Interdisciplinares. Editora da UFRGS, 2004 LEVY, Pierre As tecnologias da Inteligncia- O futuro do pensamento na era da informtica. So Paulo: Editora 34, 2004, 13a. Edio. PAPERT, Seymour. A mquina das crianas: repensando a escola na era da informtica. Porto Alegre: Artes Mdicas, 1994. Complementar: COX, Kenia. Informtica na Educao Escolar, Autores Associados, 2003. LEVY, Pierre. Cibercultura, Editora 34, 1999. RBIE Revista Brasileira de Informtica na Educao ISSN 1414-5685 RENOTE Revista Novas Tecnologias na Educao ISSN 1679-1916 IDENTIFICAO DISCIPLINA: Linguagem Brasileira de Sinais CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Abordagem social e lingstica da Surdez e do mundo dos Surdos com nfase nos aspectos especcos da Lngua Brasileira de Sinais LIBRAS. Surdez, linguagem e sociedade, contextos sociais, histricos e polticos Comunidade, cultura, identidade, representao e alteridade Surda
147
Estrutura lingstica e gramatical da LIBRAS, com produo de dilogos e textos BIBLIOGRAFIA Bsica: BRITO, Lucinda Ferreira (Org.). Brasil, Secretaria de Educao Especial. Lngua Brasileira de Sinais. Volume III. Srie Atualidades Pedaggicas, n 4. Braslia EC/SCESP, 1998 FELIPE, Tanya Amara. Libras em contexto Curso Bsico. Rio de Janeiro MEC / FNDE/SEESP, 1999. FERNANDES,Eullia. Linguagem e surdez. Porto Alegre: Artmed, 2003 Complementar: BERNARDINO, Elida Lcia. Absurdo ou lgica? A produo lingstica do surdo. Belo Horizonte , Editora Profetizando vidas, 2000 OARES, Maria Aparecida Leite. Educao de Surdos no Brasil. SoPaulo:EDUSF ; Autores Associados, 1999 SKILIAR, Carlos (Org.). Educao e Excluso: Abordagens Scio - Antropolgicas em Educao Especial. Porto Alegre: Mediao, 1999 SOARES, Maria Aparecida Leite. Educao de Surdos no Brasil. So Paulo: EDUSFAutores Associados, 1999. IDENTIFICAO DISCIPLINA: Projeto de Sistemas Educacionais CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Engenharia de Software CO-REQUISITOS: no h EMENTA 1 - Reviso de tpicos da Engenharia de Software; 2- Introduo Sistemas e Ciclo de Vida de um Sistema de Informao; 3 - Necessidades Bsicas para o Desenvolvimento de Sistemas Educacionais; 4 Elicitao e Validao de Requisitos para Desenvolvimento de Sistemas Educacionais. BIBLIOGRAFIA
148
Bsica: SOMMERVILLE, Ian. Engenharia de Software. ISBN.: 8588639076. Addison Wesley. BARBOSA, S. D. J.; Silva, B. S. Interao Humano-Computador. Rio de Janeiro: Elservier, 2010. MAYER. R, Cambridge Handbook of Multimedia Learning. New York: Cambridge University Press, 2005 Complementar: COX, Kenia. Informtica na Educao Escolar, Autores Associados, 2003. LEVY, Pierre. Cibercultura, Editora 34, 1999. RBIE Revista Brasileira de Informtica na Educao ISSN 1414-5685 RENOTE Revista Novas Tecnologias na Educao ISSN 1679-1916 IDENTIFICAO DISCIPLINA: Tecnologia Educacional e Cognio CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Introduo a Cincia da Computao CO-REQUISITOS: EMENTA Diferentes concepes de Aprendizagem; Teoria behaviorista, humanistas e cognitivistas da aprendizagem e suas implicaes para Informtica na Educao. BIBLIOGRAFIA Bsica: COLL, Cesar. PALACIOS, Jesus. MARCHESI, Alvaro (org.). Desenvolvimento psicolgico e educao: psicologia da educao. Porto Alegre: Artes Medicas, 1996. 460p. v. 1 COLL, Cesar. PALACIOS, Jesus. MARCHESI, Alvaro (org.). Desenvolvimento psicolgico e educao: psicologia da educao. Porto Alegre: Artes Medicas, 1996. 460p. v. 2. MOREIRA, Marco. Teorias de aprendizagem. So Paulo: EPU, 1999. Complementar: COX, Kenia. Informtica na Educao Escolar, Autores Associados, 2003.
149
LEVY, Pierre. Cibercultura, Editora 34, 1999. RBIE Revista Brasileira de Informtica na Educao ISSN 1414-5685 RENOTE Revista Novas Tecnologias na Educao ISSN 1679-1916 IDENTIFICAO DISCIPLINA: Tpicos Especiais em Tecnologia Educacional CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Introduo a Cincia da Computao CO-REQUISITOS: no h EMENTA Estudo de teorias de aprendizagem multimdia. Elaborao de projetos pedaggicos utilizando recursos digitais. Novas tecnologias da informao aplicadas ao ensino formal e informal. BIBLIOGRAFIA Bsica: FRANCO, Sergio R.K. Informtica na Educao: Estudos Interdisciplinares. Editora da UFRGS, 2004 LEVY, Pierre As tecnologias da Inteligncia- O futuro do pensamento na era da informtica. So Paulo: Editora 34, 2004, 13a. Edio. PAPERT, Seymour. A mquina das crianas: repensando a escola na era da informtica. Porto Alegre: Artes Mdicas, 1994. Complementar: ARAUJO, Alberto.E.P. Apostila de Informtica na Educao I. UFRPE. 2008. COX, Kenia. Informtica na Educao Escolar, Autores Associados, 2003. LEVY, Pierre. Cibercultura, Editora 34, 1999. RBIE Revista Brasileira de Informtica na Educao ISSN 1414-5685 RENOTE Revista Novas Tecnologias na Educao ISSN 1679-1916
150
IDENTIFICAO DISCIPLINA: Gesto da Tecnologia da Informao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Sistemas de Informao e Tecnologias CO-REQUISITOS: no h EMENTA Estratgia empresarial . Alinhamento estratgico; Processo de aquisio e de implementao de sistemas; Desenvolvimento interno, outsourcing, Software as a Service; Acordos de nvel de servio. Arquitetura orientada a servio; Tpicos em segurana da informao, falhas em SIs; continuidade do negcio; Risco em TI; Uso de tecnologias de Virtualizao, datacenter; cloud computing; Valor da TI; Retorno sobre investimento. Impactos da TI nos indivduos, organizaes. Questes ticas. BIBLIOGRAFIA Bsica: TURBAN, E.; MCLEAN, E; WETHERBE, J. Tecnologia da Informao para Gesto. Transformando os Negcios na Economia Digital. Traduo de Renate Schinke. Reviso tcnica de ngela F. Brodbeck. Porto Alegre: Bookman, 2004. MAGALHES, Ivan Luizio; PINHEIRO, Walfrido Brito. Gerenciamento de Servios de TI na Prtica - Uma abordagem com base na ITIL. So Paulo: Novatec, 2007. Complementar: Artigos de conferncias e peridicos da rea IDENTIFICAO DISCIPLINA: Gesto de Processos de Negcio CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA:
151
CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Sistemas de Informao e Tecnologias CO-REQUISITOS: no h EMENTA Contextualizando o gerenciamento de processos. Conceitos de processos. Engenharia de Processos de Negcios: Desenho, Ferramentas, Metodologias, Suporte de TI para Engenharia de Processos. Sistemas de Informao e os processos organizacionais. A prtica da modelagem de processos. BPM e BPMS;Conceitos bsicos: ciclo de vida de BPM; BPMS e servios Web; Modelagem de processos: BPMN; BIBLIOGRAFIA Bsica: BALDAM R. et al. Gerenciamento de Processos de Negcio. So Paulo: rica, 2008, 240 p. DAVENPORT, H. T. Reengenharia de processos: como inovar na empresa atravs de tecnologia de informao. Rio de Janeiro, Campus, 1994, 391 p. PAIM, R.,et aL. Gesto de Processos: Pensar, Agir e Aprender, Porto Alegre: Bookman, 2009, 327 p. Complementar: VALLE, R.; OLIVEIRA, B. S. Anlise e Modelagem de Processos de Negcio Foco na notao BPMN. So Paulo: Atlas, 2009, 207 p. BURLTON, Roger. Business Process Management: proting from process. Indianapolis: Sams Publishing, 2001. IDENTIFICAO DISCIPLINA: Gesto de Servios em TI CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Sistemas de Informao e Tecnologias CO-REQUISITOS: no h EMENTA
152
Conceitos do que um Servio. Caractersticas do Servio. Governana de TI e Gerenciamento de Servios. Gesto estratgica e ttica de servios de TI. Acordos de nvel de servio. Gerenciamento de servios com base no conjunto de melhores prticas baseado no ITIL (Information Technology Infrastructure Library Biblioteca de Infra-estrutura de Tecnologia da Informao) que identica o relacionamento das diversas atividades necessrias para entrega e suporte dos servios de TI. Ferramentas de apoio ao gerenciamento de servios. Elaborao de Projeto. BIBLIOGRAFIA Bsica: JANDER, M. , STURM , R. e MORRIS , W. Service Level Management - Fundamentos Do Gerenciamento De Nveis De Servio. So Paulo: Campus, 2000. REIS, A. Alinhamento da estratgia de Ti com a estratgia corporativa; So Paulo: Atlas, 2003. MAGALHES, Ivan Luizio; PINHEIRO, Walfrido Brito. Gerenciamento de Servios de TI na Prtica - Uma abordagem com base na ITIL. So Paulo: Novatec, 2007. Complementar: Artigos de conferncias e peridicos da rea IDENTIFICAO DISCIPLINA: Governana em Tecnologia da Informao CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Sistemas de Informao e Tecnologias CO-REQUISITOS: no h EMENTA Planejamento Estratgico; Alinhamento estratgico. Decises Estratgicas de TI. Governana Corporativa e Governana de TI. Arqutipos de TI para alocao de direitos decisrios. Mecanismos para implantar a Governana de TI. Tipos de governana. Associao da Estratgia, da Governana e o Desempenho. Princpios de Liderana para governana de TI. Normas, processos e indicadores de desempenho para a rea de TI. Modelos de apoio para Governana de TI: COBIT (Control Objectives for Information and Related Technology); ITIL (Information Technology Infrastructure Library); BSC (Balanced Scorecard). Estruturao de um plano de implantao de um modelo de governana de TI. A norma ISO 20000. BIBLIOGRAFIA
153
Bsica: WEILL, Peter; ROSS, Jeanne W. Governana de TI: Tecnologia da Informao. So Paulo: Makron Books, 2006. MAGALHES, Ivan Luizio; PINHEIRO, Walfrido Brito. Gerenciamento de Servios de TI na Prtica - Uma abordagem com base na ITIL. So Paulo: Novatec, 2007. FERNANDES, Aguinaldo Aragon; ABREU, Vladimir Ferraz. Implantando a Governana de TI da Estratgia Gesto dos Processos e Servios. Rio de Janeiro: Brasport, 2006. Complementar: Artigos de conferncias e peridicos da rea IDENTIFICAO DISCIPLINA: Contabilidade e Administrao de Empresas CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Empreendedorismo; Caractersticas; Oportunidades; Desenvolvimento de Atitudes Empreendedoras. Novos Paradigmas. Administrao do Crescimento da Empresa. Prospeco Empresarial. Plano de Negcio. Inovao e Criatividade. Modelagem Organizacional. Pesquisa de Mercado. Tcnicas de Venda. Tcnicas de Negociao. Qualidade. Formao de Preos. Ferramentas Gerenciais. BIBLIOGRAFIA BIBLIOGRAFIA BSICA DOLABELA, Fernando. Ocina do empreendedor. So Paulo: Cultura, 1999. MATTAR, Fauze Najib. Pesquisa de marketing. 2 ed., So Paulo: Atlas, 2000. MONTGOMERY, Cynthia A.; PORTER, Michael (Org.). Estratgia: a busca da vantagem competitiva. 5 ed., Rio de Janeiro: Campus, 2000. BIBLIOGRAFIA COMPLEMENTAR BEEMER, C. Britt; SHOOK, Robert L. Marketing estratgico: tudo o que mega e micro empresrios devem saber para conquistar novos clientes. So Paulo: Futura, 1998.
154
NGELO, Cludio Felisoni de (Coord.). Varejo: modernizao e perspectivas. So Paulo: Atlas, 1994 IDENTIFICAO DISCIPLINA: Contabilidade e Administrao Financeira CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: no h CO-REQUISITOS: no h EMENTA Administrao de capital de giro. Administrao de caixa e ttulos negociveis. Administrao de duplicatas a receber e do estoque. Fontes de Financiamento em curto prazo. Fontes de nanciamento com garantia de curto prazo. BIBLIOGRAFIA ASSAF, Neto Alexandre. Administrao de Capital de Giro. So Paulo: Atlas, 1999. ASSEF, Roberto. Guia prtico de administrao nanceira. RJ: Campus, 2003. BRAGA, Roberto. Fund. e tcnicas de administrao nanceira. SP:Atlas, 1998. BRIGHAM, Eugene F. & HOUSTON, Joel F. Fundamentos da moderna administrao nanceira. Rio de Janeiro : Campus, 1999. CROSWFORD, Richard. Na era do capital Humano: o talento, a inteligncia e o conhecimento como foras econmicas, seu impacto nas empresas e nas decises de investimento. So Paulo: Atlas, 2000 IDENTIFICAO DISCIPLINA: Tpicos Especiais em Gesto de Projetos CDIGO: DEPARTAMENTO: Unidade Acadmica de Garanhuns REA: CARGA HORRIA TOTAL: 60 HORAS NMERO DE CRDITOS: 04 CARGA HORRIA SEMANAL: TERICAS: PRTICAS: TOTAL: PR-REQUISITOS: Engenharia de Software CO-REQUISITOS: no h
155
EMENTA Breve histrico da evoluo do gerenciamento de projetos; Modelos de gerenciamento de projetos: Reviso PMBoK e dos conceitos de metodologias geis; Categorizao de projetos.Modelos de Maturidade. Inovao, complexidade e incerteza em projetos. Sustentabilidade em projetos. Projetos globais. Ferramentas de gerenciamento de projetos. Apresentao das reas de pesquisa em projetos. BIBLIOGRAFIA Bsica: Artigos de conferncias e peridicos da rea Complementar: Peridicos