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

CE-260/2007 – Fundamentos de Especificação e Projetos Formais
Requisito recomendado: CT-201, CT-202. Requisito exigido: CE-120. Horas
semanais: 3-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 afalhas. 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/2007 – Ontologias e Web Semântica
Requisito recomendado: não há. Requisito exigido: não há. Horas semanais:
3-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; BREITMAN, K. K. Web
Semântica: A Internet do Futuro. – Rio de Janeiro: LTC, 2005; DAVIS, J.;
FENSEL, D.; VAN HARMELEN. F., Towards the semantic Web. John Wiley &
Sons, 2002.
CE-275/2007 - Sistemas Operacionais
Requisito recomendado: não há. Requisito exigido: CE-120. Horas semanais:
4-0-8. Estruturação de sistemas operacionais. Gerenciamento de processos:
modelo e implementação, mecanismos de intercomunicação. Escalonamento
de processos. Escalonamento em sistemas de tempo real. Deadlock.
Gerenciamento de memória. Memória virtual. Gerenciamento de E/S.
Gerenciamento de arquivos. Mecanismos de segurança e proteção. Introdução
a sistemas distribuídos: comunicação e sincronização, alocação de processos
a processadores. Sistemas de arquivos distribuídos. Sistemas operacionais
modernos. Bibliografia: TANENBAUM, A. S., Modern operating
systems..Englewood Cliffs: Prentice-Hall, 1992; BACH, M. J., The design of the
UNIX operating system. Englewood Cliffs: Prentice-Hall, 1986;
SILBERSCHATZ, A. et al., Operating system concepts. 3. ed. Reading: Addison
Wesley, 1991.
CE-276/2007 - Programação para Internet
Requisito recomendado: CES-10. Requisito exigido: não há. Horas semanais:
3-0-6. Arquiteturas de sistemas distribuídos. Protocolo TCP/IP e protocolos de
119