Disciplinas do PGCOMP

Transcrição

Pós$graduação-em-Ciência-da-Computação-
37-
•-•-•-
Disciplinas do PGCOMP
O-PGCOMP-abrange-dois-níveis-de-curso:-mestrado-acadêmico-e-doutorado-acadêmico.--Os-cursos-possuem-doistipos-de-componentes-curriculares:-Disciplinas)e-Atividades)Curriculares.--Nas-próximas-seções-são-apresentadas-asDisciplinas-(seção-1)-e-as-Atividades-Curriculares-(seção-2)-do-Programa.--
1"Disciplinas"
As-disciplinas-do-PGCOMP-possuem-3-créditos-associados-e-carga-horária-de-51-horas-(cada-crédito-integraliza-17horas).-As-disciplinas-podem-ser-obrigatórias-(OB)-ou-optativas-(OP).--
Disciplinas"Obrigatórias"
As- disciplinas- obrigatórias- para- o- Mestrado- e- Doutorado- apresentam- uma- visão- geral- de- tópicos- fundamentaispara- a- área- de- Ciência- da- Computação- e- a- formação- em- pesquisa- científica.- - Estudantes- de- mestrado- oudoutorado-deverão-cursar-três-disciplinas-obrigatórias:-1. Seminários-Científicos2. Fundamentos-de-Pesquisa-em-Ciência-da-Computação3. Uma"disciplina"escolhida-dentre-as-disciplinas-abaixo-relacionadas:-• Algoritmos-e-Grafos•
Engenharia-de-Software-Experimental--
-
"
"
Disciplinas-do-PGCOMP-
38-
Pós$graduação-em-Ciência-da-Computação•-•-•Disciplinas"Optativas"
As- disciplinas- optativas- fornecerão- formação- específica- e- aprofundada- em- temas- de- interesse- para- as- linhas- depesquisa-do-Programa.-• Arquitetura-de-Computadores-(linha-de-pesquisa:-Sistemas-Computacionais)•
Banco-de-Dados--(Computação-Aplicada)-
•
Computação-Distribuída-(Sistemas-Computacionais)-
•
Computação-Visual-(Computação-Aplicada)-
•
Arquitetura-de-Software-(linha-de-pesquisa:-Engenharia-de-Software)-
•
Computação-Ubíqua-e-Sensível-ao-Contexto-(Computação-Aplicada)-
•
Fundamentos-em-Sistemas-Distribuídos-(Sistemas-Computacionais)-
•
Inteligência-Artificial-(Computação-Aplicada)-
•
Lógica-e-Métodos-Formais-(Sistemas-Computacionais)-
•
Reuso-de-Software-(Engenharia-de-Software)-
•
Sistemas-Operacionais-(Sistemas-Computacionais)--
•
Sistemas-de-Tempo-Real-(Sistemas-Computacionais)-
•
Sistemas-Web-(Computação-Aplicada)-
•
Tolerância-a-Falhas-(Sistemas-Computacionais)-
-
-
-
-
Algumas-disciplinas-optativas-–-as-disciplinas-de-“Tópicos”-–-não-possuem-ementa-fixa,-para-trazer-flexibilidadeaos-cursos-oferecidos.-As-disciplinas-de-Tópicos-só-poderão-ser-oferecidas-após-a-aprovação-de-uma-ementa-peloColegiado.-As-disciplinas-optativas-do-Programa-serão-compartilhadas-pelos-cursos-de-Mestrado-e-de-Doutorado.--•
Tópicos-em-Arquitetura-de-Computadores-I--e-II-(linha-de-pesquisa:-Sistemas-Computacionais)-
•
Tópicos-em-Banco-de-Dados-I-e-II-(linha-de-pesquisa:-Computação-Aplicada)--
•
Tópicos-em-Computação-Visual-I-e-II-(linha-de-pesquisa:-Computação-Aplicada)-
•
Tópicos-em-Engenharia-de-Software-I-e-II-(linha-de-pesquisa:-Engenharia-de-Software)-
•
Tópicos-em-Fundamentos-da-Computação-I-e-II-(linha-de-pesquisa:-Sistemas-Computacionais)-
•
Tópicos-em-Inteligência-Computacional-I-e-II-(linha-de-pesquisa:-Computação-Aplicada)-------------
•
Tópicos-em-Redes-de-Computadores-I-e-II-(linha-de-pesquisa:-Sistemas-Computacionais)-
•
Tópicos-em-Sistemas-de-Informação-e-Web-I-e-II-(linha-de-pesquisa:-Computação-Aplicada)-
•
Tópicos-em-Sistemas-de-Tempo-Real-I-e--II-(linha-de-pesquisa:-Sistemas-Computacionais)-
•
Tópicos-em-Sistemas-Distribuídos-I-e-II-(linha-de-pesquisa:-Sistemas-Computacionais)"
-
Pós$graduação-em-Ciência-da-Computação•-•-•1."Seminários"Científicos"
"
Nível:-Mestrado/DoutoradoObrigatória:-SimÁrea"de"concentração:-Ciência-da-ComputaçãoCarga"horária:-51-horasNúmero"de"créditos:-03"
"
Ementa:"
"
Seminários-diversos-que-abordam-temas-de-pesquisa-em-Ciência-da-Computação.-Os-seminaristaspodem-ser-professores-convidados-ou-alunos-da-pós$graduação.Bibliografia:"
"
Não-aplicável."
"
"
39-
40-
•-•-•2."Fundamentos"de"Pesquisa"em"Ciência"da"Computação"
"
Nível:-Mestrado/DoutoradoObrigatória:-SimÁrea"de"concentração:-Ciência-da-ComputaçãoCarga"Horária:-51-horasNúmero"de"créditos:"03Ementa:-A- ciência- e- o- método- científico.- A- ciência- e- a- ciência- da- computação.- Leitura- de- artigos- científicos.Técnicas- de- análise- de- dados- empíricos.- Técnicas- de- apresentação- gráfica- de- dados- empíricos.- Comorealizar- uma- pesquisa- empírica.- Medição.- Planejamento- de- surveys- e- questionários.- Escrita- eapresentação-de-um-artigo-científico.Bibliografia"Principal:"
"
1.
2.
3.
4.
5.
6.
7.
"
Booth,-W.-C.,-Gregory-G.-Colomb,-Joseph-M.-Williams.-The-Craft-of-Research,-Third-Edition,University-of-Chicago-Press,-2009Dalgaard,-P.-Introductory-Statistics-with-R,-Springer,-2002.Sauvé,-Jacques.-Cursos-online-em-Fundamentos-de-Pesquisa-em-Ciência-da-Computação-(UFCG)-$https://sites.google.com/site/jpsauve/jacquessauv%C3%A9$teachingShull,-F.,-Janice-Singer-and-Dag-I.-K.-Sjøberg-(Org.).-Guide-to-Advanced-Empirical-Software-Engineering,Springer,-2008.Wainer,-J.-Métodos-de-pesquisa-quantitativa-e-qualitativa-para-a-Ciência-da-Computação,-curso-daUNICAMP.Wazlawick,-R.--Metodologia-de-Pesquisa-para-Ciência-da-Computação,-Editora-Campus,-2009.Wohlin,-C.-Experimentation-in-Software-Engineering,-Kluwer-Academic-Publishers,-2a-Edição-2012.-
"
"
"
41-
•-•-•3."Algoritmos"e"Grafos""
"
Nível:-Mestrado/DoutoradoObrigatória:-SimÁrea"de"concentração:-Ciência-da-ComputaçãoCarga"horária:-51-horasNúmero"de"créditos:-03"
"
Ementa:"
Conceitos- básicos- de- algoritmos,- análise- e- eficiência- de- algoritmos,- projeto- de- algoritmos- (indução,divisão- e- conquista,- programação- dinâmica,- método- guloso),- NP$completude- (teoria- e- técnica- dedemonstração),- classes- de- complexidade- (P,- NP,- NP$completo,- NP$difícil),- reduções- polinomiais,algoritmos- para- problemas- NP$completos.- Conceitos- básicos- de- grafos- e- algoritmos- para- resolverproblemas- modelados- em- grafos;- Conectividade;- Distâncias.- Estabilidade- e- Número- Cromático.Árvores-e-Arborecências;-Grafos-Planares.-Caminhos;-Ordenação-Topológica;-Coloração.-"
Bibliografia:"
"
1. Bondy-J.A.-e-Murty,-U.S.R.-Graph-Theory-with-Applications.-Elsevier-Science-Publishing,-1976.2. Cormen,-T.-et-al.--Introduction-to-algorithms.-MIT-Press/McGraw-Hill,-3-ed.,-2009.3. Greenlaw,-R.-e-Hoover,-H.-J.-Fundamentals-of-the-Theory-of-Computation:-Principles-and-Practice.Morgan-Kaufmann,-1998.4. Gross-e-Yellen,-Graph-Theory-and-Its-Applications,-Chapman-&-Hall/CRC,-2nd-Edition,-2006.5. Hopcroft,-J.-E.-e-Ullman,-J.-D.-Introduction-to-Automata-Theory,-Languages,-and-Computation.Addison$Wesley-Pub-Co.,-1979.6. Manber,-U.-Introduction-to-Algorithms:-A-Creative-Approach.-Addison-Wesley,-1989.7. Martin,-J.-C.-Introduction-to-Languages-and-the-Theory-of-Computation.-McGraw-Hill,-3rd-Ed,-2002.8. Parbery,-I.--Problems-on-algorithms.-Prentice-Hall,-1996.9. Reinhard-Diestel.-Graph-Theory.-Springer,-4th-edition,-2010.10. Robert-Sedgewick,-Kevin-Wayne,-Algorithms,-4th-edition,-Addison$Wesley-Professional,-2011.-
"
"
"
42-
•-•-•4."Arquitetura"de"Computadores"
"
Nível:"Mestrado/Doutorado"
Obrigatória:"Não"
Área"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Sistemas-Computacionais"
Carga"horária:"51-horas"
Número"de"créditos:"03"
"
Ementa:"
Evolução- das- arquiteturas- de- computadores.- Hierarquia- de- memória.- Processadores:- conjunto- deinstruções- e- pipelining.- Paralelismo- em- nível- de- instruções,- de- threads- e- de- dados.- Arquiteturas- não$
convencionais.- Aspectos- de- análise- e- otimização- de- desempenho.- Aspectos- de- suporte- ao- sistemaoperacional."
Bibliografia:"
1. Afek,-Y.-Fast-concurrent-queues-for-x86-processors.-In.:-Proc.-of-18th-ACM/SIGPLAN-Symposium-onPrinciples-and-Practice-of-Parallel-Programming.-Shenzhen:-ACM,-2013.2. Baldassin,-A.;-Garcia,-L.;-Azevedo,-R.-Energy$performance-tradeoffs-in-software-transactional-memory.-In.:Proc.-of-24th-Int.-Symp.-on-Computer-Architecture-and-High-Performance-Computing.-New-York:-IEEE,-2012.3. Cook,-S.-Cuda-Programming:-A-Developervs-Guide-To-Parallel-Computing-With-Gpus.-MorganKaufmann/Elsevier,-2013.4. Gaster,-B.;-Howes,-L.;-Kaeli,-D.;-Mistry,-P;-Schaa,-D.-Heterogeneous-computing-with-OpenCL.-MorganKaufmann/Elsevier,-2013.5. Harris,-D.,-Sarah-Harris.-Digital-Design-and-Computer-Architecture.-Morgan-Kaufmann,-2nd-ed.,-2012.6. Hennessy,-J.;-Patterson,-D.-Computer-Architecture:-A-Quantitative-Approach.-5th-Ed.-MorganKaufmann/Elsevier,-2012.7. Kirk,-D.;-Hwu,-W.-Programming-massively-parallel-processors:-a-hands$on-approach.-2nd-edition.-MorganKaufmann/Elsevier,-2013.8. Patterson,-D.;-Hennessy,-J.-Computer-Organization-and-Design:-The-Hardware/Software-Interface.-4thEdition.-Morgan-Kaufmann/Elsevier,-2011.9. Randal-E.-Bryant,-David-R.-OvHallaron.-Computer-Systems:-A-Programmervs-Perspective.-Addison$Wesley,2nd-ed.,-2010.10. Reinders,-J.-Intel-Threading-Building-Blocks:-outfitting-C++-for-multicore-processor-parallelism.-OvReilly,-2007.11. Scogland,-T.-et-al.-Heterogeneous-task-scheduling-for-accelerated-OpenMP.-In.:-Proc.-of-IEEE-InternationalParallel-&-Distributed-Processing-Symposium.-IEEE:-Boston,-2012.12. Stallings,-W.-Computer-Organization-and-Architecture:-Designing-For-Performance.-9th-Ed.--Pearson,-2012.-
"
43-
•-•-•5."Arquitetura"de"Software"
"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Engenharia-de-SoftwareCarga"horária:-51-horasNúmero"de"créditos:-03"
Ementa:Definição- de- arquitetura- de- software.- Documentação- de- arquitetura.- Visões- arquiteturais.- Estilosarquiteturais.- Linguagens- para- descrição- de- arquitetura.- Padrões- arquiteturais.- Modelagemarquitetural.--Projeto-arquitetural.-Avaliação-de-arquitetura-de-software.-Recuperação-de-arquitetura-desoftware.Bibliografia:1.
2.
3.
4.
5.
6.
7.
8.
Bass,-L.,-Paul-C.-Clements,-Rick-Kazman.-Software-Architecture-in-Practice.-3rd-Ed,-Addison$Wesley,Boston,-MA,-2013Buschman,-F.-et-al.,-A-System-of-Patterns-—-Pattern$Oriented-Software-Architecture,-Wiley,-1996.Clements,-P.-,-Rick-Kazman,-Mark-H.-Klein.-Evaluating-Software-Architectures:-Methods-and-CaseStudies,-Addison$Wesley,-Boston,-MA,-2001.Clements,-P.,-Bachmann,-F.,-Bass,-L.,-Garlan,-D.,-Ivers,-J.,-Little,-R.,-Nord,-R.-and-Stafford,-J.-DocumentingSoftware-Architectures:-Views-and-Beyond.-2nd-Ed,-Addison$Wesley,-Boston,-MA,-2010.Ducasse,-S.;-Pollet,-D.-Software-Architecture-Reconstruction:-A-Process$Oriented-Taxonomy,-IEEETransactions-on-Software-Engineering,-vol.35,-no.4,-pp.573$591,-July$Aug.-2009-doi:-10.1109/TSE.2009.19Godfrey,-Michael-W.--and-Eric-H.-S.-Lee.-Secrets-from-the-Monster:-Extracting-Mozillavs-SoftwareArchitecture.-In-Proc.-of-2000-Intl.-Symposium-on-Constructing-software-engineering-tools-(CoSET-2000).-Shaw,-M.,-Garlan,-D.,-Software-Architecture:-Perspective-on-an-Emerging-Discipline.-Prentice-Hall,-1996.Taylor,-Richard-N.,-Nenad-Medvidovic,-Eric-Dashofy.-Software-Architecture:-Foundations,-Theory,-andPractice.-Wiley,-2009.-
"
"
"
"
44-
•-•-•6."Banco"de"Dados"
"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Computação-AplicadaCarga-Horária:-51-horasNúmero"de"créditos:-03Ementa:""
"
Fundamentos- de- bancos- de- dados.- - Modelos- de- dados- e- linguagens.- Dados- Estruturados,- semi$
estruturados-e-não$estruturados.-Projeto-de-bancos-de-dados.-Processamento-de-consultas,-recuperaçãode-falhas,-segurança-e-integridade,-controle-de-concorrência.-Bibliografia:1. Allemang-D.,-Hendler-J.-Semantic-Web-for-the-Working-Ontologist:-Effective-Modeling-in-Rdfs-and-Owl.1st.-Edition.-2008.2. Cardoso,-J.,-Sheth,-A.-Semantic-Web-Services,-Processes-and-Applications.-Springer-Publisher.-July.-20063. Deitel-Et-Al.-XML-Como-Programar.-Bookman.-2001.4. Elmasri-A.,-Navathe-S.-Sistemas-de-Banco-de-Dados.-6a-Edição,-2011.5. Feldman-R.,-Sanger-J.-The-Text-Mining-Handbook:-Advanced-Approaches-in-Analyzing-UnstructuredData.-2006.6. Graves-M.-Projeto-de-Banco-de-Dados-com-XML.-1a-Edição.-Makron.-2003.7. Kumar-V.,-Steinbach-M.,-Tan-P.-Introdução-ao-Data-Mining-$-Mineração-de-Dados.-Ciencia-Moderna.2009.8. Silberschatz-A.,-Korth-A.,-Sudarsha-S.-Sistema-de-Banco-de-Dados.-5a-Edição,-2006."
"
"
"
45-
•-•-•7.""Computação"Distribuída"
"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Sistemas-Computacionais"
Carga-Horária:-51-horasNúmero"de"créditos:-03Ementa:-Características- e- especificação- desistemas- distribuídos.- Computação- distribuída- X- concorrrente.Modelos- de- sincronia- (síncrono- X- assíncrono).- Modelos- de- comunicação- (passagem- de- mensagem- Xmemória- compartilhada).- Propriedades- (safety- X- liveness)- e- prova.- Complexidade- dos- algoritmos.Técnicas- de- projeto- (timestamp,- quoruns,- tokens,- randomização,- etc.).- Noções- de- Tolerância- a- Falhas.Modelos-de-falhas-(processos-e-canais).-Detectores-de-falhas.-Tempo-lógico-e-causalidade.-Protocolos-etopologias- de- difusão- de- mensagens.- Problemas- de- coordenação- e- acordo- distribuídos.- Exclusãomútua.-Consenso.-Eleição-de-líder.-Replicação-e-máquina-de-estados.-Resultados-de-impossibilidade.Bibliografia:1. Ajay-D.-Kshemkalyani,-Mukesh-Singhal.-Distributed-Computing:-Principles,-Algorithms,-and-Systems.Cambridge-University-Press,-2011.2. Andrew-S.-Tanenbaum,-Distributed-Operating-Systems,-Prentice-Hall,-1995.3. Cachin,-Christian,-Guerraoui,-Rachid,-Rodrigues,-Luís.--Introduction-to-Reliable-and-Secure-DistributedProgramming.-Springer.-2nd-ed.,-2011.4. Fabíola-Greve.-Protocolos-Fundamentais-para-o-Desenvolvimento-de-Aplicações-Robustas.-MinicursoSBRC-2005,Editora-SBC.5. George-Coulouris,-Jean-Dollimore,-Tim-Kindberg-and-Gordon-Blair.-Distributed-Systems:-Concepts-AndDesign.-5th-Edition,-Addison-Wesley,-2011.6. Gerard-Tel,-Introduction-do-Distributed-Algorithms,-Cambridge-University-Press,-19947. Leslie-Lamport.-Time,-Clocks,-The-Ordering-of-Events-in-Distributed-Systems.-CACM,-1978.8. Michel-Raynal.-Communication-and-Agreement-Abstractions-for-Fault$Tolerant-Distributed-Systems.Morgan-and-Claypool-Publishers,-1st-Ed,-2010.-9. Nancy-A.-Lynch,-Distributed-Algorithms,-Morgan-Kaufmann-Publishers-Inc.,-199610. Paulo-Veríssimo-e-Luís-Rodrigues,-Distributed-Systems-for-Systems-Architects,-Kluwer,-200111. Rachid-Guerraoui-e-Luís-Rodrigues,-Introduction-to-Reliable-Distributed-Programming,-Springer,-200612. Sape-Mullender,-Distributed--Systems,--Addison$Wesley,--1993.---13. Sape-Mullender,-Distributed-Systems,-Addison$Wesley,-1993.14. Vijay-Garg,-Elements-of-Distributed-Computing,-Wiley,-2002.-
46-
•-•-•8."Computação"Ubíqua"e"Sensível"ao"Contexto"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Computação-AplicadaCarga"horária:-51-horasNúmero"de"créditos:-03Ementa:"
Computação-móvel- x-Computação-Ubíqua.- Plataformas- computacionais- e- aspectos- de- comunicaçãopara- sistemas- ubíquos.- Engenharia- de- Software- para- sistemas- ubíquos.- Conceitos- de- contexto- esistemas- sensíveis- ao- contexto.- Mecanismos- de- aquisição- e- inferência- de- contexto.- Representação- emodelos- de- contexto.- Aspectos- da- interação- humano$computador.- Serviços- e- aplicaçõesda-Computação-Ubíqua-em-diferentes-domínios.-Desafios-e-direções-de-pesquisa.Bibliografia:"
"
1. Abowd,-G.D.:-What-next,-ubicomp?:-Celebrating-an-intellectual-disappearing-act.-In:-Proc.-of-the-2012ACM-Conference-on-Ubiquitous-Computing.-UbiComp-’12,-New-York,-NY,-USA,-ACM-(2012)-31–40-2. Crumm-J.-(ed)-“Ubiquitous-Computing-Fundamentals”.-CRC-Press,-2010.-Book-Website:http://research.microsoft.com/en$us/um/people/jckrumm/UbiquitousComputingFundamentals/3. Dourish,-P.,-Genevieve-Bell.-Divining-a-Digital-Future:-Mess-and-Mythology-in-Ubiquitous-Computing.The-MIT-Press,-2011.-4. Foth,-M.,-Laura-Forlano,-Christine-Satchell,-Martin-Gibbs,-Judith-Donath.-From-Social-Butterfly-toEngaged-Citizen:-Urban-Informatics,-Social-Media,-Ubiquitous-Computing,-and-Mobile-Technology-toSupport-Citizen-Engagement.-The-MIT-Press,-2011.5. Greenfield,-A.-“Everyware:-The-Dawning-Age-of-Ubiquitous-Computing”.-New-Riders,-2006.6. Moran,-T.-and-Paul-Dourish.-Context$Aware-Computing:-A-Special-Triple-Issue-of-Human$ComputerInteraction,-CRC-Press,-2002.7. Poslad,-S.--Ubiquitous-Computing:-Smart-Devices,-Environments-and-Interactions.-Ed.-Wiley.-2009.ISBN:-978$0$470$03560$3.--Book-Website:-http://www.eecs.qmul.ac.uk/~stefan/ubicom/8. Shepard,-M..-Sentient-City:-Ubiquitous-Computing,-Architecture,-and-the-Future-of-Urban-Space.-TheMIT-Press,-2011.9. Spínola,-R.,-Travassos,-G.-H.-Towards-a-framework-to-characterize-ubiquitous-software-projects.-Inf.Softw.-Technol.-54,-7-(2012),-759$785.-http://dx.doi.org/10.1016/j.infsof.2012.01.00910. Vieira,-V.,-Tedesco,-P.,-Salgado,-A.-C.-Designing-context$-sensitive-systems:-an-integrated-approach,Expert-Systems-with-Applications,-vol.-38,-no.-2-(2010)-1119$1138.-11. Weiser,-M.:-The-computer-for-the-21st-century.-Scientific-American-265(3)-(1991)-94–104--
-
-
47-
•-•-•9."Computação"Visual"
"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Computação-AplicadaCarga-Horária:-51-horasNúmero"de"créditos:-03Ementa:-Visão- geral- das- áreas- envolvidas- em- Computação- Visual;- Modelos- de- representação- vetorial- ematricial;- Cores:- conceitos- envolvidos- e- formas- de- representação;- Processo- de- formação- de- imagem;Fundamentos- de- processamento- de- imagens.- Analise- de- imagens:- detecção,- reconhecimento- ereconstrução-de-objetos.Bibliografia:1. Benenson,-R.;-Timofte,-R.;-Van-Gool,-L.,-~Stixels-estimation-without-depth-map-computation,~-IEEE-IntConference-on-Computer-Vision-Workshops-(ICCV-Workshops),-pp.-6$13-Nov.-20112. C.-Bishop,-Pattern-recognition,-2nd-Ed,-Springer,-20063. Cher$Keng-Heng;-Yokomitsu,-S.;-Matsumoto,-Y.;-Tamura,-H.,-~Shrink-boost-for-selecting-multi$LBPhistogram-features-in-object-detection,~-IEEE-Conf-on-Computer-Vision-and-Pattern-Recognition-(CVPR),pp.-16$21,-20124. Foley,-J.-D.,-van-Dam,-A.,-Feiner,-S.-K.,-Hughes,-J.-F.,-Computer-Graphics:-Principles-and-Practice,-------3rd-Ed.-Addison$Wesley,-2013.5. Gonzalez,-R.-C;-Woods,-R.-E.,-Processamento-digital-de-imagens.-3.-Ed.-Pearson-Prentice-Hall,-20106. J.-Russ,-The-image-processing-handbook,-6th-Ed,--CRC-press,-20067. M.-Nixon,-A.-Aguado.-Feature-extraction-and-image-processing-for-computer-vision,-3rd-Ed,--Elsevier,20028. Mortenson,-M.,-Geometric-Modeling,-3rd.-edition,-Industrial-Press,-2006.9. R.-Duda,-P.-Hart-and-D.-Stork,-Pattern-classification,-2nd-Ed,--John-Wiley-and-Sons,-199910. Szeliski,-R.,-Computer-Vision:-Algorithms-and-Applications,-1st.-Ed.,-Springer,-2010.11. T.-Acharya-and-A.-Ray,-Image-processing:-Principles-and-applications,-1st-Ed,--John-Wiley-&-Sons,-200512. Trucco,-E.,-Verri,-A.,-Introductory-Techniques-for-3$D-Computer-Vision,-1st-Ed,-Prentice-Hall,-1998.13. Velho,-L.,-Frery,-A.,-Gomes,-J.-Image-Processing-for-Computer-Graphics-and-Vision.-2nd-Ed-Springer,2008.14. Yuanyuan-Ding;-Jing-Xiao,-~Contextual-boost-for-pedestrian-detection,~-2012-IEEE-Conference-onComputer-Vision-and-Pattern-Recognition-(CVPR),-pp.-3250$-3257,-2012-
48-
•-•-•10."Engenharia"de"Software"Experimental"
"
Nível:-DoutoradoObrigatória:-SimÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Engenharia-de-SoftwareCarga"Horária:-51-horasNúmero"de"créditos:"03Ementa:-Software,-sua-natureza-e-características.-Conceituação-de-engenharia-de-software-(ES),-experimentaçãoe- engenharia- e- engenhariade- softwareexperimental- (ESE).- Introdução- à- engenhariade- softwareexperimental.- Experimentos- controlados- em- ES.- Métodos- estatísticos- e- análise- de- dados- em- ESE.Surveys- e- estudos- de- campos- em- ES.- Estudos- de- Caso- em- ES.- Métodos- qualitativos- em- ESE.Multimétodos- e- meta$análises- em- ESE.- Engenharia- de- Software- baseada- em- evidências,- revisões- emapeamentos-sistemáticos.Bibliografia"Principal:"
"
1.
2.
3.
4.
"
Artigos-selecionados-dos-proceedings-do-ESEM-(International-Symposium-on-Empirical-SoftwareEngineering-and-Measurement),-2006$2012.Juristo,-N.-and-Moreno,-A.-Basics-of-Software-Engineering-Experimentation,-Kluwer-AcademicPublishers,-2000.Shull,-F.,-Janice-Singer-and-Dag-I.-K.-Sjøberg-(Org.).-Guide-to-Advanced-Empirical-SoftwareEngineering,-Springer,-2008.Wohlin,-C.-Experimentation-in-Software-Engineering,-Kluwer-Academic-Publishers,-2a-Edição-2012-
"
"
"
"
"
49-
•-•-•11."Fundamentos"de"Sistemas"Distribuídos"
"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Sistemas-ComputacionaisCarga"horária:-51-horasNúmero"de"créditos:-03"
"
"
Ementa:"
Mecanismos- de- comunicação- entre- processos.- Sincronização- e- controle- de- concorrência.- Gerênciadistribuída- de- recursos:- sistemas- de- arquivos,- serviço- de- nomes,- memória- compartilhada- eescalonamento- distribuído.- Chamada- de- procedimentos- remotos.- Recuperação- e- tolerância- a- falhas.Proteção- e- segurança- de- recursos- distribuídos.- Sistemas- operacionais- e- objetos- distribuídos.Interconexão-de-sistemas-operacionais-heterogêneos.Bibliografia:"
1.
2.
3.
4.
5.
6.
7.
8.
9.
"
Ajay-D.-Kshemkalyani,-Mukesh-Singhal.-Distributed-Computing:-Principles,-Algorithms,-andSystems.-Cambridge-University-Press;-Reissue-Edition,-2011.Birman,-K.P.-Building-Secure-and-Reliable-Network-Applications,-Manning-Publications-Co.,-1996.George-Coulouris,-Jean-Dollimore,-Tim-Kindberg-and-Gordon-Blair.-Distributed-Systems:-ConceptsAnd-Design.-5th-Edition,-Addison-Wesley,-May-2011.Jalote,-P.-Fault$Tolerance-in-Distributed-Systems,-Prentice-Hall,-1994.Kai-Hwang,-Jack-Dongarra,-Geoffrey-C.-Fox.-Distributed-and-Cloud-Computing:-From-ParallelProcessing-to-the-Internet-of-Things.-Morgan-Kaufmann;-1st-Ed,-2011.Kenneth-P.-Birman.-Guide-to-Reliable-Distributed-Systems:-Building-High$Assurance-Applicationsand-Cloud$Hosted-Services.-Springer,-2012.Tanenbaum,-A.S.-Distributed-Operating-Systems,-Prentice-Hall,-1995.Veríssimo-P.,-Rodrigues,-L.-Distributed-Systems-for-System-Architects.-Kluwer-Academic-Publ,-2001.Yaniv-Pessach.-Distributed-Storage:-Concepts,-Algorithms,-and-Implementations.-CreateSpaceIndependent-Publishing-Platform,-1st-Ed,-2013.-
"
50-
•-•-•12."Inteligência"Artificial"
"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Computação-AplicadaCarga"horária:-51-horasNúmero"de"créditos:-03"
"
Ementa:"
Representação- de- conhecimento.- Raciocínio- automático.- Métodos- de- busca.- Aprendizagem- demáquina.-Agentes-e-multiagentes.-Métodos-probabilísticos-(Bayes-e-Markov).Bibliografia:"
1. Bolstad,-William.-Introduction-to-Bayesian-statistic,-2nd-Ed,-Wiley$Interscience,-20072. C.-Bishop,-Pattern-recognition,-2nd,-Springer,-2006-3. Jang,-J$S;-Sun,-C$T;-Mizutani,-E.-Neuro$fuzzy-and-soft-computing:-a-computational-approach-to-learningand-machine-intelligence,-1st-Ed.4. Koller,-Daphne,-Probabilistic-graphical-models,-1st-Ed,-MIT-press,-20095. Russel,-S.-e-Norvig,-P.-Artificial-Inteligence,-A-Modern-Approach,-3rd-Ed,-Prentice-Hall,--20106. Simon-Haykin,-Neural-Networks:-A-Comprehensive-Foundation,-2nd-Ed,-Prentice-Hall,-1998-7. Taylor,- John- Shawe;- Cristianini,- Nello.- Support- Vector- Machine- and- other- kernel$based- learningmethods,-1st-Ed,-Cambridge-Press,-2000.-
"
"
51-
•-•-•13."Lógica"e"Métodos"Formais"
"
"
Ementa:"
"
Introdução-à-lógica-e-especificação.-Prova-de-correção-de-programas-seqüenciais:-a-Lógica-de-Hoare.Especificação-e-verificação-formal-de-sistemas-concorrentes:-lógica-temporal-e-a-técnica-de-verificaçãode-modelos.-Especificação-e-verificação-de-processos-utilizando-CSP."
Bibliografia:"
"
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
-
"
B.-Berard,-M.-Bidoit,-A.-Finkel,-F.-Laroussinie,-A.-Petit,-L.-Petrucci,-Ph.-Schnoebelen.-Systems-andSoftware-Verification.-Model$Checking-Tecniques-and-Tools.-Springer,-1999.Ben$Ari,-M.-Mathematical-Logic-for-Computer-Science.-Prentice$Hall,-1993.Clarke-E.M.;-Grumberg,-O.;-Doron-A.;-Peled,-D.A.-Model-Checking.-The-MIT-Press.-1999.Edmund-M.-Clarke,-Jr.,-Orna-Grumberg,-and-Doron-A.-Peled.-Model-Checking.-The-MIT-Press.-1999.Hoare,-C.A.R.-Communicating-Sequential-Processes.-Prentice$Hall,-1985.Jean$Louis-Boulanger.-Formal-Methods:-Industrial-Use-from-Model-to-the-Code-(ISTE),-2012.-Michael-Fisher.-An-Introduction-to-Practical-Formal-Methods-Using-Temporal-Logic.-Wiley,-1-ed.,2011.-Nolt,-J.;-Rohatyn,-D.-Lógica,-Schaum-McGraw$Hill,-Makron-Books,-1991.Potter,-B.;-Sinclair,-J.,-Till,-D.-An-Introduction-to-Formal-Specification-and-Z,-Prentice-Hall.-1996.Roscoe,-W.-The-Theory-and-Practice-of-Concurrency.-Prentice-Hall-1998.Schneider,-S.-Concurrent-and-Real$Time-Systems.-The-CSP-Approach.-John-Wiley-&-Sons,-2000.Stefania-Gnesi,-Tiziana-Margaria.-Formal-Methods-for-Industrial-Critical-Systems:-A-Survey-ofApplications.-Wiley$IEEE-Computer-Society-Pr,-1st-ed.,-2012.-Woodcock,-J.;-Davies-J.-Using-Z,-Specification,-Refinement-and-Proof.-Prentice-Hall.-1996.Zhiwu-Li.-Formal-Methods-in-Manufacturing-Systems:-Recent-Advances.-IGI-Global,-1st-ed.,-2013.-
"
52-
•-•-•14."Redes"de"Computadores"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Sistemas-ComputacionaisCarga-Horária:-51-horasNúmero"de"créditos:-03Ementa:-Sistemas-de-transmissão-e-suas-características;-Arquitetura-de-redes-de-computadores;-Protocolos-decomunicação;-Modelagem-de-redes-de-computadores,-Desempenho-e-confiabilidade-de-redes;-Tópicosavançados-em-redes.Bibliografia-Principal:1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
Andrew-S.-Tanenbaum-e-D.-Wetherall,-Computer-Networks,-5th-Edition,-Ed.-Pearson-ISBN-978$
0132126953,-2010.-Comer,-D.-E.-Interligação-de-Redes-com-TCP/IP,-Vol.-I:-Princípios,-Protocolos-e-Arquitetura.-5ª-ed.,Ed.-Campus,-2006.Daquan-Feng;-Chenzi-Jiang-;-Gubong-Lim-;-Cimini,-L.J.-;-Gang-Feng-;-Li,-G.Y.-A-Survey-of-Energy$
Efficient-Wireless-Communications.-Comm.-Surveys-&-Tutorials,-IEEE,-15(1),-2013,-pp-167-$-178Gabale,-V.;-Raman,-B.;-Dutta,-P.-;-Kalyanraman,-S.-;-Raman,-B.-;-Dutta,-P.-;-Kalyanraman,-S.AClassification-Framework-for-Scheduling-Algorithms-in-Wireless-Mesh-Networks.-Comm.-Surveys-&Tutorials,-IEEE,-15(1),-2013,-pp-199-–-222.Guoying-Zhang;-De-Leenheer,-M.-;-Morea,-A.-;-Mukherjee,-B.-A-Survey-on-OFDM$Based-Elastic-CoreOptical-Networking.-Comm.-Surveys-&-Tutorials,-IEEE,-15(1),-2013,-pp-65$87Kurose,-J.,-Ross,-K.,-Computer-Networking,-6th.-Ed.,-Pearson-(Addison$Wesley),-ISBN$13:9780132856201,-2012Lopes,-Raquel-V.,-Sauvé,-Jacques-P.-e-Nicoletti,-Pedro-S.-Melhores-Práticas-para-Gerência-de-Redesde-Computadores.-Ed.-Campus,-2003.Paula-Filho,-W.P.-Multimídia:-Conceitos-e-Aplicações.-LTC-editora,-Rio-de-Janeiro,-2000.Stallings,-W.,-Redes-e-Sistemas-de-Comunicação-de-Dados,-Ed.-Campus$Elsevier,-ISBN-978$85$352$
1731$5,-2005.Ye-Yan;-Yi-Qian-;-Sharif,-H.-;-Tipper,-D.-A-Survey-on-Smart-Grid-Communication-Infrastructures:Motivations,-Requirements-and-Challenges,-Comm.-Surveys-&-Tutorials,-IEEE,-15(1),-2013,-pp-5$20-
"
"
"
53-
•-•-•15."Reuso"de"Software"
"
"
Ementa:"
Introdução-a-reutilização-de-software.-Fundamentos-de-desenvolvimento-de-software-para)e-com)reuso.Técnicas-para-reutilização-sistemática-de-software.-Métricas-de-Reutilização-de-Software.-Ambientes-eferramentas-de-reutilização-de-software.Bibliografia:"
"
1. Artigos-relacionados-a-cada-tópico-da-disciplina.2. H.-Mili,-A.-Mili,-S.-Yacoub,-E.-Addy,-Reuse$Based-Software-Engineering,-Wiley-Inter$Science,-20013. I.-Jacobson,-M.-Griss,-P.-Jonsson,-Software)Reuse:)Architecture,)Process)and)Organization)for)Business)
Success,-Addison-Wesley,-19974. M.-Ezran,-M.-Morisio,-C.-Tully,-Practical)Software)Reuse,-Springer,-20025. W.-Lim,-Managing)Software)Reuse,-Springer,-2004"
"
"
"
"
54-
•-•-•16."Sistemas"de"Tempo"Real"
"
"
Ementa:"
"
Definição- de- conceitos- básicos- e- da- importância- desistemas- computacionais- para- aplicações- tempo$
real.- Engenharia- de- Software- de- Sistemas- Tempo$Real;- Principais- Metodologias.- Programação- deSistemas-Tempo$Real;-Linguagens-de-alto$nível-(PEARL,-ADA95,-RT$C++).-Sistemas-operacionais-paraAplicações- em- Tempo$Real;- Métodos- de- Escalonamento;- Análise- Comparativa- de- alguns- sistemasoperacionais-existentes.-Sistemas-Tempo$Real-Distribuídos;-Problemas-de-sincronismo-e-temporização.Bibliografia:""
-
1. Artigos-de-periódicos-recomendados-e-manuais-dos-produtos-utilizados.2. Burns,-A;-Wellings,-A.-Real$Time-Systems-and-Programming-Languages.-Addison$Wesley,-1997.3. Giorgio-C-Buttazzo.-Hard-Real$Time-Computing-Systems:-Predictable-Scheduling-Algorithms-andApplications.-Springer;-3rd-ed.-2011-edition-4. Halang,-W.;-Stoyenko,-A.-Comparative-Evaluation-of-High$Level-Real$Time-Programming-Languages.Real-Time-Systems-2,-Kluwer-Academic-Publ,-1990.5. Halang,-W.;-Stoyenko,-A.Constructing-Predictable-Real$Time-Systems,-Kluwer-Academic-Publ,-1991-6. Kopetz,-Hermann.-Real$Time-Systems.Design-Principles-for-Distributed-Embedded-Applications.-2ndEd,-2011.7. Lee,-Y.-H.;-Krishna,-C.-Readings-in-Real$Time-Systems.-IEEE-Computer-Society-Press,-1993.-8. Liu,-J.-W.-S.-Real$Time-Systems.-Prentice-Hall,-2000.9. Phillip-A.-Laplante,-Seppo-J.-Ovaska.-Real$Time-Systems-Design-and-Analysis:-Tools-for-the-Practitioner.Wiley$IEEE-Press,-4th-edition,-2011.10. Ward,-P.;-Mellor,-S.-Structured-Development-for-Real$Time-Systems,-Yourdon,-1985-(3-volumes).-"
"
"
"
55-
•-•-•17."Sistemas"Operacionais"
"
"
"
Ementa:"
Arquiteturas-de-sistema-operacional;-Comunicação-e-escalonamento-de-processos-e-threads;Mecanismos-de-gerência-de-memória.-Sistema-de-arquivos-e-diretórios.-Sistema-de-entrada-e-saída;Gerenciamento-e-controle-de-recursos;-Controle-de-segurança-e-proteção-de-recursos;-Gerenciamento-econtrole-de-serviços.-Sistemas-operacionais-multiprocessados."
Bibliografia:"
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
"
"
Anderson,-T.,-Michael-Dahlin.-Operating-Systems:-Principles-and-Practice.-Recursive-books,-2012.Bach,-M.-J.-The-Design-of-the-Unix-Operating-System.-Prentice$Hall,-1986.Ben$Ari,-M.-Principles-of-Concurrent-and-Distributed-Programming,-Prentice$Hall,-1990.Birman,-K.P.-Building-Secure-and-Reliable-Network-Applications,-Manning-Publications-Co.,-1996.Doeppner,-T.-Operating-Systems-in-Depth:-Design-and-Programming.-Wiley,-2010.Khurana,-R.-Operating-Systems.-Vikas-Publishing-House-Pvt-Ltd,-2011.Silbershatz,-A.;-Gagne,-G.;-Galvin,-P.B.-Sistemas-Operacionais-com-Java-–-Conceitos-e-Aplicações,Campus,-2005.Stallings,-W..-Operating-Systems:-Internals-and-Design-Principles.-Prentice-Hall;-7-Ed,-2011Stevens,-R.-Unix-Network-Programming.-Prentice$Hall-Software-series,-1990.Tanenbaum,-A.S.-Distributed-Operating-Systems,-Prentice-Hall,-1995.Tanenbaum,-Andrew-S.,-Sistemas-Operacionais-Modernos,-segunda-edição,-Pearson,-2003.-
"
56-
•-•-•18.""Sistemas"Web"
"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Computação-AplicadaCarga-Horária:-51-horasNúmero"de"créditos:-03Ementa:-Evolução-da-Web.-Introdução-aos-Sistemas-Hipermídia-e-Web.-Linguagens-de-marcação-de-conteúdo.Projeto,-implementação-e-avaliação-de-infraestruturas-e-ferramentas-de-autoria,-apresentação-eavaliação-de-aplicações-Web.-Acessibilidade.-Interação-homem$computador.Bibliografia:1.
2.
3.
4.
5.
6.
7.
"
"
Artigos-científicosConklin,-J.-Hypertext:-An-Introduction-and-Survey.-IEEE-Computer,-v.-20,-n.-9,-p.-17$41.Deitel,-P.-J.,-Deitel,-H.-M.-Ajax,-rich-internet-applications-e-desenvolvimento-web-paraprogramadores.-Pearson,-1ª.-Edição,-2008.Fawcett,-J.;-Ayers,-D.;-Quin,-L.-R.-E..-Beginning-XML.-John-Wiley-&-Sons,-5ª.-Edição,-2012.Grigoris-Antoniou,-Paul-Groth,-Frank-van-van-Harmelen,-Rinke-Hoekstra.-A-Semantic-Web-Primer.The-MIT-Press,-3ª.-Edição,-2012.Lowe,-D.,-Hall,-W.-Hypermedia-and-the-Web:-An-Engineering-Approach.-John-Wiley-&-Son,-1999.Nielsen,-J.-Multimedia-and-Hypertext:-The-Internet-and-Beyond.-Aademic-Press-Professional,-1995.-
"
57-
•-•-•19.""Teoria"da"Computação"
"
Nível:"Mestrado/Doutorado"
Obrigatória:"Não"
Área"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Sistemas-Computacionais"
Carga"horária:"51-horas"
Número"de"créditos:"03"
"
Ementa:""
"
Modelos- e- Computação:- máquinas- de- Turing,- funções- recursivas,- l$- Cálculus.- Tese- de- Church.Linguagens-enumeráveis,-recursivamente-enumeráveis-e-recursivas.-Decibilidade.-Redução.-Problemasindecidíveis.-Incompletude-da-aritmética.-Introdução-à-Teoria-da-Complexidade."
""""""""""""""""""""""""""""""""""""
Bibliografia:"
"
1.
2.
3.
4.
5.
6.
7.
8.
"
Aaronson,-S..-Quantum-Computing-since-Democritus.-Cambridge-University-Press,-2013.Diverio,-Tiaraju-A.;-Menezes,-Paulo-F.-Blauth.-Teoria-da-Computação-–-Máquinas-Universais-eComputabilidade.-Porto-Alegre:-Sagra$Luzzatto,-1999.-Hopcroft,-John-E.;-Ullman,-Jeffrey-D.;-Motwani,-Rajeev.-Introdução-à-teoria-de-autômatos,linguagens-e-computação.-Campus,-2002.Lewis,-Harry-R.;-Papadimitriou,-Christos-H.-Elementos-de-teoria-da-computação.-Bookman,-2000.Martins,-Raul-Cesar-Baptista;-Moura,-Arnaldo-Vieira;-Desenvolvimento-sistemático-de-programascorretos:-a-abordagem-denotacional.--Escola-de-Computação-6.-Campinas,-SP:-Ed.-da-UNICAMP,1988.Nagel,-Ernest;-Newman,-James-Roy.-Prova-de-Godel.-Perspectiva,-1973.Ramos,-M.V.,-João-José-Neto,-Ítalo-Santiago-Veja.-Linguagens-Formais:-teoria,-modelagem-eimplementação.-Bookman,-2009.Sisper,-M..-Introdução-à-Teoria-da-Computação.-Thomson-Learning,-2007."
58-
•-•-•20."Tolerância"a"Falhas"
"
Nível:-Mestrado/DoutoradoObrigatória:-NãoÁrea"de"concentração:-Ciência-da-ComputaçãoLinha"de"Pesquisa:-Sistemas-Computacionais-Carga"horária:-51-horasNúmero"de"créditos:-03"
"
"
Ementa:"
"
Conceitos- Básicos- e- Definições;- Detecção- de- erros- e- recuperação.- Técnicas- de- TF- de- hardware- eSoftware;- Confiabilidade- e- Disponibilidade;- Fundamentos- de- Tolerância- a- Falhas- em- SistemasDistribuídos;- Acordo- Bizantino;- Sincronização- de- Relógios.- Armazenamento- Estável;- Sistemas- deDiagnóstico;-Replicação-de-Dados-e-Programas.Bibliografia:"
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
Afonso,-F.-Fault-Tolerance-for-Real$Time-Embedded-Applications:-An-operating-system-approach-tosupport-fault-tolerance.-LAP-Lambert-Academic-Publishing,-2010.Choudhary-R.,-Raees-A-Khan.-Testing-of-Fault-Tolerance-Techniques:-An-Object-Oriented-SoftwarePerspective.-LAP-LAMBERT-Academic-Publishing,-2010Coulouris,-G.,-Jean-Dollimore,-Tim-Kindberg-and-Gordon-Blair.-Distributed-Systems:-Concepts-AndDesign.-5th-Edition,-Addison-Wesley,-2011.Jalote,-P.-Fault$Tolerance-in-Distributed-Systems,-Prentice-Hall,-1994.Kenneth-P.-Birman.-Guide-to-Reliable-Distributed-Systems:-Building-High$Assurance-Applicationsand-Cloud$Hosted-Services.-Springer,-2012.Kopetz,-Hermann.-Real$Time-Systems.-Design-Principles-for-Distributed-Embedded-Applications.2nd-Ed,-2011.Kumar-Gupta,-S.-Algorithmic-Based-Fault-Tolerance-In-Cloud-Computing:-ABFT-in-CloudComputing.-LAP-LAMBERT-Academic-Publishing,-2012.Raynal,-M.-Communication-and-Agreement-Abstractions-for-Fault$Tolerant-Distributed-Systems.Morgan-and-Claypool-Publishers,-1st-Ed,-2010.Veríssimo-P.;-Rodrigues,-L.-Distributed-Systems-for-System-Architects,-Kluwer-Academic-Publ,-2001.Warns,-T.-Structural-Failure-Models-for-Fault$Tolerant-Distributed-Computing.-Vieweg-andTeubner,-2010.-Wolter,-K.-Stochastic-Models-for-Fault-Tolerance:-Restart,-Rejuvenation-and-Checkpointing.Springer,-2010."
-
59-
•-•-•"
"
21."Tópicos"em"Arquitetura"de"Computadores"I"e"II"
"
"
Ementa:Abordagens- de- temas- atuais,- circunstanciais- e/ou- inovadores- de- problemas- relacionados- à- área- deArquitetura" de" Computadores.- Trata$se- de- disciplina- sem- ementa- permanente.- É- adequada- paraintrodução-de-novos-cursos-não-previstos.Bibliografia:"
A-ser-definida."
"
60-
•-•-•22."Tópicos"em"Banco"de"Dados"I"e"II"
"
"
Ementa:Abordagens- de- temas- atuais,- circunstanciais- e/ou- inovadores- de- problemas- relacionados- à- área- deBanco"de"Dados.-Trata$se-de-disciplina-sem-ementa-permanente.-É-adequada-para-introdução-de-novoscursos-não-previstos."
"
61-
•-•-•23."Tópicos"em"Computação"Visual"I"e"II"
"
"
Ementa:Abordagens- de- temas- atuais,- circunstanciais- e/ou- inovadores- de- problemas- relacionados- à- área- deComputação" Visual.- Trata$se- de- disciplina- sem- ementa- permanente.- É- adequada- para- introdução- denovos-cursos-não-previstos."
"
62-
•-•-•24."Tópicos"em"Engenharia"de"Software"I"e"II"
"
"
Ementa:Abordagens-de-temas-atuais,-circunstanciais-e/ou-inovadores-de-problemas-relacionados-à-Engenhariade- Software.- Trata$se- de- disciplina- sem- ementa- permanente.- É- adequada- para- introdução- de- novoscursos-não-previstos."
"
"
"
63-
•-•-•25."Tópicos"em"Fundamentos"da"Computação"I"e"II"
"
"
Ementa:Abordagens- de- temas- atuais,- circunstanciais- e/ou- inovadores- de- problemas- relacionados- a- Teoria" da"
Computação,"Lógica"ou"Métodos"Formais.-Trata$se-de-disciplina-sem-ementa-permanente.-É-adequadapara-introdução-de-novos-cursos-não-previstos."
"
64-
•-•-•26."Tópicos"em"Inteligência"Computacional"I"e"II"
"
"
Ementa:Abordagens- de- temas- atuais,- circunstanciais- e/ou- inovadores- de- problemas- relacionados- à- área- deInteligência" Computacional.- Trata$se- de- disciplina- sem- ementa- permanente.- É- adequada- paraintrodução-de-novos-cursos-não-previstos."
"
65-
•-•-•27."Tópicos"em"Redes"de"Computadores"I"e"II"
"
"
Ementa:Abordagens- de- temas- atuais,- circunstanciais- e/ou- inovadores- de- problemas- relacionados- à- área- deRedes"de"Computadores.-Trata$se-de-disciplina-sem-ementa-permanente.-É-adequada-para-introduçãode-novos-cursos-não-previstos."
"
66-
•-•-•28."Tópicos"em"Sistemas"de"Informação"e"Web"I"e"II"
"
"
Ementa:Abordagens-de-temas-atuais,-circunstanciais-e/ou-inovadores-de-problemas-relacionados-à-área-de-Web"
e"Sistemas"de"Informação.-Trata$se-de-disciplina-sem-ementa-permanente.-É-adequada-para-introduçãode-novos-cursos-não-previstos."
"
67-
•-•-•29."Tópicos"em"Sistemas"de"Tempo"Real"I"e"II"
"
"
Ementa:Abordagens- de- temas- atuais,- circunstanciais- e/ou- inovadores- de- problemas- relacionados- à- área- deSistemas"de"Tempo"Real.-Trata$se-de-disciplina-sem-ementa-permanente.-É-adequada-para-introduçãode-novos-cursos-não-previstos."
"
"
68-
•-•-•30."Tópicos"em"Sistemas"Distribuídos"I"e"II"
"
"
Ementa:Abordagens- de- temas- atuais,- circunstanciais- e/ou- inovadores- de- problemas- relacionados- à- área- deSistemas"Distribuídos.-Trata$se-de-disciplina-sem-ementa-permanente.-É-adequada-para-introdução-denovos-cursos-não-previstos."
"

Disciplinas do PGCOMP

Transcrição

Documentos relacionados

Liber CantuaLis

Sempre-Encontrar-a-Passagem - promoção de passagens aéreas

Código de Conduta

A ameaça do capital estrangeiro na saúde

Lista das palavras do VOP cuja grafia muda com o Acordo de 1990

ofertas de disciplinas para o 1º semestre de 2012 - Início

Propriedade registrada nas classificações abaixo.

ECOLOGIA APLICADA – GESTÃO E ANÁLISE AMBIENTAL

Clipping Semanal Abrava – 11 de fevereiro de

Disciplina: FUNDAMENTOS FILOSÓFICOS DA EDUCAÇÃO

ANEXO IX EXTENSÃO EM EQUIPAMENTOS NÃO LETAIS-I

Horário Escolar - 2014 - Colégio Estadual do Paraná

BIO109426