Vaston Gonçalves da costa

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• SIQUEIRA, WENDER RODRIGUES DE ; SUCUPIRA, GRAZIELLE ISABELE CRISTINA SILVA ; FREITAS, LEONARDO SOUSA DE ; SILVA, JANICE RODRIGUES DA ; FILHO, WILLIAM KOGA SILVA ; JÚNIOR, ELISIÁRIO BORGES ; COSTA, VASTON GONÇALVES DA . POLÍTICAS PÚBLICAS PARA GOVERNO ABERTO OU POLÍTICAS PÚBLICAS ABERTAS: UMA META A SER ALCANÇADA OU UM MECANISMO DE (RE)ORIENTAR AS AÇÕES PÚBLICAS!. Revista de Derecho y Câmbio Social , v. 22, p. 1-18, 2025.

• SARAIVA, L. ; Haeusler, Edward H. ; COSTA, V. G. ; KALINOWSKI, M. . Non-Functional Requirements for Quantum Programs. CENTRAL EUROPE CEUR WORKSHOP PROCEEDINGS , v. 3008, p. 89-73, 2021.

• CARNEIRO, S. G. ; SILVA, G. C. ; SILVA, L. A. ; Costa, V. G. ; SILVA, A. V. . MULHERES NAS CIÊNCIAS DE EXATAS, ENGENHARIA E COMPUTAÇÃO: uma revisão integrativa. HUMANIDADES & TECNOLOGIA EM REVISTA (FINOM) , v. 1, p. 159-175, 2020.

• ANDRADE, M. S. ; MELO, L. P. G. ; SADOYAMA, A. S. P. ; SADOYAMA, G. ; TOMAS, P. H. ; COSTA, V. G. ; CAMARA, E. A. ; SOARES, C. L. . CONSTRUÇÃO E ADAPTAÇÃO DO PROJETO APOLOBVM: RELATO DE EXPERIÊNCIA DE CRIAÇÃO DE METODOLOGIA DE ENSINO ATRAVÉS DE FERRAMENTAS TECNOLÓGICAS E INOVADORAS EM TEMPOS DE PANDEMIA DE COVID-19. HUMANIDADES & TECNOLOGIA(FINOM) , v. 25, p. 219-238, 2020.

• TOMAS, P. H. ; ANDRADE, M. S. ; GOMES, M. A. S. ; SADOYAMA, A. S. P. ; COSTA, V. G. . Liderença Estratégica. Altus Ciencia , v. 06, p. 220, 2018.

• ANDRADE, M. S. ; TOMAS, P. H. ; GOMES, M. A. S. ; MACHADO, R. B. ; COSTA, V. G. ; SADOYAMA, A. S. P. . Qualidade da Educação Percebida em um instituto Federal. Altus Ciência , v. 06, p. 307-322, 2018.

• BORGES, M. R. ; TOMAS, P. H. ; ANDRADE, M. S. ; GOMES, M. A. ; COSTA, V. G. . A IMPORTÂNCIA DO SISTEMA DE INFORMAÇÃO PARA CONTROLE E GESTÃO DE ESTOQUE.. Altus Ciencia , v. 7, p. 196-216, 2018.

• OLIVEIRA, T. L. ; COSTA, V. G. ; SILVA, A. V. ; BEVILACQUA, S. ; TOMAS, P. H. . A EFETIVIDADE DE VENDAS A PARTIR DOS ANÚNCIOS DO YOUTUBE: um estudo sobre consumo de beleza, saúde e estética no universo feminino. Altus Ciencia , v. 7, p. 301-315, 2018.

• COSTA, V. G. ; ANDRADE, M. S. ; TOMAS, P. H. ; PEREIRA, H. G. . Computação em Nuvem Aplicada na Educação. HUMANIDADES & TECNOLOGIA EM REVISTA (FINOM) , v. 1, p. 604-613, 2018.

• SANTOS, N. P. ; TOMAS, P. H. ; ANDRADE, M. S. ; COSTA, V. G. . Teste de Desempenho de algoritmos de Criptografia: Comparando AES, DES e RSA. HUMANIDADES & TECNOLOGIA EM REVISTA (FINOM) , v. 1, p. 614-620, 2018.

• STOPPA, M. H. ; MARTINEZ, L. F. E. ; BORGES, J. S. ; SILVA JUNIOR, E. A. ; COSTA, V. G. . Domótica: uma solução para a vida moderna - automação residencial de controle via WEB. CEPPG Revista (Catalão) , v. xvi, p. 70-84, 2013.

• COSTA, V ; STOPPA, M. H. ; LEMES, M. V. ; DANTAS, C. A. . Algoritimo de Rex no Cálculo de Áreas. CEPPG Revista (Catalão) , v. XVI, p. 41-55, 2013.

• Almeida, Ariane A. ; COSTA, V. G. . Uso de VHDL no FPGA Altera Cyclone II para construção de sistemas criptográficos. Mediação (UEG. Pires do Rio) , v. 4, p. 249-257, 2011.

• Pereira, Luiz C. ; Haeusler, Edward H. ; Costa, Vaston G. ; Sanz, Wagner . A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Studia Logica , v. 96, p. 95-108, 2010.

• Gordeev, L. ; Haeusler, E. H. ; COSTA, V. G. . Proof compressions with circuit-structured substitutions. Journal of Mathematical Sciences (New York) , v. 158, p. 645-658, 2009.

• Costa, Vaston G. ; Sanz, Wagner ; Haeusler, Edward H. ; Pereira, Luiz C. . Peirce's Rule in a Full Natural Deduction System. Electronic Notes in Theoretical Computer Science , v. 256, p. 5-18, 2009.

• Gordeev, L. ; Hermann, E. H. ; COSTA, V. G. . Proof compressions with circuit-structured substituitions. Zapiski Naucnyh Seminarov Leningradskogo Otdeleniâ ordena Lenina Matematiceskogo Instituta im. V.A. Steklova Akademii Nauk SSSR , v. 358, p. 77-79, 2008.

• COSTA, V ; HAEUSLER, E ; LABER, E ; NOGUEIRA, L . A note on the size of minimal covers. Information Processing Letters , v. 102, p. 124-126, 2007.

• Costa, Vaston G. ; STOPPA, MARCELO HENRIQUE . Robótica Trip 1 Pack 1. 1. ed. Uberlândia: TkxHi, 2024. v. 1. 62p .

• COSTA, V. G. ; STOPPA, MARCELO HENRIQUE . Robótica Trip 2 Pack 1. 1. ed. Uberlândia: TkxHi, 2024. v. 1. 76p .

• COSTA, V. G. ; STOPPA, MARCELO HENRIQUE . Robótica Trip 3 Pack 1. 1. ed. Uberlândia: TkxHi, 2024. v. 1. 68p .

• COSTA, V. G. ; STOPPA, MARCELO HENRIQUE . Robótica Trip 1 Pack 1 - Manual do Professor. 1. ed. Uberlândia: TkxHi, 2024. v. 1. 90p .

• COSTA, VASTON GONÇALVES DA ; STOPPA, MARCELO HENRIQUE . Robótica Trip 2 Pack 1 - Manual do Professor. 1. ed. Uberlândia: TkxHi, 2024. v. 1. 68p .

• COSTA, VASTON GONÇALVES DA ; STOPPA, MARCELO HENRIQUE . Robótica Trip 3 Pack 1 - Manual do Professor. 1. ed. Uberlândia: TkxHi, 2024. v. 1. 114p .

• Costa, Vaston G. ; STOPPA, MARCELO HENRIQUE . Eletrônica - Trip 1 Pack 1. 1. ed. Uberlândia: TkxHi, 2022. v. 1. 92p .

• Costa, Vaston G. ; STOPPA, MARCELO HENRIQUE . Eletrônica - Trip 1 Pack 2. 1. ed. Uberlândia: TkxHi, 2022. v. 1. 60p .

• COSTA, V. G. ; STOPPA, MARCELO HENRIQUE . STEAM: Eletrônica e Simulação. 1. ed. , 2021. v. 1. 195p .

• DIAS, L. G. ; COSTA, V. G. . Análise Formal no Gerenciamento de Competências: O emprego de Ontologias e Lógica de Descrição. 1. ed. , 2018. 60p .

• STOPPA, M. H. ; MUNDIM, L. R. ; COSTA, V. G. ; BA, S. A. C. ; SANTOS, M. R. ; MENDONCA, M. M. . A Família Pereira - Uma História de Sucesso na Zona Rural. 1. ed. São Paulo: New Book, 2012. 122p .

• COSTA, V. G. ; HAEUSLER, E . Strong Normalization for Np-Systems via Mimp-Graphs. In: Special Issue: Proceedings of the 19th Brazilian Logic Conference (XIX EBL). (Org.). Journal of Applied Logics - IfCoLog Journal. 1ed.London: College Publications, 2022, v. 9, p. 135-160.

• ALBUQUERQUE, N. L. ; CHAVES, M. R. ; CARNEIRO, S. G. ; COSTA, V. G. . Diagnóstico Situacional da Coleta Seletiva na Universidade Federal de Catalão, Campus em implantação. In: André Vasconcelos da Silva; Dênia Aparecida de Amorim; Emerson Gervásio de Almeida; Thaméya Lourenço Barbosa Silva. (Org.). Administração Pública Contemporânea em Debate. 1ed.Catalão-GO: Editora Golden, 2019, v. 1, p. 271-292.

• SADOYAMA, A. S. P. ; TOMAS, P. H. ; BA, S. A. C. ; COSTA, V. G. ; BORGES, M. R. ; GOMES, M. A. S. . A importância da avaliação de desempenho na administração pública: uma revisão sistemática. In: José Eduardo Machado Barroso. (Org.). Estudos Organizacionais. 1ed.Catalão-GO: Golden, 2019, v. 2, p. 117-144.

• Silva, Nayara de Souza ; COSTA, VASTON GONÇALVES DA ; STOPPA, MARCELO HENRIQUE . Verificação formal de sistemas digitais embarcados. Tecnologias em pesquisa: engenharias. 1ed.: Editora Blucher, 2017, v. , p. 121-134.

• Dias, Luiz Gustavo ; COSTA, VASTON GONÇALVES DA . Emprego de análise formal no processo de gerenciamento de habilidades. Tecnologias em pesquisa: ciências exatas e biológicas. 1ed.: Editora Blucher, 2017, v. , p. 147-154.

• SARAIVA, L. ; Hermann, E. H. ; COSTA, V. G. . Quantum Algorithm for Multiplicative Linear Logic. In: IV Workshop Brasileiro de Lógica, 2023, João Pessoa. {Anais do IV Workshop Brasileiro de Lógica. Porto Alegre, RS, Brasil: SBC, 2023. p. 33-40.

• COSTA, V. G. ; DANTAS, C. A. ; GOMES, S. L. F. . LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear. In: Congresso Brasileiro de Informática na Educação, 2016, Uberlândia. Anais dos Workshops do CBIE 2016, 2016.

• COSTA, VASTON GONÇALVES DA ; VIEIRA, BRUNO LOPES ; STOPPA, MARCELO HENRIQUE ; SOUZA, LEANDRO RODRIGUES DA SILVA . INDUSTRIAL PRODUCTION LINE MODELING AND REASONING BY PETRI NETS. In: Congresso Nacional de Matemática Aplicada à Indústria, 2015, Caldas Novas. Anais do Congresso Nacional de Matemática Aplicada à Indústria. São Paulo: Editora Edgard Blücher. p. 95.

• SOUZA, LEANDRO RODRIGUES DA SILVA ; SANTOS, NÚBIA SAAD DOS ; PEREIRA, CLEZIDAN NÚCIO ; COSTA, VASTON GONÇALVES DA ; STOPPA, MARCELO HENRIQUE . SIMULAÇÃO COMPUTACIONAL POR ELEMENTOS FINITOS E VALIDAÇÃO EXPERIMENTAL DE TUBOS DE PVC SOLICITADOS À FLEXÃO. In: Congresso Nacional de Matemática Aplicada à Indústria, 2015, Caldas Novas. Anais do Congresso Nacional de Matemática Aplicada à Indústria, 2014. p. 799.

• COSTA, V. G. ; STOPPA, M. H. . O Algoritmo de Rex no Desenvolvimento de um Aplicativo para Cálculo de Áreas de Pequenas Propriedades Rurais. In: Congresso de Matemática Aplicada e Computacional, 2012, Natal - RN. Anais do Congresso de Matemática Aplicada e Computacional, 2012.

• RESENDE, A. C. D. ; COSTA, V . EMPREGO DE TESTES ESTATÍSTICOS EM GERADORES DE NÚMEROS ALEATÓRIOS PARA VERIFICAÇÃO DE EFICÁCIA DE ALGORITMOS CRIPTOGRÁFICOS. In: Congresso de Pesquisa, Ensino, Extensão e Cultura do Campus Catalão, 2011, Catalão - GO. VII CONPEEC, 2011.

• Almeida, Ariane A. ; COSTA, V . Implementação em VHDL do algoritmo DES compilada no Altera Quartus II. In: Encontro anual de computação, 2011, Catalão - GO. IX ENACOMP, 2011.

• BORGES, M. V. A. ; COSTA, V. G. . Otimizacao da arquitetura Model-view-controler utilizando web service como camada modelo.. In: Congresso de Pesquisa, Ensino, Extensão e Cultura do Campus Catalão, 2011, Catalão - GO. VII CONPEEC, 2011.

• Almeida, Ariane A. ; Costa, V. G. . Criptografia em Hardware com VHDL Usando Circuitos FPGA X Criptografia em Software. In: VIII Encontro Anual de Computação - ISSN 2178-6992, 2010, Catalão-GO. Anais do VIII Encontro Anual de Computação, 2010.

• Pereira, Gabriela Q. ; Costa, Vaston G. . O Uso da Robótica Educacional no Ensino Fundamental: Um estudo de caso preliminar. In: VIII Encontro Anual de Computação - ISSN 2178-6992, 2010, Catalão-GO. Anais do VIII Encontro Anual de Computação, 2010.

• Pires, Rayner M. ; Costa, Vaston G. . Uso do algoritmo Diffie-Hellman na geração de keyfile para o TrueCrypt. In: VIII Encontro Anual de Computação - ISSN 2178-6992, 2010, Catalão-GO. Anais do VIII Encontro Anual de Computação, 2010.

• Nobrega, Fernando A. ; COSTA, V. G. ; Lobato, Luanna L. . Aplicação de Lógica Descritiva para Documentação e Validação de Requisitos em SPL. In: VIII Encontro Anual de Computação - ISSN 2178-6992, 2010, Catalão-GO. Anais do VII Encontro Anual de Computação. Goiânia: Universidade de Goiás, 2010.

• HAMAZAKI, Geiza Maria ; Naufel, F. ; BAZILIO, Carlos ; Romero, D. V. ; COSTA, V. G. ; Hermann, E. H. . Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study. In: Australasian Ontology Workshop, 2007, Surfers Paradise. AOW-07. Melbourne: CRPIT - Australian Computer Society, 2007. v. 85.

• COSTA, V. G. ; Haeusler, Edward H. . Physical computational by manifolds. In: XX Encontro Brasileiro de Lógica, 2022, Salvador BA. Book os Abstracts XX EBL, 2022. p. 125-127.

• SARAIVA, L. ; Haeusler, Edward H. ; COSTA, V. G. . Quantum Algorithms for Multiplicative Linear Logic. In: XX Encontro Brasileiro de Lógica, 2022, Salvador BA. Book of Abstracts XX EBL, 2022. p. 167-169.

• COSTA, V. G. ; Hermann, E. H. ; CRUZ, M. Q. ; SANTOS, J. B. . NP system and Mimp-graph Association. In: 5th World Congress and School of Universal Logic, 2015, Istambul. Handbook of the 5th orld Congress and School of Universal Logic. Istanbul: University of Istanbul, 2015. p. 246-347.

• COSTA, V. G. ; Hermann, E. H. ; CRUZ, M. Q. . NP full system and Mimp-fol association. In: NataLogic 2015, 2015, Natal-RN. NataLogic 2015. Natal: UFRN, 2015. p. 51-52.

• COSTA, V. G. ; VIEIRA, B. L. ; Hermann, E. H. . Game modelling and reasoning by Petri Nets. In: Congresso Brasileiro de Software: Teoria e Prática, 2013, Brasília. Anais do XVI SIMPÓSIO BRASIlEIRO DE MÉTODOS FORMAIS, 2013. v. 1. p. 24-29.

• ROCHA, A. M. ; COSTA, V. G. ; MUNDIM, L. R. ; STOPPA, M. H. . EMPREGO DE T ÉCNICAS GEOMÉTRICAS EM SISTEMAS EMBARCADOS PARA AUXILIAR PEQUENOS PRODUTORES RURAIS. In: CNMAC 2012, 2012, Águas de Lindóia. Anais do Congresso Nacional de Matemática Aplicada e Computacional, 2012.

• Hermann, E. H. ; COSTA, V. G. ; Pereira, L. C. ; SANZ, W. . Revisisting Peirces rule in Natural Deduction. In: 2008 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '08, 2008, Bern. The Bulletin of Symbolic Logic, 2008. v. 15. p. 125-126.

• COSTA, V. G. ; Hermann, E. H. . On Strategies to Compact Proofs. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. Caderno de Resumos do XIV Encontro Brasileiro de Lógica, 2006.

• SARAIVA, L. ; Hermann, E. H. ; Costa, V. G. ; KALINOWSKI, M. . Constraints for executing quantum programs in real quantum devices. 2021. (Apresentação de Trabalho/Congresso).

• COSTA, V. G. ; Haeusler, Edward H. . Strong Normalization for Np-Systems via Mim-Graphs. 2019. (Apresentação de Trabalho/Congresso).

• DIAS, L. G. ; COSTA, V. G. . Uso de ontologia no projeto de Software baseado em framework. 2017. (Apresentação de Trabalho/Simpósio).

• BASTOS, T. A. ; COSTA, V. G. . Aplicação de métodos formais na validação do processo de modelagem de sistema de manufatura flexível. 2017. (Apresentação de Trabalho/Simpósio).

• DANTAS, C. A. ; COSTA, V. G. ; GOMES, S. L. F. . LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear. 2016. (Apresentação de Trabalho/Congresso).

• DANTAS, C. A. ; COSTA, V. G. ; GOMES, S. L. F. . LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear. 2016. (Apresentação de Trabalho/Congresso).

• COSTA, V. G. ; Hermann, E. H. ; CRUZ, M. Q. . NP system and Mimp-graph association. 2015. (Apresentação de Trabalho/Congresso).

• CRUZ, M. Q. ; Haeusler, Edward H. ; COSTA, V. G. . NP full system and Mimp-fol association. 2015. (Apresentação de Trabalho/Congresso).

• COSTA, V. G. . Some Topics in Proof Theory. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• MUNDIM, L. R. ; Costa, V. G. ; STOPPA, M. H. ; ROCHA, A. M. . Utilizando Técnicas de Geometria Computacional em Sistemas Embarcados para Auxiliar Pequenos Produtores Rurais. 2012. (Apresentação de Trabalho/Congresso).

• FARIA, F. B. ; Fortunato, E. C. N. ; DANTAS, C. A. ; COSTA, V. G. ; STOPPA, M. H. . Utilização dos recursos da tecnologia acessível como fomento à sustentabilidade das pequenas propriedades rurais. 2012. (Apresentação de Trabalho/Simpósio).

• COSTA, V ; STOPPA, M. H. . O Algoritmo de Rex no Desenvolvimento de um Aplicativo para Cálculo de Áreas de Pequenas Propriedades Rurais. 2012. (Apresentação de Trabalho/Congresso).

• MUNDIM, L. R. ; COSTA, V ; STOPPA, M. H. ; ROCHA, A. M. . EMPREGO DE TÉCNICAS GEOMÉTRICAS EM SISTEMAS EMBARCADOS PARA AUXILIAR PEQUENOS PRODUTORES RURAIS. 2012. (Apresentação de Trabalho/Congresso).

• Almeida, Ariane A. ; Costa, V. G. . Criptografia em Hardware com VHDL Usando Circuitos FPGA X Criptografia em Software. 2010. (Apresentação de Trabalho/Congresso).

• COSTA, V ; SANZ, W. ; Haeusler, E. H. ; Pereira, L. C. . Peirce's rule in a full Natural Deduction system. 2009. (Apresentação de Trabalho/Congresso).

• Pereira, L. C. ; COSTA, V. G. ; Hermann, E. H. ; SANZ, W. . Revisiting Peirce's Rule in Natural Deduction. 2008. (Apresentação de Trabalho/Congresso).

• COSTA, V. G. ; Hermann, E. H. ; LABER, E. S. ; NOGUEIRA, L. T. . A note on the size of minimal covers.. 2006. (Apresentação de Trabalho/Conferência ou palestra).

• COSTA, V. G. ; Hermann, E. H. . On strategies to compact proofs. 2006. (Apresentação de Trabalho/Congresso).

• COSTA, V. G. ; MENDONCA, P. C. T. . Computador na escola: Relatos de uma experiência em andamento. 1999. (Apresentação de Trabalho/Congresso).

• COSTA, V. G. ; MENDONCA, P. C. T. ; APOLINARIO, H. C. ; PASSOS, V. M. A. . Frações decimais associadas às medidas: Uma experiência do Promat-Miracema. 1999. (Apresentação de Trabalho/Congresso).

• COSTA, V. G. ; LABER, E. S. ; Hermann, E. H. . Some remarks on the size of boolean functions. Rio de Janeiro: Informática PUC-Rio, 2005 (Monografia).

Outras produções

Projetos de pesquisa

• 2014 - Atual

  Uso de Teoria da Prova em Interoperabilidade de Verificador de Sistemas com aplicações em sistemas embarcados acoplados em um veiculo elétrico, Descrição: A Teoria da Prova, iniciada por Hilbert, tem se tornado uma ferramenta teórica e de fundamentação em ciências, com contribuições em geração de programas, semântica de programas e sistemas, otimização de código funcional e tem sido fortemente utilizada como base em formalismos de especificação e validação de teorias. Este projeto tem por objetivo empregar uma abordagem baseada em conceitos lógicos tratando, em específico, o tema de produção de provas curtas, bem como do uso deste no auxílio ao processo de redução de tempo de execução dos sistemas Dedukti proposto pelo INRIA-France. Todos os resultados tem com intuito final alinhar o que se tem produzido por pesquisadores Brasileiros do laboratório de Métodos Formais da PUC-Rio com o que se tem produzido recente pelo INRIA de Paris-França, visando estreitar os vínculos entre as duas equipes e produzir resultados que contribuam para a verficação formal de sistemas embarcados, em particular nos sistemas de controle de um carro ecológico desenvolvido por pesquisadores da Regional Catalão da Universidade Federal de Goiás.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Mestrado profissional: (1) . , Integrantes: Vaston Gonçalves da Costa - Coordenador / Edward Hermann Hauesler - Integrante / Marcello Henrique Stoppa - Integrante / Bruno Lopes Vieira - Integrante.

• 2012 - Atual

  Desenvolvimento de Veículo Ecológico a Baixo Custo, Descrição: Os veículos elétricos, conhecidos por EVs (Electric Vehicle), são meios de transportes que usam motores elétricos para se locomover, sendo esta a principal diferença dos veículos com motores de combustão interna. Estes últimos, usam a energia gerada pela explosão de materiais combustíveis, como gasolina, diesel, etanol ou gás. Já os EVs, usam energia elétrica guardada em baterias. Na realidade, é a energia química acumulada nas baterias que é transformada em energia elétrica e esta é transformada em energia mecânica pelo motor. Nos veículos a combustão, parte da energia mecânica, é transformada em energia elétrica pelo alternador e esta é guardada em uma bateria. Porém, esta energia elétrica, em geral, é utilizada apenas para o sistema elétrico do veículo, não participando da movimentação do veículo. As principais vantagens dos veículos elétricos em relação aos demais são: emissão zero de CO2 (dióxido de carbono), baixo custo de utilização, diminuição do ruído e das vibrações, dispensa embreagem e caixa de marcha, além de proporcionar um arranque suave. As desvantagens são a menor autonomia, relativamente baixa velocidade e custo mais alto de aquisição, devido principalmente a ausência de produção em escala e, aos ainda altos custos das baterias. É importante lembrar que, apesar dos EVs não emitirem CO2 durante o uso, são gerados outros poluentes na produção da energia elétrica necessária para movê-los e no descarte das baterias, cuja vida útil costuma ser de três a cinco anos. No Brasil cerca de 80% da energia é gerada por hidrelétricas e não por usinas de carvão, como é comum na Europa. Isto acaba tornando o uso dos EVs mais promissores, pois, aqui ainda é menos poluente que as formas usuais de transporte. As desvantagens dos veículos elétricos, apresentadas anteriormente, ou seja, baixa autonomia e velocidade, não interferem em algumas características de uso, tais como a locomoção de pessoas e cargas leves em pequenas distâncias. Este é o porquê de.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado profissional: (1) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Marcello Henrique Stoppa - Coordenador.

• 2011 - 2013

  Problemas em Teoria da Computação: Problemas Combinatórios e Produção de Provas Curtas, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Thiago Alves Queiroz - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2009 - 2015

  Implementação das Estratégias de Monitoramento de Integridade Estrutural pelos Métodos da Propagação de Ondas de Lamb Guiadas e da Impedância Eletromecânica, Descrição: Neste projeto, preocupa-se em pesquisar sobre um assunto atual: os fenômenos patológicos estruturais. Esses fenômenos, tais como: trincas transversais por fadiga, corrosão, delaminações e redução da rigidez são os principais fatores responsáveis pela interrupção da continuidade do serviço de certos sistemas, tais como: aeronaves, estrutura de engenharia civil e até mesmo navios, etc. Para tanto, emprega-se o monitoramento da integridade estrutural (Structural health monitoring - SHM) que está relacionado a implementação de alguma estratégia para a detecção de dano em estruturas de engenharia, pois a presença de dano provoca variações das característica modais da estrutura. Esse estudo geralmente envolve a observação do sistema no tempo, utilizando amostras periódicas de medições da resposta dinâmica, a partir de um grupo de sensores, a fim de verificar alterações nos parâmetros modais, que podem indicar a presença do dano. Rytter (1993) apresentou uma classificação dos métodos de detecção de dano em quatro níveis [14]: ? nível 1: detecção do dano ® determinação da presença do dano na estrutura; ? nível 2: localização do dano ® determinação da localização geométrica do dano na estrutura; ? nível 3: quantificação da severidade causada pelo dano; ? nível 4: previsão da vida útil remanescente da estrutura. Para viabilizar o emprego do SHM, faz-se uso dos transdutores ativos de pastilhas piezoelétricas nas estruturas para monitorar o início e o progresso de tais danos estruturais, viabilizando dois principais métodos de detecção a serem pesquisadas, a saber: 1º) o de propagação das ondas de Lamb guiadas, para detecção de danos em grandes áreas de estruturas de espessura fina; 2º) o da impedância eletromecânica (E/M) para detecção de danos em pequenas áreas da estrutura de espessura fina próximas aos sensores. Em ambos os casos, é utilizada uma faixa de freqüência de excitação de até 100 kHz, na qual predomina as ondas de flexão, cujo modo de propagação é o anti. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2009 - 2013

  ESTUDO SOBRE A APLICABILIDADE DE ROBÔS NXT (nº 33944), Descrição: A empresa LEGO produz blocos construtivos desde 1940, começando com os familiares blocos de montagem e atualmente, produzindo peças altamente técnicas, que incluem vigas, motores, engrenagens, e pneumáticos. Embora o estilo de construção das peças tenha sofrido alterações, as novas peças são projetadas sempre de modo a serem compatíveis e interoperáveis com as antigas. Esta característica de compatibilidade, e a grande diversidade das partes, são algumas das razões pelas quais a LEGO se torna uma atrativa escolha para construção dos mais variados tipos de protótipos. A LEGO lançou o MINDSTORMS NXT em 2006, mas esta história começa oito anos antes, em 1988, quando a LEGO introduziu o primeiro kit MINDSTORMS os blocos programáveis Robotics Invention System (RIS) com o Robotic Control Explorer (RCX) . Isto representou uma evolução de cinco décadas, das técnicas de construção modular da LEGO, com anos de métodos de educação baseados em computador do Instituto de Tecnologia de Massachusetts (MIT - Massachusetts Institute of Technology) (Gasperi e Hurbain, 2007). O MIT tem investigado o uso de computadores em educação desde os anos 1970. O nome MINDSTORMS vem do título de um livro do cientista da computação Seymor Papert do MIT. O trabalho deste livro envolveu o conceito de não apenas usar os computadores para aplicar testes e avaliar crianças, mas também, permitir que as crianças utilizassem os computadores para resolver problemas e ajudar na sua inventividade. Originalmente os computadores eram muito grandes, prejudicando a manipulação dos mesmos nos sistemas inventivos das crianças. Porém, a tecnologia permitiu a criação de protótipos de blocos programáveis, facilitando de modo ilimitado a portabilidade e acessibilidade. Nesse sentido, este projeto vem propor a utilização dos robôs NXT como método de motivação ao ensino e estudo das ciências, sejam elas, matemática, computação, física, eletrônica, dentre outras. . Situação: Em andamento; Natureza: Pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Marcello Henrique Stoppa - Coordenador.

• 2008 - 2014

  Aplicações de Teoria da Prova à Ciência da Computação, Descrição: Este projeto de pesquisa concentra-se na área de Teoria da Computação abordando, em específico, o tema de produção de provas lógicas curtas e como os resultados obtidos neste tema podem ser aplicados no processo de representação e explicação automática do conhecimento.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (16) . , Integrantes: Vaston Gonçalves da Costa - Coordenador / Thiago Alves Queiroz - Integrante.

Projetos de desenvolvimento

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2020 - Atual

  Aprendendo Eletrônica, Programação e Robótica: Uma preparação para a Indústria 4.0, Descrição: Este projeto propõe a utilização de robôs de um projeto opensource, como ferramenta didática auxiliar para o ensino de eletrônica, programação e robótica. Os componentes teóricos são apreendidos de forma construtiva, por meio de atividades desenvolvidas com robôs, aumentando a motivação e tornando mais fácil o aprendizado. O ato de construir e programar o robô aproxima de forma única a tecnologia, proporcionando uma conexão lógica entre a programação e a ação, num processo de montagem que permite o entendimento de cada componente e a eletrônica envolvida. As competências desenvolvidas auxiliam na criação do perfil do profissional que a Indústria 4.0 tem exigido. O projeto fornece 3 bolsas ATP-A para professores das escolas participantes, 3 bolsas de IC para alunas de graduação e 15 bolsas de IC Junior para alunas de ensino fundamental e médio das escolas particia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (15) Graduação: (3) . , Integrantes: Vaston Gonçalves da Costa - Coordenador / Marcello Henrique Stoppa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

• 2020 - Atual

  Aprendendo Eletrônica, Programação e Robótica: Uma preparação para a Indústria 4.0, Descrição: Este projeto propõe a utilização de robôs de um projeto opensource, como ferramenta didática auxiliar para o ensino de eletrônica, programação e robótica. Os componentes teóricos são apreendidos de forma construtiva, por meio de atividades desenvolvidas com robôs, aumentando a motivação e tornando mais fácil o aprendizado. O ato de construir e programar o robô aproxima de forma única a tecnologia, proporcionando uma conexão lógica entre a programação e a ação, num processo de montagem que permite o entendimento de cada componente e a eletrônica envolvida. As competências desenvolvidas auxiliam na criação do perfil do profissional que a Indústria 4.0 tem exigido. O projeto fornece 3 bolsas ATP-A para professores das escolas participantes, 3 bolsas de IC para alunas de graduação e 15 bolsas de IC Junior para alunas de ensino fundamental e médio das escolas particia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (15) Graduação: (3) . , Integrantes: Vaston Gonçalves da Costa - Coordenador / Marcello Henrique Stoppa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2009 - 2010

  ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA, Descrição: Desenvolvimento de material bibliográfico de apoio. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.

• 2006 - 2007

  Anubis - TecMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

Prêmios