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

Televisão interativa baseada em PCs. Bibliografia: COVELL, A., Digital
Convergence: How the Merging of Computers, Communications and Multimedia
is Transforming Our Lives. Aegis Pub Group; ISBN: 1890154164, 1999;
YOFFIE, D.B. Competing in the Age of Digital Convergence. Harvard Business
School Press; ISBN: 0875847269, 1997; VINCE, J., EARNSHAW, R., Digital
Convergence: The Information Revolution. Springer Verlag; ISBN:
1852331402, 1999.
CE-292/2007 – Computação Social
Requisito recomendado: não há. Requisito exigido: não há. Computação
Social. Conceitos de Sociologia, Etnografia, e Antropologia. Novos paradigmas
da computação: fundamentos da computação móvel, pervasiva, ubíqua, e
tangível. Fundamentos da computação ciente de contexto. Fundamentos do
conceito de experiência. A tecnologia como experiência. Espaços e interações
sociais. Questões técnicas e não-técnicas no projeto, desenvolvimento e
avaliação destes sistemas. Bibliografia: DONATH, J., Sociable Media. The
encyclopedia of human-computer interaction. BAINBRIDGE, S. W. (ed),
Berkshire Publishing Group, 2004; DOURISH, P., Where the action is: the
foundations of embodied interaction. London, England: MIT Press, 2001;
MCCARTHY, J., WRIGHT, P., Technology as experience. Cambridge,
Massachusetts: MIT Press, 2004.
CE-295/2007 – Segurança de Sistemas de Informação
Requisito recomendado: CE-276 e Ce-281. Requisito exigido: não há. Horas
semanais: 3-0-6. Conceituação de segurança de sistemas de informação.
Segurança de computadores. Configuração segura de sistemas operacionais.
Segurança de redes. Firewalls. Monitoração de redes. Sistemas de detecção
de intrusão. Monitores de ataques (Honeypots e Honeynets). Bibliografia:
GARFINKEL, S.; SPAFFORD, G.; SCHWARTZ, A., Practical Unix & Internet
Security, 3. ed. O´Reilly Media, 2003; NORTHCUTT, S.; ZELTSER, L.;
WINTERS, S.; FREDERICK, K.K.; RITCHEY, R.W., Inside the Ntework
Perimeter Security. New Riders, 2003; ZWICKY, E.D.; COOPER, S.;
CHAPMAN, D.B. Building Internet Firewalls, 2. ed. O´Reilly Media, 2000.
CT-200/2007 - Fundamentos de Autômata e Linguagens Formais
Requisito recomendado: não há. Requisito exigido: não há. Horas semanais: 3-
0-6. Revisão de tópicos de Álgebra. Autômata finitos e expressões regulares.
Propriedades dos conjuntos regulares, análise e síntese de autômata.
Linguagens e gramáticas. Linguagens regulares, livres de contexto, sensíveis
ao contexto e tipo-0. Máquinas de Turing e seus modelos restritos.
Decidabilidade. Análise sintática e tradução orientada pela sintaxe. Introdução
a compiladores. Bibliografia: HOPCROFT, J. E.; ULLMAN, J. D., Introduction
to automata theory - languages and computation. New York: Addison-Wesley,
1979; HARRISON, M. A., Introduction to formal language theory. New York:
Addison-Wesley, 1978; DROBOT, V., Formal languages and automata theory.
New York: Computer Science Press, 1989.
123