Catálogo 2009 - Pós-Graduação - ITA

Data Mining - DM. Sistemas de Informações Empresariais: Processos gerenciais e
sistemas; necessidades de informações organizacionais; Planejamento e vínculo com as
tecnologias da informação; Política organizacional e implicações com sistemas;
valorização e qualidade dos sistemas de informação. Tópicos Avançados em Banco de
Dados: Bancos de Dados XML; Nativamente OO; Georreferenciados; Apoiados em
Programação Ágil; Orientados a Aspectos; e Quânticos. Bibliografia: O´BRIEN, A.,
Sistemas de Informação e as Decisões Gerenciais na Era da Internet Saraiva, 2. ed.,
2004. - (ISBN: 8502044079); MCLEOD JR., R., Management Information Systems,
Prentice Hall, 8ª Ed. 2001. - (ISBN: 0130192376); HABERKORN, E., Teoria da ERP,
Microsiga Intelligence, 2. ed., 2005. (ISBN: 8590395111).
CE-260/2009 - Fundamentos de Especificação e Projetos Formais
Requisito recomendado: CT-201, CT-202. Requisito exigido: CE-120. Horas
semanais: 3-0-0-6. Semântica de programas determinísticos e que terminam: variáveis,
estados, predicados de estados. Lógica de Hoare. Cálculo de transformadores de
predicados. Introdução ao não-determinísmo. Aspectos de programas que não terminam.
Introdução à UTP (Unified Theory of Programming). Refinamento de programas.
Programas concorrentes: Modelo de programas concorrentes baseados em estados
entrelaçados. Especificação, verificação e refinamento na Lógica Temporal de Ações.
Introdução a tempo real. Introdução à tolerância falhas. Bibliografia: BERG, H. K. et
al., Formal methods of program verification and specification. Englewoood Cliffs:
Prentice- Hall, 1992; NIELSON, H. R.; NIELSON, F., Semantics with applications: a
formal introduction. John Wiley & Sons, 1992; JONES, C. Systematic software
development using VDM. Prentice-Hall, 1991.
CE-262/2009 - Ontologias e Web Semântica
Requisito recomendado: não há. Requisito exigido: não há. Horas semanais: 3-0-
0-6. Linguagens para Web Semântica (XML, RDF, SHOE e OWL); papel e
desenvolvimento de ontologias; aquisição e representação de conhecimento, raciocínio
com ontologias; integração de diferentes fontes de dados; agentes para a Web
Semântica; web services semânticos; processo de desenvolvimento de aplicações para a
Web Semântica; implementação de aplicações. Bibliografia: ANTONIOU, G. e VAN
HARMELEN. F., A Semantic Web Primer. MIT Press, Cambridge, MA, 2004;