Dados Gerais

Nome: Computação Móvel

Código: PCC111

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática: 0

Carga Horária Total: 4

Duração / Semana: 18

Nº de Créditos: 6

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

Apresentar diversos aspectos da computação móvel, como propagação de sinais, questões básicas de redes de comunicação sem fio, serviços baseados na localização, protocolos de comunicação, gerência de informação, redes estruturadas e não estruturadas.

Bibliogafias

SCHILLER Mobile Communications, 2, Addison-Wesley, 2003, 321123816
RAPPAPORT, THEODORE S, Wireless Personal Communications, 2, KLUWER ACADEMIC 2007, 792380177
G.R. MATEUS, A.A.F. LOUREIRO, Introdução a Computação Móvel, 1, Computação 1998, 1558605142.

Dados Gerais

Nome: Criptografia e Segurança de Sistemas

Código: PCC112

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática: 0

Carga Horária Total: 4

Duração / Semana: 18

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

Criptografia convencional.

Criptografia com chave pública.

Assinaturas digitais, Funções de hash criptográficas.

Protocolos criptográficos.

Segurança de redes.

Biometria.

Smart cards.

Bibliografias

W. STALLINGS Cryptography and Network Security: Principles and Practic, 4, Prentice Hall, 2006, 131873164
W. TRAPPE, L.C. WASHINGTON, Introduction to Cryptography With Coding Theory ,2, Prentice Hall 2006, 131862391

Dados Gerais

Nome: Projetos de Sistemas Embarcados e de Tempo Real

Código: PCC113

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 45

Carga Horária Prática: 0

Carga Horária Total: 45

Duração / Semana: 18

Nº de Créditos: 3

Carga Horária Semestral (em horas): 45

Carga Horária Semestral (em h.a.): 45

Ementa

Microcontroladores e plataformas de desenvolvimento. Requisitos de sistemas. Projeto de sistema embarcado. Técnicas de programação de microcontroladores, de simulação de projetos, de desenvolvimento de hardware e de criação de sistemas supervisórios. Sistemas operacionais de tempo real para sistemas embarcados.

Bibliografia

Bibliografia básica:

BLUM, Jeremy. Exploring Arduino: Tools and Techniques for Engineering Wizardry.John Wiley & Sons, 2013.
IBRAHIM, Dogan. Microcontroller based applied digital control. John Wiley, 2006.
Lee, E. A., & Seshia, S. A. Introduction to embedded systems: A cyber-physical systems approach. Mit Press, 2016.

Dados Gerais

Nome: Sistemas Distribuídos

Código: PCC114

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática: 0

Carga Horária Total: 4

Duração / Semana: 18

Nº de Créditos: 6

Carga Horária Semestral (em horas): 90

Carga Horária Semestral (em h.a.): 72

Ementa

Arquitetura de sistemas distribuídos, modelos e classificação.

Caracterização da comunicação de processos. 

Algoritmos Distribuídos. Clustering, Disponibilidade e Tolerância a falhas.

Componentes de negócio em aplicação distribuída.

Arquiteturas Orientadas a Serviços.

Bibliografias

Andrew S. Tanenbaum e Maarten Van Steen, Sistemas Distribuídos: princípios e paradigmas, 5, Pearson 2007 8576051427
George Coulouris, Jean Dollimore, Tim Kindberg Distributed Systems: Concepts and Design 5 Addison Wesley 2011 0132143011

Dados Gerais

Nome: Sistemas Embutidos

Código: PCC115

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática: 0

Carga Horária Total: 4

Duração / Semana: 18

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

Características e projeto de sistemas embutidos.

Técnicas para especificação e refinamento.

Linguagens, ferramentas e técnicas de projeto.

Microcontroladores e Microprocessadores, DSPs, FPGAs e CPLDs.

Periféricos.

Comunicação e Interfaces.

Aplicações de sistemas embutidos.

Projeto de sistemas embutidos.

Bibliografias

T. NOERGAARD Embedded Systems Architecture Elsevier 2005 750677929
F. VAHID, T. GIVARGIS Embedded System Design: A Unified Hardware/Software Introduction John Wiley & Sons 2002 471386782

Dados Gerais

Nome: Geoprocessamento e Sistemas de Informação Geográfica

Código: PCC141

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática: 0

Carga Horária Total: 4

Duração / Semana: 18

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

Introdução ao Geoprocessamento.

Conceitos básicos: Espaço, Tempo, Escala, Modelo.

Modelos conceituais do espaço geográfico.

Modelos computacionais para representações geográficas.

Ontologias geográficas.

Exemplos de aplicações.

Introdução ao Sensoriamento Remoto e SIG: sensores remotos, imagens de sensores remotos, ferramentas para processamento.

Banco de Dados geográficos: Modelagem de BD geográficos, Desenvolvimento de BD geográficos em ferramentas livres e gratuitas (SPRING & TerraLib), Interoperabilidade de dados geográficos.

Sistemas de Informação Geográfica - SIG: Arquiteturas de SIG, Cartografia para SIG, Estruturas de Dados em SIG, Desenvolvimento de aplicações SIG (TerraLib).

Bibliografias

G. CÂMARA, C. DAVIS, A.M. MONTEIRO, J.C. D'ALGE Introdução à Ciência da Geoinformação, 2 INPE, 2001 0-13-336165-9
M.S. CARVALHO, M.F. DE PINA, S.M. DOS SANTOS Conceitos básicos de sistemas de informação geográfica e cartografia aplicados à Saúde 1 OPAS / Ministério da Saúde 2000 8587943014

Dados Gerais

Nome: Programação Paralela

Código: PCC117

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática: 0

Carga Horária Total: 4

Duração / Semana: 18

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

Introdução à programação paralela.

Modelos de arquiteturas paralelas.

Medidas de desempenho das aplicações paralelas.

Complexidade de Programas Paralelos.

Exploração do paralelismo em programas: implícita e explícita.

Paradigmas de programação paralela: trocas de mensagens e memória compartilhada.

Escrita de programas paralelos.

Bibliografias

J. DONGARRA, I. FOSTER, G.C. FOX, W. GROPP, K. KENNEDY, L. TORCZON, A. WHITE The Sourcebook of Parallel Computing 1 Morgan, 2002 1558608719
A. GRAMA, G. KARYPIS, V. KUMA, A. GUPTA Introduction to Parallel Computing 2 Addison-Wesley 2003 201648652
M.J. QUINN Parallel Computing: Theory and Practice 1 McGraw-Hill College 1993 70512949

Dados Gerais

Nome: Engenharia de Software

Código: PCC108

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática:

Carga Horária Total:

Duração / Semana:

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

Introdução a ambientes de Desenvolvimento e bibliotecas.

Conceitos e princípios fundamentais de projeto.

 Qualidade de software: confiabilidade, manutenabilidade, usabilidade e
desempenho.

Desenvolvimento modular: conceitos de fraco acoplamento, alta coesão,
 encapsulamento de informação e eficiência.

Reuso: Projeto para reuso. Programação Genérica.

Gestão de Projeto de Software: concepção, elaboração,.construção, teste  e implantação. Metodologia PMI. Processo de Desenvolvimento: modelos em cascata, modelo de prototipagem, modelo em espiral:ciclico e incremental. O modelo RUP e seus artefatos de software.

Arquitetura de software: monolitica, camadas, cliente-servidor, distribuída.

Estudo de caso: arquiteturas dos sistemas Linux DNA, Windows, Pilha de Protocolos TCP/IP, Java RMI.

Uso das (APIs) amplamente utilizadas na indústria de software.

Bibliografias

Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides Design Patterns: Elements of Reusable Object-oriented Software, 0201633612

Roger Pressman, MacGraw Hill Engenharia de Software, 2006

Sommerville, Ian Engenharia de Software & Addison Wesley, Mark Summerfield Advanced Qt Programming: Creating Great Software with C++ and Qt 4

Grady Booch, James Rumbaugh, Ivar Jacobson Unified Modeling Language User Guide 2 2005 0321267974

Martin Fowler UML Distilled: A Brief Guide to the Standard Object Modeling Language (Object Technology Series) 2003 0321193687

Dados Gerais

Nome: Modelagem e Simulação dos Sistemas Terrestres

Código: PCC118

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática:

Carga Horária Total:

Duração / Semana: 18

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

Introdução a Modelagem Computacional de Fenômenos Geográficos.

Fundamentação teórica: modelos matemático-computacionais, o processo de modelagem, simulação de processos, ciência dos sistemas terrestres.

Modelos espaciais dinâmicos: definição, taxonomia, metodologia de desenvolvimento, verificação, calibração e validação. Conceitos básicos: escala, espaço, tempo e comportamento.

Representação computacional: escala, espaço, tempo e comportamento.

Teorias e Ferramentas Livres de suporte a modelagem ambiental: teoria de sistemas, teoria dos autômatos celulares, teoria de agentes.

Modelagem de sistemas terrestres em múltiplas escalas: requisitos, integração a sistemas de informação geográfica, plataformas de desenvolvimento.

Aplicações: modelos hidrológicos, modelos climáticos,  modelos de dinâmica populacional, modelos de mudança de uso e cobertura da Terra, modelos de dispersão de espécie, modelos atmosféricos, modelos epidemiológicos, modelos econométricos.

Inferência Estatítica, Probabilidade e Análise Espacial aplicadas à modelagem de Sistemas Terrestres.

Bibliografias

Wainright, J., Mulligan, M. Environmental Modeling: finding simplicity in Complexity 1 John Wiley and Sons Ltd 2004 1558608719

Odum, H. T., Odum, E.C Modeling for all Scales: A Introduction to System Simulation, Academic Press, Inc 2004

Odum, H. T., Odum, E.C Modeling for all Scales: A Introduction to System Simulation, Academic Press, Inc 2004

Dados Gerais

Nome: Lógica Aplicada a Computação

Código: PCC116

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática:

Carga Horária Total:

Duração / Semana: 18

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

1. Lógica de primeira ordem, o algoritmo DPLL e uso de SAT e SMT solvers.
2. Lógica intuicionista e teoria de tipos. Uso de assistentes de prova.
3. Indução e co-indução e seu uso para verificação de programas.
4. Lógica Temporal e verificação de modelos.Aulas

Bibliografias

Básica

1) HUTH, MICHAEL; RYAN, MARK. Lógica para ciência da computação: Modelagem e Argumentação sobre
sistemas. 2a edição, LTC, 2008.
2) BERTOT, YVES; CASTERRÁN, PIERRE. Interactive Theorem Proving and Program Development: The
Coq'Art – The calculus of inductive constructions. 1a edição. Springer-Verlag. 2002.

3) MITCHEL, JOHN. Foundations for Programming Languages, MIT Press, 1996.

Bibliografia Complementar

1) BIERE, ARMIN; HEULE, MARTIN. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence
and Applications, 1a edição, IOS Press.
2) CLARKE, EDMUND; GRUMBERG, ORNA. Model Checking, 1a edição, MIT Press, 1999.
3) BAIER, CHRISTEL; KATOEN, JOOST-PIETER. Principles of Model Checking. 1a edição. MIT Press. 2008.
4) SANGIORGI, DAVID. Introduction to Bisimulation and Coinduction, 1a edição. Cambridge University Press.
2011.

Dados Gerais

Nome: Interface de Usuário Avançada para Computação Vestível

Código: PCC123

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática: 0

Carga Horária Total: 4

Duração / Semana: 18

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

1. Wearable Computing Introdução
1.1.Conceitos
1.2.Wearable x IoT
1.3.Desafios
1.4.Requisitos de sistemas wearables
1.5.Tecnologias Disponíveis
2. Wearable sensores
2.1. Principais sensores baixo custo
2.2. E-Textiles
2.3. Sensores Passivos
2.4. Sensores Inteligentes
3. Hardware e software para processamento Wearable
3.1.Sistemas embarcados wearable
3.2.Aprendizado de Máquina sobre a perspectiva Wearable
4. Wearable e a Interface-Homem Máquina
4.1.Interfaces não visuais
4.1.1.Interfaces Audíveis
4.1.2.Haptic Feedback
4.2.Principais Gadgets para visualização 2D
4.3. Realidade Virtual, Realidade Aumentada e Realidade Mixa
4.4.Head Mounted Displays (HMD)
4.4.1.Video-See-Through
4.4.2.Optical-See-Through
4.4.3. Construa seu próprio HMD
4.4.4.Principais tecnologias disponíveis(Ex: Google Cardboard e Daydream, Samsung VR)
4.5.Interfaces 3D
4.5.1. Rotação, Translação, Escala , Matriz de representação
4.5.2.Introdução ao Unity 3D e outras ferramentas de modelagem
4.6. Interagindo com o mundo real
4.6.1. Introdução às câmeras de profundidade (Câmeras 3D)
4.6.2. Simultaneous localization and mapping (SLAM)
4.6.3. Reconhecendo gestos de usuários
5. Casos de Estudo (Não limitado aos listados)
5.1. Wearable para saúde
5.2. Wearable e esportes
5.3. Wearable em cidades inteligentes
5.4. Wearable na indústria
5.5. Wearable em sistemas ecológicos
5.6. Wearable para portadores de necessidades especiais
5.7. Wearable como ferramenta de suporte ao ensinoBibliografias

Bibliografia

Bibliografia Básica
Delabrida Silva, S. E., Rabelo Oliveira, R. A., & Loureiro, A. A. (2018). Examining Developments and Applications of Wearable Devices in Modern Society (pp. 1-275). Hershey, PA: IGI Global.
Doug A. Bowman, Ernst Kruijff, Joseph J. LaViola, and Ivan Poupyrev. 2004. 3D User Interfaces: Theory and Practice. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA.
H. Raad. The Wearable Technology Handbook. United Scholars Publication, 2017. ISBN 9780692847121.

BIBLIOGRAFIA COMPLEMENTAR
CAMACHO JÚNIOR, Carlos Olavo de Azevedo. Desenvolvimento em camadas com C#.Net. Florianópolis (SC): Visual Books, 2008. 202 p. ISBN 9788575022429 (broch.).
DEITEL, Harvey M.; DEITEL, Paul J. Java: como programar . 6. ed. São Paulo: Prentice-Hall, c2005. 1110 p. ISBN 8576050193.
LECHETA, Ricardo R. Google Android: aprenda a criar aplicações para dispositivos móveis com o Android SDK. 3. ed. São Paulo: Novatec, 2013. 821 p. ISBN 9788575223444 (broch.).
Alex Okita. 2014. Learning C# Programming with Unity 3D (1st ed.). A. K. Peters, Ltd., Natick, MA, USA.
Steve Aukstakalnis, Practical Augmented Reality: A Guide to the Technologies, Applications, and Human Factors for AR and VR (Usability) 1st Edition by Steve Aukstakalnis

Dados Gerais

Nome: Rede de Computadores

Código: PCC122

Departamento: Computação

Unidade: Instituto de Ciências Exatas e Biológicas - ICEB

Carga Horária Teórica: 4

Carga Horária Prática: 0

Carga Horária Total: 4

Duração / Semana: 18

Nº de Créditos: 4

Carga Horária Semestral (em horas): 60

Carga Horária Semestral (em h.a.): 72

Ementa

1- Introdução a redes de computadores;

2- Camada de aplicação;

3 - Camada de transporte/ camada de rede;

4 - Camada de enlace;

5 - Camada física;

6 - Tópicos avançados em redes de computadores.

Bibliografia básica:

TANENBAUM, Andrew S.; WETHERALL, David. Redes de computadores. 5. ed. São Paulo: Pearson, 2011.
KUROSE, James F; ROSS, Keith W. Redes de computadores e a Internet: uma abordagem top-down. 5. ed. São Paulo: Pearson Addison Wesley, 2010.
BRITO, S. H. B. IPv6: O Novo Protocolo da Internet. Editora Novatec, 2013.

Bibliografia complementar:

TORRES, Gabriel. Redes de computadores. Rio de Janeiro: Novaterra, 2010.
ALENCAR, M. S. de. Engenharia de Redes de Computadores. Editora Érica, 2012.
SIEVER, Ellen. Linux: o guia essencial; Editora Campus, 2000.
MOTA FILHO, J. E.; Análise de Tráfego em Redes TCP/IP. Editora Novatec, 2013.
MURTHY, C. Siva Ram; MANOJ, B. S. Ad Hoc wireless networks: architectures and protocols. Upper Saddle River, NJ: Prentice Hall PTR, 2004.
SHIMONSKI, R.. Wireshark Guia Prático: Análise e Resolução de Problemas de Tráfego de Rede. Editora Novatec, 2013.