TÓPICOS ESPECIAIS EM SISTEMAS DISTRIBUIDOS

Carga Horária: 60 horas-aula

Ementa:

• Análise, projeto e implementação de sistemas baseados em: componentes de software, Java RMI.
  
• Análise, projeto e implementação de sistemas distribuídos tolerantes a falhas.
  
• Implementação dos conceitos de segurança em sistemas distribuídos.
• Projeto e implementação do compartilhamento de dados e transações distribuídas.
  
• Projeto e implementação de replicação e sistemas distribuídos.
  
• Tolerância a falhas.
  

Bibliografia
COULORIS, G. F. Distributed Systems: Concepts and Design. London: Addison-Wesley, 2nd. ed., 1994.

TÓPICOS ESPECIAIS DE REDES DE COMPUTADORES

Carga Horária: 60 horas-aula

Ementa:

• Gerenciamento de redes: estudo do objeto gerenciado. Processos gerente e agente.
• Gerenciamento OSI.
  
• Gerenciamento Internet (SNMP).
  
• Técnicas avançadas para gerenciamento de redes.
  

Bibliografia
ZELTSERMAN, D.; ZELTSERMAN, D. Practical Guide to SNMPv3 and Network Management. New Jersey: Prentice-Hall, 1999.

TÓPICOS ESPECIAIS EM ENGENHARIA DE SOFTWARE

Carga Horária: 60 horas-aula

Ementa:

• Desenvolvimento de software para aplicações com requisitos especiais: Aplicações Críticas; Software para apoiar o trabalho cooperativo (CSCW – computer supported cooperative work); Aplicações com Requisitos não funcionais.
  
• Técnicas de avaliação e melhoria da qualidade do software: Técnicas Orientadas ao Produto e ao Processo.
• Utilização de novos paradigmas na construção de software.
  
• Influência dos avanços em outras áreas da Sistemas de Informação na Engenharia de Software.
  
• Arquiteturas de Ambientes de desenvolvimento de software.
  

Bibliografia:
HUMPHREY, W. Managing the Software Process. Addison-Wesley, 1989.
HUMPHREY, W. Introduction to the Personal Software Process. Addison Wesley Pub.Co., 1997.
HUMPHREY, W. A Discipline for Software Engineering. Addison-Wesley, 1995.
PAULK, M. et al. The Capability Maturity Model: Guidelines for Improving the Software Process. Addison-Wesley Publishing Co., 1994.
KHOSHAFIAN, S.; BUCKIEWICZ, M. Introduction to Groupware, Workflow and Workgroup Computing. John Wiley & Sons, 1995.

Apostilas:
Engenharia de Software
Engenharia de Software(Livro)
Engenharia_de_software 6a-ed - Roger S. Pressman - portugues-Brasil
Engenharia de Software2
Engenharia de Software3
Software e Engenharia de Software
Introdução a Engenharia de Software
Modelagem
Engenharia de Software e MSDOS
Aula-Introdução Engenharia de Software
Software e a Engenharia de Software

Artigos:
Engenharia de Software em aplicações de Tecnologia da Informação visando maior qualidade nos Sistemas de Informações Gerenciais

TÓPICOS ESPECIAIS EM COMPUTAÇÃO GRÁFICA

Carga Horária: 60 horas-aula

Ementa:

• Inovações tecnológicas decorrentes de pesquisas recentes na área de Computação Gráfica.
  
• Aplicações específicas nesta área, interessando a um grupo restrito ou tendo caráter de temporalidade.
  
• Aspectos específicos da área de Computação Gráfica já abordados anteriormente, mas cobertos superficialmente interessando a um grupo de alunos e sendo objeto de pesquisa recente.
  

Bibliografia:
Indicação varia com o conteúdo definido.

TÓPICOS ESPECIAIS EM BANCOS DE DADOS

Carga Horária: 60 horas-aula

Ementa:

Esta disciplina tem como objetivo apresentar e discutir aspectos avançados de sistemas de bancos de dados, modelos de dados, novas aplicações e estudos de caso. A evolução dos modelos de bancos de dados é focalizada através dos principais conceitos e aplicações de cada geração. É apresentada a necessidade de representação e manipulação de aspectos avançados tais como aspectos temporais, versões, mineração de dados, workflow em diferentes áreas de aplicação. Novas tecnologias de bancos de dados vigentes serão estudadas e analisadas, assim como a influência de novos paradigmas de programação no
desenvolvimento de bases de dados.


Bibliografia:
SILBERSCHATZ, A.; KORTH, H.; SUDARSHAN, S. Sistema de Banco de Dados.. São Paulo: Markon, 3a ed., 1999.
Artigos selecionados de livros e revistas especializadas

SISTEMAS MULTIAGENTES

Carga Horária: 60 horas-aula

Ementa:

• Conceitos básicos.
  
• Características de agentes inteligentes.
  
• Modelos de agentes.
• Resolução Distribuída de Problemas.
  
• Comunicação e Coordenação de Sistemas Multi-Agentes.
  
• Aplicações.
  

Bibliografia:
RUSSEL, S.; NORVIG, P. Artificial Intelligence: a Modern Approach..
Englewood Cliffs: Prentice-Hall, Inc. 1995
BRADSHAW, J. Software Agents. MIT Press, 1997.

MINERAÇÃO DE DADOS

Carga Horária: 60 horas-aula

Ementa:

• Introduzir a teoria sobre a Descoberta de Conhecimento em base de dados apresentando seus conceitos, fases, principais tarefas e algoritmos envolvidos.
  
• Estudo dos conceitos de modelagem de dados para bancos multidimensionais; sistemas OLAP e data warehouse.
  
• Estudo das fases: definição do problema; seleção dos dados; limpeza dos dados; pré-processamento dos dados; codificação dos dados; enriquecimento dos dados; mineração dos dados (Data Mining) e a interpretação dos resultados.
  
• Ênfase Mineração de Dados (Data Mining) e os principais métodos empregados nesta fase: Redes Neurais, AlgoritmosGenéticos e Sistemas Neuro-Fuzzy.
  

Bibliografia:

Fayyad, U. M., Piatetsky Shapiro, G., Smyth, P. & Uthurusamy, R. – "Advances in Knowledge Discovery and Data Mining", AAAIPress, The Mit Press, 1996.
Freitas, A. A., and Lavington, S. H., Mining Very Large Databases with Parallel Processing. Kluwer Academic Publishers. 1998.
Michalewicz, Z. Genetic Algorithms+Data Structures=Evolution Programs, Springer-Verlag-1994.
Constantin Von Altrock, Fuzzy Logic & NeuroFuzzy Applications Explained, Prentice-Hall PTR, 1995.
Joseph P. Bigus, Data Mining with Neural Networks, McGraw-Hill, 1996
Weiss ,S. et Indurkhya N. Predictive Data Mining Morgan Kaufman 1998
Elmasri-Navathe, Fundamentals of Database Systems, Segunda Edição, Addison-Wesley Publishing Company.
W. H. Inmon, Como construir o Data Warehouse, Segunda Edição, Editora Campus.
Turban, E. & Aronson, J. (1998) : Decision-Support Systems and Inteligent Systems, Prentice Hall.
Pyle, D. (1999): Data preparation for data mining, Morgan Kaufmann.
Mitchell, T. (1997): Machine Learning, McGraw-Hill.
Russel, S, & Norvig, P. (1995). Artificial Intelligence: a Modern Approach (AIMA) Prentice-Hall.

MÉTODOS DE ESPECIFICAÇÃO FORMAL

Carga Horária: 60 horas-aula

Ementa:

• Aplicações de métodos formais para a especificação de software de alta complexidade.
  
• Fundamentação teórica e Lambda-Cálculus.
  
• Principais métodos de especificação de propósito geral.
  
• Principais métodos para especificação de sistemas concorrentes, paralelos e distribuídos.
  
• Estudos de caso.

Bibliografia:

COHEN, B.; HARWOOD, W.T.; JACKSON, M.I. The Specification of Complex Systems. Addison-Wesley, 1986.
MENDES, S. AGUIAR, T.C. Métodos para Especificação de Sistemas. São Paulo: Edgard Blücher, 1989.
ISO-Information Processing Systems-Open Systems Interconnection. LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, DIS 8807,1987.
Artigos de periódicos e anais de congressos

INFORMÁTICA NA EDUCAÇÃO

Carga Horária: 60 horas-aula

Ementa:

1. Computador como mediador da construção do conhecimento.
   
2. Evolução e tendências dos ambientes de aprendizagem apoiados por computador. Sistemas de autoria.
   
3. Avaliação e elaboração de softwares educativos.
   

Bibliografia:
ALMEIDA, F. J. Educação e Informática: os Computadores na Escola. São Paulo Cortez, 1995.
PAPER, S. A Máquina das Crianças Repensando a Escola na Era da Informática. Porto Alegre: Artes Médicas, 1994.
Artigos diversos retirados de anais de congresso e Internet.