Therezinha Souza da Costa

Inglês

Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Espanhol

Fala Bem, Lê Bem, Escreve Bem.

Francês

Fala Pouco, Lê Bem, Escreve Pouco.

Alemão

Fala Pouco, Lê Pouco, Escreve Pouco.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.

II Simpósio Brasileiro de Sistemas de Informação.Membro do Comitê de Programa-II Simpósio Brasileiro de Sistemas de Informação. 2005. (Simpósio).

WEI-Worshop de Educação em Informática.Membro do Comitê de Programa do WEI 2005. 2005. (Oficina).

Workshop em Educação em Informática da regional SBC do Espírito Sanro e Rio de Janeiro.Conferência: Licenciatura em Computação e Informática , WEI/ RJ - ES. 2005. (Oficina).

Congresso Nacional da SBC.Coordenação do Curso de Qualidade 2004 - SBC. 2004. (Simpósio).

Congresso Nacional da SBC.Coordenação do Curso de Qualidade 2003 da SBC. 2003. (Simpósio).

Congresso nacional da SBC.Coordenação do Curso de Qualidade 2002 da SBC. 2002. (Simpósio).

Congresso da SBC. Membro do Comitê de Programa do Congresso da SBC. 1999. (Congresso).

Congresso da SBC.Membro do Comitê de Programa do WEI 1999. 1999. (Oficina).

Congresso da SBC.Coordenação do Concurso de Iniciação Científica da SBC. 1999. (Outra).

Congresso da SBC.Coordenadora do WEI 98 - Workshop de Educação em Informática. 1998. (Oficina).

Seminário sobre novas perspectivas na Universidade.Perspectivas para a Modernização dos Cursos de Informática e de Engenharia. 1996. (Seminário).

Congresso da SBC.Membro do Comitê de Programa do WEI 95. 1995. (Oficina).

Reunião regional da SBMAC.Fatores Teóricos e Estratégias para a Seleção de Passo e Ordem em EDO´s. 1994. (Outra).

reunião Regional da SBMAC.Resolução de EDO´s usando Formulação Recursiva de Ortiz. 1994. (Outra).

2o. Encontro da Mulher na Ciência e Tecnologia.coordenadora do 2o. Encontro da Mulher na Ciência e Tecnologia. 1993. (Encontro).

Encontro das Mulheres em Ciência e Tecnologia do Rio de Janeiro.Coodernação do Primeiro Encontro da Mulheres em Ciência e Tecnologia do Rio de Janeiro. 1991. (Encontro).

Primeiro Congresso de Iniciação Científica da UFRJ. Ensino de Graduação x Ensino de Pós-Graduação. 1988. (Congresso).

The 1988 Conference on the Numerical Solution of ODE´s. Adams Type Cyclic Methods. 1988. (Congresso).

Seminário sobre Solução Numérica de Equações Diferenciais.Métodos Lineares para a Solução de EDO´s. 1987. (Seminário).

Congresso de Iniciação Científica. Coordenação do Congresso de Iniciação Científica do CTC da PUC-Rio. 1986. (Congresso).

Seminário sobre Recursos Humanos em Informática.A Importância da Formação Básica para a Formação de Recursos Humanos em Informática. 1986. (Seminário).

Seminário sobre a Pós-Graduação em Análise Numérica.Visão Atual da Análise Numérica. 1986. (Seminário).

Seminário sobre Informática na Sociedade.Plano de Informatização das Universidades. 1986. (Seminário).

Seminário Latino Americano de Informática.A Formação de Recursos Humanos em Informática. 1984. (Seminário).

Quinto Encontro da ASSESPRO.O Ensino da Informática na Universidade Brasileira. 1984. (Encontro).

Seminário Sobre o Ensino Técnico de Informática.Situação do Ensino de Informática no País. 1983. (Seminário).

Congresso de Iniciação Científica. Coordenação do Congresso de Iniciação Científica da SBMAC. 1982. (Congresso).

2o. Seminário Nacional de Cálculo Numérico.Um Estudo da Região de Estabilidade de Particulares Métodos Cíclicos. 1979. (Seminário).

6a. Conferência Latino-Americana de Informática.Contribuições para um Programa de Pós-Graduação em Informática. 1979. (Outra).

Simpósio sobre o Terinamento de Físicos.Solução Numérica de EDO´s. 1972. (Simpósio).

1o. Simpósio Nacional de Cálculo Numérico.Comentários sobre o Curso de Cálculo Numérico. 1972. (Simpósio).

Congresso Nacional da SUCESO. Solução de Equações Diferenciais Por Métodos Particulares de Predição- Correção.. 1971. (Congresso).

COSTA, T. S.. O Empreendedorismo no Ensino da Engenharia. 1999. Dissertação (Mestrado em Tecnologia) - Universidade Tecnológica Federal do Paraná.

COSTA, T. S.. Análise de Arredondamentos Gerados pelos Processos Computacionais. 1981. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

COSTA, T. S.. Desenvolvimento de um Simulador Numérico de Escoamento Trifásico em Reservatórios de Petróleo. 1981. Dissertação (Mestrado em Engenharia Mecânica) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Um Modelo Numérico para o escoamento de Fluídos Multicomprensíveis em Meios Porosos. 1981. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Aplicações de Métodos Cíclicos a Equações Stiff. 1980. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Desenvolvimento Estruturado de Sistemas Interativos. 1980. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Galvez. estudo comparativo de duas Linguagens de Simulação Contínua CSMP/360 e DYNAMO II. 1976. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Sobre a Formulação Velocidade-Vorticidade do Sistema de Stokes e sua Aproximação. 1995. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Resolução das Equações de Navier stokes pelo Método das Projeções via Elementos Finitos. 1995. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.; SANTOS, V. R. B.; BARAGER, J.. Método de Elementos Finitos Otimizado para o Sistema de Stokes Associado a Problemas de Viscosidade. 1991.

COSTA, T. S.. A Ortogonalidade nas Condições Simplificadoras de Ordem dos Métodos de Runge-Kutta. 1990 - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Análise da Estabilidade de Sistemas de Potência de Grande Porte. 1990. Tese (Doutorado em Matemática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Estabilidade na Presença de Mudança de Passo e Métodos Stiff-estáveis Insensíveis à Mudança. 1988. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Resolução Numérica do Problema de Stokes em Formulação Potencial Vetor por um Método de Elementos Finitos. 1988. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Sobre a Construção de Funções de Green e Caracterização do problema de Valor de Contorno com Propriedades de Monotonia. 1988. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Um Método de Elementos Finitos do Tipo Hermite para a solução de Problemas de Stokes em Formula~ção Potencial Vetor. 1988. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Exame de Qualificação. 1997. Exame de qualificação (Doutorando em Engenharia Civil) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Exame de Qualificação. 1995. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Exame de Qualificação. 1990. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Exame de Qualificação. 1988. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Exame de Qualificação. 1988. Exame de qualificação (Doutorando em Letras) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Exame de Qualificação. 1988. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.. Exame de Qualificação. 1988. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

COSTA, T. S.; COPSTEIN, B.. Avaliação do Curso de Sistemas de Informação das Faculdades Integradas Santa Cruz de Curitiba. 2005. Faculdades Integradas Santa Cruz de Curitiba.

COSTA, T. S.; VAREJAO, F.. Avaliação do Curso de Licenciatura em Computação- UNICSUUL, São Paulo/SP. 2004. Universidade Cruzeiro do Sul.

COSTA, T. S.; BICHINHO, G. L.. Avaliação do Curso de Ciência da Computação - UNIVALE, Gov. Valadares /MG. 2003. Universidade Vale do Rio Doce.

COSTA, T. S.; MAIA, M.. Avaliação do Curso de Ciência da computação da Faculdade de Ciências Humanas de Aracruz /ES. 2003.

COSTA, T. S.; LOPES, C. R.. Avaliação do curso de Ciência da Computação Centro Universitário Barão de Mauá, Ribeirão Preto / SP. 2003.

COSTA, T. S.; REZENDE, L.. Avaliação do Curso de Sistemas de Informação da Faculdade de Ji-Paraná /. 2003.

COSTA, T. S.. Avaliação do Curso de Sistemas de Informação da FACIMP, Imperatriz / MA. 2002.

COSTA, T. S.; REIS, R. A. L.. Avaliação do Curso de Ciência da Computação da Faculdade de Jaguariuna, São Paulo/SP. 2001.

COSTA, T. S.. Avaliação do Curso de Sistemas de Informação da ULBRA, Palmas/TO. 2001.

COSTA, T. S.; PENTEADO, R. A. D.. Avaliação do Curso de Bacharelado em Sistemas de Informação em Santa Rita do Sapucaí - MG. 2001.

COSTA, T. S.; PENTEADO, R. A. D.. Avaliação do Curso de Bacharelado em Análise de Sistemas da FACEPAL, Palmas/PR. 2001.

COSTA, T. S.; SOUZA, J. N.. Avaliação do Curso de Bacharelado em Sistemas de Informação da FACIMP, Imperatirz/MA. 2001.

COSTA, T. S.. Avaliaçaõ do Curso de Ciência da Computação da UFSC. 2000.

COSTA, T. S.; ALUIS, S. M.. Avaliação do Curso de Bacharelado em Sistema de Informação em Cachoeiro de Itapemirim / ES. 2000.

COSTA, T. S.; BERTOLOZZI, F.; BERTOL, N. M.. Avaliação do curso de Ciência da Computação da UFGO/Catalão. 2000.

COSTA, T. S.; SANTANA, M. J.; BERTOLOZZI, F.. Avaliação do Curso de Ciência da Computação da Fundação Univ.do Amazonas. 2000.

COSTA, T. S.; BURNET, R.. Autorização do Curso de Licenciatura em Informática da Faculdade Natalense para o Desenvolvimento do Rio Grande do Norte / RN. 2000.

COSTA, T. S.; BURNET, R.; REIS, R. A. L.. Avaliação do Curso de Ciência da Computação da UFSe/Aracaju. 2000.

COSTA, T. S.; AZEREDO, P. A.; A.KAEST, C. A.. Avaliação do Curso de Bacharelado em Ciência da Computação da Universidade Federal de São Carlos, SP. 2000.

COSTA, T. S.. Avaliação do Curso de Sistemas de Informção da ADEC, Foz do Iguaçu / PR. 2000.

COSTA, T. S.; MAZZOLA, V. B.. Avaliação do Curso de Licenciatura em Computação - Instituto de Ensino Superior COC. 1999.

COSTA, T. S.; MUCHERONI, M. L.. Avaliação do Curso de Bacharelado em Sistemas de Informação- Faculdades Kennedy, Monlevade / MG. 1999.

COSTA, T. S.; SANTANA, R. C.. Avaliação do Curso de Informática da ULBRA/Santarém-PA. 1999.

COSTA, T. S.. Avaliação do Curso de Ciência da computação da UNICRUZ, Cruz Alta / RGS. 1999.

COSTA, T. S.; CAMARGO, M. S.. Avaliação do Curso de Sistemas de Informação da UNIPLAC, Gama / DF. 1999.

COSTA, T. S.. Avaliação do Curso de Sistemas de Informação da FARN, Natal / RN. 1999.

COSTA, T. S.. Autorização do Curso de Ciência da Computação do SENAC/SP. 1998.

COSTA, T. S.; SOUZA, F. F.. Avaliação do curso de Ciência da DComputação nas Faculdades Integradas de Ponta Porã/MS. 1998.

COSTA, T. S.; SILVEIRA, P. M.. Avaliação do curso de Tecnologia em Processamento de Dados da Universidade de Caxias do Sul/Bento Gonçalves. 1998.

COSTA, T. S.; TRAINA, A. J.. Avaliação do Curso de Tecnólogo da Faculdade de Ciências da Informática, Campinas / SP. 1998.

COSTA, T. S.. Avaliação do Curso de Tecnólogo da Escola Técnica Federal do Rio Grande do Norte, RN. 1997.

COSTA, T. S.. Avaliação do Curso de Tecnólogo da Universidade São Francisco, SP. 1992.

COSTA, T. S.. Avaliação do Curso de Tecnólogo da Faculdade de Administração de Barra Mansa, RJ. 1989.

COSTA, T. S.. Avaliação do Curso de Tecnólogo da Daculdade de Juiz de Fora, RJ. 1989.

COSTA, T. S.. Avaliação do Curso de Grauação em Informática, Faculdade de Tecnologia Armando Penteado, São Paulo / SP. 1987.

COSTA, T. S.. Banca do Concurso de Inicação Científica da Regional ES/RJ da SBC. 2005. Universidade Federal do Espírito Santo.

Autenticação de usuários em ambiente Windowos e Linus através do protocolo LDAP; Início: 2004; Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; (Orientador);

Extensão da formulação recursiva de Ortiz para h negativo; 1995; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Therezinha Souza da Costa;

Constante de Erro dos Métodos Cíclicos; 1987; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Therezinha Souza da Costa;

Efeitos da Mudanca de Passo Na Estabilidade de Metodos de Adams-Muulton- Nordsiech; ; 1985; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Therezinha Souza da Costa;

Inversão de Matrizes por Partição, Orientada para Micro-computadores; 1983; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Therezinha Souza da Costa;

Estudo da àrea de Estabilidade de Certos Métodos Cíclicos; 1978; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Therezinha Souza da Costa;

Utilização de Linguagens com Manipulação de fórmulas para Minimização de Funções; 1975; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Therezinha Souza da Costa;

Convergência de Algoritmos Tipo Jacobi Quterniônicos; 1998; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Therezinha Souza da Costa;

Barbosa; Uma Extensão da Abordagem Operacional do Método Tau de Lanczos; 1998; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Therezinha Souza da Costa;

Modelagem e Simulação Numérica Paralela de Escoamento de Fluidos com Contaminantes Radioativos em Meios Porosos Naturalmente Fraturados; 1991; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Therezinha Souza da Costa;

Estabilidade de Certos Metodos Ciclicos do Tipo Adams; ; 1988; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Therezinha Souza da Costa;

Grandes Deformacoes de Menbranas Anulares Sob A Acao de Forca Axial e Momento Torsor; ; 1988; Tese (Doutorado em Engenharia Civil) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Therezinha Souza da Costa;

Algoritmos para sub-cadeias de soma máxima e de ordenação; 2005; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

aproximador de funções usando algoritmos genéticos feito em linux; ; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Overview sobre Processos Iterativos; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Software para calculo de autovalores; 2003; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Software para calculo de autovalores; 2003; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Avaliação de desempenho de algoritmos numéricos para solução de EDO´s; 2003; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Página dinâmica para a disciplina Análise Numérica; 2003; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Estudo Gráfico de Regiões de Estabilidade de Métodos Cíclicos de Adams (k = 2, 3, 4 e 5, M = 2); 2003; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Algoritmos para Criptografia; 2002; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Forma Compacta para Tratamento de Matrizes Esparsas; 2002; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Visão Geral da Análise da Consistência de algoritmos para a Solução; 2001; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Semblano,; Um Interpretador de Expressões em Fortran 77; 1991; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Mendes, José Carl; Sistema para calcular Autovalores e Autovetores de uma Matriz Simétrica; 1979; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Projeto: Grafos e Aplicações; 2004; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Geração de fórmulas cíclicas de ordem 5, para solução de EDO´s; 2004; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Software para avaliação e comparação de desempenho de algoritmos numéricos para solução de EDO´s; 2004; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Determinação de Autovalores com o Método de Bairstow; 2003; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Um Sistema para Realização de Opção de Projetos na Disciplina de Introdução à Engenharia; 2003; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Desenvolvimento de um conjunto de funções para manipulação de grandes inteiros; 2002; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Manipulação Remota de Bancos de Dados via Web Browser,; 2002; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Desenvolvimento de um conjunto de funções para manipulação de grandes inteiros; 2001; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

integração de equações diferenciais com condições iniciais, na forma y´(x)=f(x,y(x)), com correção automática de passo; ; 2001; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Plotagem de Regiáo de Estabilidade de Algoritmos para s Solução de EDO´s; ; 2001; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

Carvalho, Francisco Guimarães, Paulo Contopoulos; Estudo sobre a utilização de algoritmos genéticos em Análise Numérica; 1999; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

de la Riva, P; Emanuel, R; Harmony; Software em HTML usando Métodos Numéricos para Álgebra Linear; 1996; Orientação de outra natureza; (Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Therezinha Souza da Costa;

2010

Premio Newton Faller, Sociedade Brasileira de Computação.