Carga Horaria: 60 horas-aulaEmenta:Analise, projeto e implementacao de sistemas baseados em: componentes de software, Java RMI.Analise, projeto e implementacao de sistemas distribuidos tolerantes a falhas.Implementacao dos conceitos de seguranca em sistemas distribuidos.Projeto e implementacao do compartilhamento de dados e transacoes distribuidas.Projeto e implementacao de replicacao e sistemas distribuidos.Tolerancia a falhas.Bibliografia COULORIS, G. F. Distributed Systems: Concepts and Design. London: Addison-Wesley, 2nd. ed., 1994. Carga Horaria: 60 horas-aulaEmenta:Desenvolvimento de software para aplicacoes com requisitos especiais: Aplicacoes Criticas; Software para apoiar o trabalho cooperativo (CSCW computer supported cooperative work); Aplicacoes com Requisitos nao funcionais.Tecnicas de avaliacao e melhoria da qualidade do software: Tecnicas Orientadas ao Produto e ao Processo.Utilizacao de novos paradigmas na construcao de software.Influencia dos avancos em outras areas da Sistemas de Informacao 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 SoftwareEngenharia de Software(Livro)Engenharia_de_software 6a-ed - Roger S. Pressman - portugues-BrasilEngenharia de Software2Engenharia de Software3Software e Engenharia de SoftwareIntroducao a Engenharia de SoftwareModelagemEngenharia de Software e MSDOSAula-Introducao Engenharia de SoftwareSoftware e a Engenharia de SoftwareArtigos:Engenharia de Software em aplicacoes de Tecnologia da Informacao visando maior qualidade nos Sistemas de Informacoes Gerenciais Carga Horaria: 60 horas-aulaEmenta: A disciplina implementa a proposta de trabalho desenvolvida na disciplina Trabalho de Conclusao de Curso I. Carga Horaria: 60 horas-aulaEmenta:Aplicacoes de metodos formais para a especificacao de software de alta complexidade.Fundamentacao teorica e Lambda-Calculus.Principais metodos de especificacao de proposito geral.Principais metodos para especificacao de sistemas concorrentes, paralelos e distribuidos.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. Metodos para Especificacao de Sistemas. Sao Paulo: Edgard Blucher, 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 periodicos e anais de congressos Carga Horaria: 60 horas-aulaEmenta: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: definicao do problema; selecao dos dados; limpeza dos dados; pre-processamento dos dados; codificacao dos dados; enriquecimento dos dados; mineracao dos dados (Data Mining) e a interpretacao dos resultados.Enfase Mineracao de Dados (Data Mining) e os principais metodos empregados nesta fase: Redes Neurais, AlgoritmosGeneticos 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, 1996Weiss ,S. et Indurkhya N. Predictive