Metodologia e Tcnicas da Computao

1. Organizao, Estrutura e Operao de Arquivos. Diretrios: Contedo e

Estrutura. Arquivos do Sistema e Sistema de Arquivos Virtuais.
2. Conceito de Processo. Gerncia de Processos/Processador. Comunicao,
Concorrncia e Sincronizao de Processos. Gerenciamento de
Dispositivos de E/S.
3. Verificao, Validao e Testes de Software. Casos de Teste. Tipos de
Teste de Software. Procedimento e cobertura de testes
4. Sistemas de Gerenciamento de Bancos de Dados: Arquitetura,
Segurana, Integridade, Concorrncia, Recuperao aps Falha,
Gerenciamento de Transaes.
5. Manuteno. Documentao. Padres de Desenvolvimento. Reuso.
Engenharia Reversa. Reengenharia. Ambientes de Desenvolvimento de
Software.
6. lgebra e Clculo Relacional. Linguagens de Consulta. Otimizao de
Consultas. Bancos de Dados Distribudos. Minerao de Dados.
7. Metodologia de Desenvolvimento de Algoritmos. Tipos de Dados Bsicos
e Estruturados. Comandos de uma Linguagem de Programao.
Recursividade.
8. Listas Ordenadas, Listas Encadeadas, Pilhas e Filas. rvores e suas
Generalizaes: rvores Binrias, rvores de Busca e rvores
Balanceadas.
9. Paradigmas de linguagens de programao. Semntica formal. Teoria dos
tipos: sistemas de tipos, polimorfismo. Verificao e inferncia de tipos.
10.Sistemas de Banco de Dados. Modelo de Dados. Modelagem e Projeto de
Banco de Dados. Normalizao de Dados