Matriz Curricular Proposta - WWW2 - Udesc

Paulo : Atlas, 2005. 315 p. 6ª ed.Nome da Disciplina: Métodos FormaisEstudo de técnicas formais. Classificação de modelos formais. Concepção de sistemas:especificação, verificação e validação. Apresentação e aplicação de métodos e linguagens deespecificação formal.BibliografiaMENDES, S. Métodos para Especificação de Sistemas.Edgard Blücher Ltda. 1989.TURNER, K. Formal Description Techniques. North Holand. 1989.WOODCOCK, J. C. P. Using standard z: specification, refinement and proof. Prentice-Hall, 1995.Nome da Disciplina: Paradigmas de ProgramaçãoVisão comparativa dos paradigmas de linguagens de programação: imperativo, funcional,lógico, orientado a eventos e orientado a objetos. Noções sobre novos paradigmas. Noçõesde semântica formal. Aplicações.BibliografiaPRATT, T. W., ZELKOVITZ, M. Programming Languages: Design and Implementation.4ª ed. Prentice Hall, 2001. ISBN 0130276782.SEBESTA, R.W. Conceitos de Linguagens de Programação. 5 a ed. Editora Bookman.2003. ISBN 8536301716.VAREJÃO, F.M. Linguagens de Programação. Editora Campus. 2005. ISBN 8535213171.Nome da Disciplina: Pesquisa OperacionalProgramação linear: formulação; solução gráfica; solução algébrica; método simplex;transportes; designação. Programação de projetos: conceitos fundamentais; montagem deredes; análise do caminho crítico, durações probabilísticas. Introdução à Teoria das filas:conceitos fundamentais; solução analítica. Introdução à simulação. Uso do computador parasolução de problemas de pesquisa operacional.BibliografiaEHRLICH, P. J. Pesquisa Operacional. Ed Atlas.PRADO, D. PERT/CPM. Editora DG, 1998.SHAMBLIN, J.E. Pesquisa Operacional, Uma Abordagem Básica. Ed Atlas.Nome da Disciplina: Probabilidade e EstatísticaAnálise Exploratória de Dados. Probabilidades. Variáveis aleatórias discretas e contínuas.Distribuições de Probabilidade Discretas e Contínuas. Distribuições de probabilidadeconjuntas. Estimação de Parâmetros. Testes de hipóteses. Regressão e Correlação.BibliografiaMORETTIN, P.A, USSAB, W. Estatística Básica. Editora Atual. 2003MEYER, Paul L. Probabilidades. Rio de Janeiro: Livros Técnicos e Científicos, 1989SPIEGEL, M.R. Probabilidade e Estatística. Rio de Janeiro: McGraw-Hill do Brasil, 1984.Nome da Disciplina: Processamento de ImagensFundamentos. Operações globais e de vizinhança. Transformadas. Teorema da convolução.Realce. Restauração. Segmentação. Morfologia. Reconhecimento. Compressão. Aplicações.BibliografiaBAXES, G.A. Digital Image Processing: Principles and Applications. 1 st ed. John Wiley eSons, 1994. ISBN 0471009490.DOUGHERTY, E. R.; LOTUFO, R. A. Hands-on Morphological Image Processing, SPIEPress, 2003. ISBN 081944720X.GONZALEZ, R.C.; WOODS, R.E. Processamento de Imagens Digitais. São Paulo, EdgardBlücher, 2000. ISBN 8521202644.