Redes de Computadores I

Introdução. Topologias de redes e a Internet. Arquiteturas e padrões. Camadas do Modelo de Referência da Internet (TCP/IP) - Aplicação, Transporte, Rede e Enlace.

Métodos Numéricos II

Integração Numérica; Diferenciação Numérica; Cálculo de Autovalores e Autovetores de Matrizes; Solução de Problemas de Valores Iniciais de Equações Diferenciais Ordinárias; Solução de Problemas de Valores de Contorno de Equações Diferenciais.

Engenharia de Software I

1. Gerenciamento de projeto; 2. Estimação de custos; 3. Análise e especificação de requisitos; 4. Especificações formais; 5. Interface com o usuário; 6. Modelagem de dados; 7. Técnicas e modelagens para projeto e implementação: arquitetura de projeto, projeto estruturado, projeto orientado a objetos; 8. Gerenciamento de versões e configurações; 9. Verificação: testes, revisões e inspeções; 10. Validação e certificação de qualidade; 11. Manutenção; 12. Documentação.

Paradigmas de Programação

O modelo de computação declarativo; o modelo de computação declarativo concorrente; o modelo de computação com estado; o modelo de computação orientado a objetos.