Catálogo 2008 - Pós-Graduação - ITA
Catálogo 2008 - Pós-Graduação - ITA
Catálogo 2008 - Pós-Graduação - ITA
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CE-260/<strong>2008</strong> – Fundamentos de Especificação e Projetos Formais<br />
Requisito recomendado: CT-201, CT-202. Requisito exigido: CE-120. Horas<br />
semanais: 3-0-6. Semântica de programas determinísticos e que terminam:<br />
variáveis, estados, predicados de estados. Lógica de Hoare. Cálculo de<br />
transformadores de predicados. Introdução ao não-determinísmo. Aspectos de<br />
programas que não terminam. Introdução à UTP (Unified Theory of<br />
Programming). Refinamento de programas. Programas concorrentes: Modelo<br />
de programas concorrentes baseados em estados entrelaçados. Especificação,<br />
verificação e refinamento na Lógica Temporal de Ações. Introdução a tempo<br />
real. Introdução à tolerância afalhas. Bibliografia: BERG, H. K. et al., Formal<br />
methods of program verification and specification. Englewoood Cliffs: Prentice-<br />
Hall, 1992; NIELSON, H. R.; NIELSON, F., Semantics with applications: a<br />
formal introduction. John Wiley & Sons, 1992; JONES, C. Systematic software<br />
development using VDM. Prentice-Hall, 1991.<br />
CE-262/<strong>2008</strong> – Ontologias e Web Semântica<br />
Requisito recomendado: não há. Requisito exigido: não há. Horas semanais:<br />
3-0-6. Linguagens para Web Semântica (XML, RDF, SHOE e OWL); papel e<br />
desenvolvimento de ontologias; aquisição e representação de conhecimento,<br />
raciocínio com ontologias; integração de diferentes fontes de dados; agentes<br />
para a Web Semântica; web services semânticos; processo de<br />
desenvolvimento de aplicações para a Web Semântica; implementação de<br />
aplicações. Bibliografia: ANTONIOU, G. e VAN HARMELEN. F., A Semantic<br />
Web Primer. MIT Press, Cambridge, MA, 2004; BREITMAN, K. K. Web<br />
Semântica: A Internet do Futuro. – Rio de Janeiro: LTC, 2005; DAVIS, J.;<br />
FENSEL, D.; VAN HARMELEN. F., Towards the semantic Web. John Wiley &<br />
Sons, 2002.<br />
CE-275/<strong>2008</strong> - Sistemas Operacionais<br />
Requisito recomendado: não há. Requisito exigido: CE-120. Horas semanais:<br />
4-0-8. Estruturação de sistemas operacionais. Gerenciamento de processos:<br />
modelo e implementação, mecanismos de intercomunicação. Escalonamento<br />
de processos. Escalonamento em sistemas de tempo real. Deadlock.<br />
Gerenciamento de memória. Memória virtual. Gerenciamento de E/S.<br />
Gerenciamento de arquivos. Mecanismos de segurança e proteção. Introdução<br />
a sistemas distribuídos: comunicação e sincronização, alocação de processos<br />
a processadores. Sistemas de arquivos distribuídos. Sistemas operacionais<br />
modernos. Bibliografia: TANENBAUM, A. S., Modern operating<br />
systems..Englewood Cliffs: Prentice-Hall, 1992; BACH, M. J., The design of the<br />
UNIX operating system. Englewood Cliffs: Prentice-Hall, 1986;<br />
SILBERSCHATZ, A. et al., Operating system concepts. 3. ed. Reading: Addison<br />
Wesley, 1991.<br />
CE-276/<strong>2008</strong> - Programação para Internet<br />
Requisito recomendado: CES-10. Requisito exigido: não há. Horas semanais:<br />
3-0-6. Arquiteturas de sistemas distribuídos. Protocolo TCP/IP e protocolos de<br />
117