Leonardo Costa Lima

Idiomas

Áreas de atuação

Participação em eventos

Outras produções

Projetos de pesquisa

• 2015 - 2016

  HISTÓRIA E MEMÓRIA DO ENSINO DA COMPUTAÇÃO NO PIAUÍ, Descrição: A Computação é atualmente uma das áreas de maior impacto cultural na sociedade\r\nmoderna. O uso de computadores, tablets, celulares, bem como a conexão em tempo real\r\nprovida pela Internet, tem causado uma revolução nos meios de comunicação e\r\nrelacionamento entre os indivíduos. Nesse sentido, faz-se pertinente um estudo para contemplar a experiência dos atores\r\nsociais que vivenciaram o movimento educacional de tão relevante área no Estado do Piauí,\r\nem especial para recuperar e memória dos professores piauienses da Computação. Nessa\r\nperspectiva, faz-se necessário que a historiografia piauiense tome conhecimento dessa discussão que, de certa forma, continua mantida no esquecimento ou, simplesmente, relegada\r\nao espaço dos escombros da memória, já que, até onde se tem conhecimento, esse tema foi\r\npouco estudado tanto por pesquisadores da área de História, quanto por cientistas da área da\r\nComputação, sendo mencionado em alguns estudos e de forma ainda pouco verticalizada.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Leonardo Costa Lima - Integrante / Thiago Carvalho de Sousa - Coordenador.

• 2014 - 2015

  PROB-BR - O VERIFICADOR PROB COM SUPORTE A REVISÃO DE CRENÇAS, Descrição: Um dos grandes problemas da engenharia de software é o elevado custo de verificar a consistência do modelo de especificação de um sistema, descobrir a origem dos erros e remodelá-lo de tal forma que a inconsistência seja eliminada. Com o uso de Verificadores Automáticos de Modelos (model checking) é possível encontrar inconsistências mais rapidamente e de forma precisa. Porém, esta opção sozinha, apesar de bastante útil nesta tarefa, não indica em sua resposta o motivo da inconsistência na especificação. A presente pesquisa apresenta uma proposta para solucionar esta demanda fazendo uso da Revisão de Crenças, uma área da inteligência artificial que provê soluções para a manutenção da consistência de um conjunto de crenças quando se recebe uma nova crença que é contraditória com o conjunto original. Assim, foi implementado um algoritmo de Revisão de Crenças no Verificador Automático de Modelo ?PROB?, que permitiu observar, a partir dos resultados de testes, que as inconsistências encontradas podem ser contornadas com a alteração sugerida pelo algoritmo, tornando a especificação consistente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Leonardo Costa Lima - Integrante / Thiago Carvalho de Sousa - Coordenador.

Projetos de desenvolvimento

• 2017 - Atual

  Desenvolvimento do software SERCA, módulos Engenharia, Ministério Público e Contraditório, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado profissional: (1) / Doutorado: (1) . , Integrantes: Leonardo Costa Lima - Coordenador / Renato Félix da Silva Souza - Integrante / Danilo Batista Medeiros - Integrante / Pedro de Alcantara dos Santos Neto - Integrante.

• 2017 - Atual

  Desenvolvimento do software SERCA, módulos Engenharia, Ministério Público e Contraditório, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado profissional: (1) / Doutorado: (1) . , Integrantes: Leonardo Costa Lima - Integrante / Renato Félix da Silva Souza - Integrante / Danilo Batista Medeiros - Integrante / Pedro de Alcantara dos Santos Neto - Coordenador.

• 2017 - Atual

  Desenvolvimento do software SERCA, módulos Engenharia, Ministério Público e Contraditório, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado profissional: (1) / Doutorado: (1) . , Integrantes: Leonardo Costa Lima - Integrante / Renato Félix da Silva Souza - Integrante / Danilo Batista Medeiros - Integrante / Pedro de Alcantara dos Santos Neto - Coordenador.