Leila Maciel de Almeida e Silva
é graduada em Engenharia Civil pela Universidade Federal de Sergipe (1986), mestre em Ciência da Computação pela Universidade Estadual de Campinas (1991) e doutora em Ciência da Computação pela Universidade Federal de Pernambuco (2000). Realizou doutorado sanduíche na Universidade de Oxford (1998-1999), Reino Unido, pós-doutorado na Universidade Federal de Pernambuco (2007) e na The Open University (2014-2015), Reino Unido. Atualmente é professora Titular aposentada da Universidade Federal de Sergipe. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: verificação formal de software e hardware, semântica formal de linguagens de programação, otimização em problemas de Engenharia de Software e informática e saúde.
Informações coletadas do Lattes em 21/07/2025
Acadêmico
Formação acadêmica
Doutorado em Doutorado em Ciência da Computação
1996 - 2000
Universidade Federal de Pernambuco
Título: An Algebraic Approach to Hardware/Software Partitioning
Orientador: em University of Oxford ( Geraint Jones)
com Augusto Sampaio. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: particionamento de sistemas integrados de hardware; Co-design; verificação formal em hardware.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Ciência da Computação
1989 - 1991
Universidade Estadual de Campinas
Título: Fluxos Inteiros em Grafos
Orientador: Cláudio Leonardo Lucchesi
, Ano de Obtenção: 1991.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: k-fluxos; fluxos inteiros; conjeturas de Tutte.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Pós-doutorado
2014 - 2015
Pós-Doutorado. , The Open University, OPEN, Inglaterra. , Grande área: Ciências Humanas
2007 - 2008
Pós-Doutorado. , Universidade Federal de Pernambuco, UFPE, Brasil. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra
Formação complementar
2007 - 2007
Pernambuco School on Software Engineering -Testing. (Carga horária: 40h). , Universidade Federal de Pernambuco, UFPE, Brasil.
2007 - 2007
RISE Summer School on Software Reuse. (Carga horária: 24h). , Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
2004 - 2004
Pernambuco School On Software Engineering Refineme. (Carga horária: 104h). , Universidade Federal de Pernambuco, UFPE, Brasil.
2001 - 2001
Summer School On Object Oriented Processes And Tec. (Carga horária: 104h). , Universidade Federal de Pernambuco, UFPE, Brasil.
1989 - 1991
Curso Básico e Intermediário de Inglês. (Carga horária: 360h). , Cultura Inglesa, CULTURA INGLESA, Brasil.
1987 - 1988
Curso Básico de Inglês. (Carga horária: 180h). , Cultura Inglesa, CULTURA INGLESA, Brasil.
1980 - 1981
Curso de Língua Francesa (grau Nancy). (Carga horária: 800h). , Universidade de Nancy II - Aliança Francesa, UNII, Brasil.
1974 - 1979
Curso Básico e Avançado de Francês. , Aliança Francesa, ALIANÇA FRANCESA, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Lê Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Informática Aplicada à Saúde.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Algoritmos.
Organização de eventos
SILVA, L. . SBCAS 2024: Simpósio Brasileiro de Computação Aplicada à Saúde (membro de comitê de programa). 2024. (Congresso).
SILVA, L. . CBIS 2024: Congresso Brasileiro de Informática em Saúde (revisora). 2024. (Congresso).
SILVA, L. . SBGAMES 2024: Brazilian Symposium on Games and Digital Entertainment - Trilha da. 2024. (Congresso).
SILVA, L. M. A. . SBCAS 2023: Simpósio Brasileiro de Computação Aplicada à Saúde (membro de comitê de programa). 2023. (Congresso).
SILVA, L. M. A. . WEI 2023- Workshop de Educação em Informática (membro de comitê de programa). 2023. (Congresso).
SILVA, L. M. A. . SBCAS 2022: Simpósio Brasileiro de Computação Aplicada à Saúde (membro de comitê de programa). 2022. (Congresso).
SILVA, L. M. A. . CBIS 2022: Congresso Brasileiro de Informática em Saúde (membro de comitê de programa). 2022. (Congresso).
SILVA, L. M. A. . WEI 2022- Workshop de Educação em Informática (membro de comitê de programa). 2022. (Congresso).
SILVA, L. M. A. . SBGAMES 2022: Brazilian Symposium on Games and Digital Entertainment - Trilha da Saúde (membro de comitê de programa). 2022. (Congresso).
SILVA, L. M. A. . SBCAS 2021: Simpósio Brasileiro de Computação Aplicada à Saúde (membro de comitê de programa). 2021. (Congresso).
SILVA, L. M. A. . CBIS 2021: Congresso Brasileiro de Informática em Saúde (membro de comitê de programa). 2021. (Congresso).
SILVA, L. M. A. . WEI 2021- Workshop de Educação em Informática (membro de comitê de programa). 2021. (Congresso).
SILVA, L. M. A. . SBGAMES 2021: Brazilian Symposium on Games and Digital Entertainment - Trilha da Saúde (membro de comitê de programa). 2021. (Congresso).
SILVA, L. . SBCAS 2020: Simpósio Brasileiro de Computação Aplicada à Saúde (membro de comitê de programa). 2020. (Congresso).
SILVA, L. . CTIC 2020- Concurso de Trabalhos de Iniciação Científica (membro de comitê de programa). 2020. (Congresso).
SILVA, L. . WEI 2020- Workshop de Educação em Informática (membro de comitê de programa). 2020. (Congresso).
SILVA, L. . SBCAS-CTIC 2020 (membro de comitê de programa). 2020. (Congresso).
SILVA, L. M. A. . CBIS 2020: Congresso Brasileiro de Informática em Saúde (membro de comitê de programa). 2020. (Congresso).
SILVA, L. . SBCAS 2019: Simpósio Brasileiro de Computação Aplicada à Saúde (membro de comitê de programa). 2019. (Congresso).
SILVA, L. . EATIS 2019- Euro American Conference on Telematics and Information System (membro de comitê de programa). 2019. (Congresso).
SILVA, L. M. A. . SBMF 2018-Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2018. (Congresso).
SILVA, L. M. A. . CSBC 2018 -18 SBCAS - Simpósio Brasileiro de Computação Aplicada à Saúde (membro de comitê de programa). 2018. (Congresso).
SILVA, L. M. A. . WIM 2017 - Workshop de Informática Médica (membro de comitê de programa). 2017. (Congresso).
SILVA, L. M. A. . CTD 2017- Concurso de Teses e Dissertações (membro de comitê de programa). 2017. (Congresso).
SILVA, L. M. A. . SBMF 2017- Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2017. (Congresso).
SILVA, L. M. A. . CBSoft-WESB 2017 - Workshop de Engenharia de Software Baseada em Busca (membro de comitê de programa). 2017. (Congresso).
SILVA, L. M. A. . CSBC -WIM 2016 - Workshp de Informática médica (membro de comitê de programa). 2016. (Congresso).
SILVA, L. M. A. . CBSoft - SBMF 2016 - Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2016. (Congresso).
SILVA, L. M. A. . CBSoft -WESB 2016 - Workshop de Engenharia de Software Baseada em Busca (chair de comitê de programa). 2016. (Congresso).
SILVA, L. M. A. . EATIS 2016- Euro American Conference on Telematics and Information System (membro de comitê de programa). 2016. (Congresso).
SILVA, L. M. A. . CSBC-WIM 2015 - Workshop de Informática Médica (membro de comitê de programa). 2015. (Congresso).
SILVA, L. M. A. . CBSoft - SBES 2015- Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2015. (Congresso).
SILVA, L. M. A. . CBSoft - SBMF 2015 - Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2015. (Congresso).
SILVA, L. M. A. . CBSoft -WESB 2015 - Workshop de Engenharia de Software Baseada em Busca (membro de comitê de programa). 2015. (Congresso).
SILVA, L. M. A. . CBSoft -WTDSoft 2015 - Workshop de Teses e Dissertações em Engenharia de Software (membro de comitê de programa). 2015. (Congresso).
SILVA, L. M. A. . CBSoft-Tools 2015- Sessão de Ferramentas do CBSoft (membro de comitê de programa). 2015. (Congresso).
SILVA, L. M. A. . CLEI 2015- SLTC-Conferência latino-Americana em Informática (membro de comitê de programa). 2015. (Congresso).
SILVA, L. . CBSoft - SBES 2014 - Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2014. (Congresso).
SILVA, L. . CBSoft - SBMF 2014 - Brazilian Symposium of Formal Methods (membro de comitê de programa). 2014. (Congresso).
SILVA, L. . CLEI 2014-Conferência latino-Americana em Informática (membro de comitê de programa). 2014. (Congresso).
SILVA, L. . WPOS 2014 - Workshop de Trabalhos de Pós-Graduação da ERBASE (membro de comitê de programa). 2014. (Congresso).
SILVA, L. . EATIS 2014- Euro American Conference on Telematics and Information System (membro de comitê de programa). 2014. (Congresso).
SILVA, L. M. A. . CBSoft-WESB 2014- Woorkshop de Engenharia de Software Baseada em Busca (membro de comitê de programa). 2014. (Congresso).
SILVA, L. M. A. . CBSoft-Tools 2014- Sessão de Ferramentas do CBSoft (membro de comitê de programa). 2014. (Congresso).
SILVA, L. M. A. . CBSoft-WTDSoft- Workshop de Tese e Dissertações (membro de comitê de programa). 2014. (Congresso).
SILVA, L. M. A. . CSBC-WIM 2014 - Workshop de Informática Médica. 2014. (Congresso).
SILVA, L. . WIM 2013- Workshop de Informática Médica (membro de comitê de programa). 2013. (Congresso).
SILVA, L. . CSBC-CTD 2013 - Concurso de Teses e Dissertações (membro de comitê de programa). 2013. (Congresso).
SILVA, L. . SBMF 2013- Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2013. (Congresso).
SILVA, L. . CBSoft-WTDSoft 2013 - Workshop de Teses e Dissertação (membro de comitê de programa). 2013. (Congresso).
SILVA, L. . OBI 2013 - Olimpíada Brasileira de Informática ( coordenação estadual e membro de comitê nacional). 2013. (Outro).
SILVA, L. . Olímpiada Brasileira de Informática em Sergipe. 2013. (Outro).
SILVA, L. . CBSoft- SBES - Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2013. (Congresso).
SILVA, L. . CBSoft Tools - Sessão de Ferramentas do CBSoft (membro de comitê de programa). 2013. (Congresso).
SILVA, L. . WESB 2013 - Workshop em Engenharia de Software Baseada em Busca. 2013. (Congresso).
SILVA, L. . LAFM 2013 - Latin American Formal Methods (membro de comitê de programa). 2013. (Congresso).
SILVA, L. . OBI 2012 - Olimpíada Brasileira de Informática (coordenação local e membro de comitê diretivo nacional). 2012. (Outro).
SILVA, L. . SBMF 2012 - Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2012. (Congresso).
SILVA, L. . CTIC 2012- Concurso de Trabalhos de Iniciação Científica (membro de comitê científico). 2012. (Congresso).
SILVA, L. . WIM 2012 - Workshop de Informática Médica (membro de comitê científico). 2012. (Congresso).
SILVA, L. . WTDSoft 2012- Workshop de teses e dissertações de Engenharia de Software (membro de comitê de programa). 2012. (Congresso).
SILVA, L. . CBSoft-Tools 2012 -Congresso Brasileiro de Software - Trilha de Ferramentas (membro de comitê de programa). 2012. (Congresso).
SILVA, L. . WESB 2012 - Workshop on Search Based Software Engineering (membro de comitê científico). 2012. (Congresso).
SILVA, L. . Olimpíada Brasileira de Informática (em Sergipe). 2012. (Outro).
SILVA, L. . SULCOMP 2012 (membro de comitê de programa). 2012. (Congresso).
SILVA, L. . EATIS 2012- Euro American Conference on Telematics and Information System (membro de comitê de programa0. 2012. (Congresso).
SILVA, L. . CBSoft - Tutorias 2011 - Congresso Brasileiro de Software (membro do comitê científico diretivo). 2011. (Congresso).
SILVA, L. . SBMF 2011- Simpósio Brasileiro de Métodos Formais (membro do comitê restrito). 2011. (Congresso).
SILVA, L. . WIM 2011 - Workshop de Informática Médica (membro de comitê de programa). 2011. (Congresso).
SILVA, L. . CBSoft - Ferramentas 2011- Congresso Brasileiro de Software/Sessão de Ferramentas (membro de comitê de programa). 2011. (Congresso).
SILVA, L. . CTIC 2011 - Concurso de Trabalhos de Inciação Científica (membro do comitê de programa). 2011. (Congresso).
SILVA, L. . WTDSoft 2011 - Workshop de Teses e Dissertações do CBSoft (membro de comitê de programa). 2011. (Congresso).
SILVA, L. . OBI 2011 - Olimpíada Brasileira de Informática (coordenação local e membro do comitê nacional). 2011. (Outro).
SILVA, L. . SBMF 2010- Brazilian Symposium of Formal Methods (chair do comitê de programa). 2010. (Congresso).
SILVA, L. . WIM 2010 - Workshop Brasileiro de Informática Médica (membro do comitê de programa). 2010. (Congresso).
SILVA, L. . SBES 2010 - Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2010. (Congresso).
SILVA, L. . Concurso de Redação SBC Horizontes (membro de comitê avaliador). 2010. (Congresso).
SILVA, L. . EATIS 2010 - Euro American Conference on Telematics and Information System (membro de comitê de programa). 2010. (Congresso).
SILVA, L. . ICTAC 2010 - International Colloquium on Theoretical Aspects of Computing (revisora de artigo científico). 2010. (Congresso).
SILVA, L. . CBSoft 2010 - Tools Section - Congresso Brasileiro de Software: Teoria e Prática (membro de comitê de programa). 2010. (Congresso).
SILVA, L. . CLTM 2010 -Concurso Latinoamericano de Tesis de Maestría (membro de comitê avaliador). 2010. (Concurso).
SILVA, L. . Olimpíada Brasileira de Informática (coordenação estadual). 2010. (Outro).
SILVA, L. . CACIC 2010 - Congresso Argentino de Ciencias de la Computacion (revisora de artigo científico). 2010. (Congresso).
SILVA, L. . Olimpíada Brasileira de Informática - sede UFS (coordenadora estadual). 2009. (Outro).
SILVA, L. . WIM- Workshop de Informática Médica (membro de comitê de programa). 2009. (Congresso).
SILVA, L. . SBMF- Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2009. (Congresso).
SILVA, L. . CLEI - Conferência Latino Americana de Informática (membro de comitê de programa). 2009. (Congresso).
SILVA, L. . RULE - International Workshop on Rule-Based Specification and Programming (membro de comitê de programa). 2009. (Congresso).
SILVA, L. . EATIS- Euro American Conference in Telematics and Information System (membro de comitê programa). 2009. (Congresso).
SILVA, L. . ERBASE- Escola Regional de Computação Bahia- Alagoas-Sergipe (membro de comitê organizador). 2009. (Congresso).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2009. (Congresso).
SILVA, L. . CTIC - Concurso Nacional de Trabalhos de Iniciação Científica (membro de comitê de programa). 2009. (Concurso).
SILVA, L. . ICTAC -International Colloquium on Theoretical Aspects of Computing (revisora de artigo científico). 2009. (Congresso).
SILVA, L. . WISBD - Workshop de Engenharia de Software e Base de Dados (revisora de artigo científico). 2009. (Congresso).
SILVA, L. . ICFEM - International Conference on Formal Engineering Methods (revisora de artigo científico). 2009. (Congresso).
SILVA, L. . Olimpíada Brasileira de Informática - sede UFS (coordenadora). 2008. (Outro).
SILVA, L. ; NASCIMENTO, R. P. C. . EATIS - Euro American Conference on Telematics and Information Systems (general chair). 2008. (Congresso).
SILVA, L. . SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2008. (Congresso).
SILVA, L. . WIM - Workshop de Informática Médica (membro do comitê de programa). 2008. (Congresso).
SILVA, L. . SEMISH - Seminário Integrado de Hardware e Software (membro do comitê de programa). 2008. (Congresso).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2008. (Congresso).
SILVA, L. . FME - Formal Methods Europe (revisora de artigo científico). 2008. (Congresso).
SILVA, L. . WISBD - Workshop de Engenharia de Software e Base de Dados (revisora de artigo científico). 2008. (Congresso).
SILVA, L. . VSTTE - IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (revisora de artigo científico). 2008. (Congresso).
SILVA, L. . CTD - Concurso de Teses e Dissertações (revisora de artigo científico). 2008. (Concurso).
SILVA, L. . IEEE Internacional Conference on Software Engineering and Formal Methods - SEFM (revisora de artigo científico). 2008. (Congresso).
ANDRADE, Aline ; BITTENCOURT, Roberto ; ATTA, Antônio ; BRANCO, Simone ; SILVA, L. . VII ERBASE - Escola Regional de Computação Bahia Alagoas Sergipe (membro do comitê organizador). 2007. (Congresso).
SILVA, L. . Olimpíada Brasileira de Informática - sede UFS (coordenadora). 2007. (Outro).
NASCIMENTO, R. P. C. ; SILVA, L. . EATIS - Euro American Association on Telematics and Information Systems (membro do permanent advisory committee). 2007. (Congresso).
SILVA, L. . SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2007. (Congresso).
SILVA, L. . WIM - Workshop de Informática Médica (membro do comitê de programa). 2007. (Congresso).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2007. (Congresso).
SILVA, L. . SEFM - Software Engineering and Formal Methods (revisora de artigo científico). 2007. (Congresso).
SILVA, L. . WISBD - Workshop de Engenharia de Software e Base de Dados (revisora de artigo científico). 2007. (Congresso).
SILVA, L. . SBLP - Simpósio Brasileiro de Linguagens de Programação (revisora de artigo científico). 2007. (Congresso).
SILVA, L. ; MATOS, Leonardo Nogueira ; PIRES, Christiane . VI ERBASE - Escola Regional de Computação Bahia Sergipe (coordenadora). 2006. (Congresso).
SILVA, L. . SeTra - Worshop on Software Evolution through Transformation (membro do comitê de programa). 2006. (Congresso).
SILVA, L. . EATIS - Euro American Association on Telematics and Information Systems (membro de comitê de programa). 2006. (Congresso).
SILVA, L. . SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2006. (Congresso).
SILVA, L. . WIM - Workshop de Informática Médica (membro do comitê de programa). 2006. (Congresso).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2006. (Congresso).
SILVA, L. . WISBD - Workshop de Engenharia de Software e Base de Dados (revisora de artigo científico). 2006. (Congresso).
SILVA, L. ; ATTA, Antônio ; BRANCO, Simone ; ANDRADE, Aline ; BITTENCOURT, Roberto . V ERBASE - Escola Regional de Computação Bahia Sergipe (membro do comitê organizador). 2005. (Congresso).
SILVA, L. . Maratona de Programação - sede Aracaju (coordenadora). 2005. (Outro).
SILVA, L. . III WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe (membro do comitê de programa). 2005. (Congresso).
SILVA, L. . SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2005. (Congresso).
SILVA, L. . WIM - Workshop de Informática Médica (membro do comitê de programa). 2005. (Congresso).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2005. (Congresso).
SILVA, L. . CTIC - Concurso de Trabalhos de Iniciação Científica (membro do comitê de programa). 2005. (Congresso).
SILVA, L. . II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe (chair do comitê de programa). 2004. (Outro).
SILVA, L. . IV ERBASE - Escola Regional de Computação Bahia-Sergipe (membro do comitê organizador). 2004. (Outro).
SILVA, L. . SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2004. (Congresso).
SILVA, L. . WIM - Workshop de Informática Médica (membro do comitê de programa). 2004. (Congresso).
SILVA, L. . JAI - Jornadas de Atualização em Informática (membro do comitê de programa). 2004. (Congresso).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2004. (Congresso).
SILVA, L. . SEFM - Software Engineering and Formal Methods (revisora de artigo científico). 2004. (Congresso).
SILVA, L. ; ANDRADE, A. M. S. ; MOREIRA, I. ; AMORIM, C. ; KLAUCK, H. ; OLIVEIRA, J. A. ; RODRIGUES, J. ; MASSA, M. ; COSTA, S. . I WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Garduação Bahia-Sergipe (chair do comitê de programa). 2003. (Outro).
SILVA, L. . III ERBASE - Escola Regional de Computação Bahia-Sergipe (membro do comitê organizador). 2003. (Outro).
Machado, P. ; SILVA, L. . SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2003. (Congresso).
SILVA, L. . WIM - Workshop de Informática Médica (membro do comitê de programa). 2003. (Congresso).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2003. (Congresso).
SILVA, L. . CSITeA - International Conference on Computer Science, Software Engineering, Information technology, e-Business and Applications (membro do comitê de programa). 2003. (Congresso).
SOARES, Ana Rosimere ; SILVA, L. ; ANDRADE, A. M. S. ; AMORIM, C. ; MOREIRA, I. ; KLAUCK, H. ; RODRIGUES, J. ; SANTOS, S. . II ERBASE - Escola regional de Computação Bahia - Sergipe (vice-coordenadora). 2002. (Outro).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2002. (Congresso).
SILVA, L. . Workshops do Congresso Brasileiro de Engenharia de Software (chair do comitê de seleção de wokshops). 2002. (Congresso).
SILVA, L. . I Jornada de Informática (coordenadora). 2001. (Congresso).
SILVA, L. . SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2001. (Congresso).
Participação em eventos
WESB 2016. SBSE na UFS. 2016. (Congresso).
Brazilian Symposium of Formal Methods. 2013. (Congresso).
CBSoft 2013. 2013. (Congresso).
CSBC 2013. 2013. (Congresso).
WESB 2013. Usando Hill Climbing para Identificação de Componentes de Software Similares. 2013. (Congresso).
CBSoft 2012. 2012. (Congresso).
Euro American Conference in Informatics and Telecomunicartion Systems. Sisped 2.0: An Extension of a System to Monitor Diabetic Patients. 2012. (Congresso).
CBSoft 2011. 2011. (Congresso).
CSBC 2010. 2010. (Congresso).
ECOOP 2010 - European Conference on Object-Oriented Programming. 2010. (Congresso).
SBMF. 2008. (Congresso).
SEFM 2008. Laws of Object-Orientation with Reference Semantics. 2008. (Congresso).
Congresso da Sociedade Brasileira de Computação. 2007. (Congresso).
VII ERBASE - Escola regional Bahia Alagoas Sergipe.Painel sobre a Oimpíada Brasileira de Informática. 2007. (Outra).
Congresso da Sociedade Brasileira da Computação. Vários trabalhos no WCOMPA. 2006. (Congresso).
Simpósio Brasileiro de Métodos Formais.Chair de sessâo técnica. 2006. (Simpósio).
Congresso da Sociedade Brasileira de Computação. 2005. (Congresso).
Simpósio Brasileiro de Métodos Formais. 2005. (Simpósio).
Congresso da Sociedade Brasileira de Computação. Painel de Diferenças Regionais - Curso de Qualidade. 2004. (Congresso).
IV ERBASE - Escola Regional de Computação Bahia Sergipe.Coordenação dos Trabalhos do WTICG. 2004. (Outra).
SBMF - Simpósio Brasileiro de Métodos Formais. 2004. (Simpósio).
Congresso da Sociedade Brasilieira de Computação. 2003. (Congresso).
Simpósio Brasileiro de Métodos Formais. 2003. (Simpósio).
WIM - Workshop de Informática Médica.Chair de sessão técnica. 2003. (Outra).
CQ.Curso de Qualidade. 2002. (Outra).
CSBC. Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).
ERBASE.Escola Regional de Computação Bahia Sergipe. 2002. (Outra).
SBES.Simpósio Brasileiro de Engenharia de Software. 2002. (Simpósio).
WIM.Workshop de Informática Médica. 2002. (Outra).
WMF.Workshop de Métodos Formais. 2002. (Outra).
CQ.Curso de Qualidade. 2001. (Outra).
CSBC. Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).
FME 2001. Formal Methods Europe. 2001. (Congresso).
SBES.Simpósio Brasileiro de Engenharia de Software. 2001. (Simpósio).
WMF.Workshop de Métodos Formais. 2001. (Outra).
SBES.Simpósio Brasileiro de Engenharia de Software. 2000. (Simpósio).
WMF.Workshop de Métodos Formais. 2000. (Outra).
CSBC. Congresso da Sociedade Brasileira de Computação. 1997. (Congresso).
FME 97. Formal Methods Europe. 1997. (Congresso).
CSBC. Congresso da Sociedade Brasileira de Computação. 1996. (Congresso).
Workshop Bras. Hard/Soft Co-design.Workshop Brasileiro de Hardware/Software Co-design. 1996. (Outra).
VIII Escola de Computação.Escola de Computação. 1992. (Outra).
Escola de Grafos Perfeitos.Escola de Grafos Perfeitos. 1991. (Outra).
Workshop de Combinatória.Workshop de Combinatória. 1991. (Outra).
VII Escola de Computação.Escola de Computação. 1990. (Outra).
Participação em bancas
SILVA, L.CARVALHO, André Britto deCOSTA NETO, Alberto; Colanzi, T. E.. Otimização com Muitos Objetivos por Evolução Diferencial Aplicada ao Escalonamento Dinâmico de Projeto de Software. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.
NASCIMENTO, R. P. C.SILVA, L.; A.C. Dias. A Influência da Personalidade Humana na Qualidade do Software Produzido. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.
CARVALHO, André Britto deSILVA, L.; M.S. Soares; PRUDENCIO, R. B. C.. Investigando Algoritmos Baseados em Estimadores de Distribuição e Técnicas da Otimização com Muitos Objetivos na Refatoração Automática de Software. 2017. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.
M.S. Soares;SILVA, L.; COSTA, Heitor. UMA TÉCNICA BASEADA EM EVENTOS PARA RASTREABILIDADE ENTRE REQUISITOS MODELADOS COM SysML. 2017. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; Elias, Gledson; Clauirton Siebra. Uma Abordagem Ontológica para Recomendação de Equipes Qualificadas em projetos de desenvolvimento distribuído de linhas de produto de software. 2014. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba.
SILVA, L.; Elias, Gledson; Clauirton Siebra. Uma Abordagem para Seleção de Equipes Tecnicamente Qualificadas para Implementação de Projetos de Software. 2014. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba.
SILVA, L. M. A.; Elias, Gledson;COSTA NETO, Alberto. Investigando a refatoração automática de software baseada em algoritmos de otimização multiobjetivos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.
COSTA NETO, Alberto; SILVA, L. M. A.; GHEYI, Rohit. Avaliação de Técnicas de Linha de Produto de Software no Processo de Adaptação e Manutenção de Sistemas Customizáveis. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.
Oliveira, Adicineia;SILVA, L.; Judith Mendoza; Fernanda Alencar. UMA ABORDAGEM PARA O PROCESSO DE ENGENHARIA DE REQUISITOS SOB A ÓTICA DA GESTÃO DE PROCESSOS DE NEGÓCIO. 2012. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; SAMPAIO, Augusto César Alves; BORBA, Paulo. Geração Automática de Casos de Teste CSP Orientado por Propósito. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SILVA, L.; MENDONÇA NETO, Manoel Gomes de; SANTOS, Celso Alberto Saibel. Frameworks de Aplicações Orientadas a Objetos: Uma Abordagem Iterativa e Incremental. 2003. Dissertação (Mestrado em Mestrado Profissional Em Redes de Computadores) - Universidade Salvador.
COSTA NETO, AlbertoSILVA, L.; GHEYI, Rohit. Aprimorando o Processo de Customização de Sistemas Individuais Através de Soluções Adotadas na Construção de Linhas de Produtos de Software. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.
COSTA NETO, AlbertoSILVA, L.; Sílvia Virgílio. Aplicando Algoritmos de Busca para Realizar a Refatoração de Software Objetivando a Manutenabilidade. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.
COSTA NETO, Alberto; Oliveira, Adicineia;SILVA, L.NASCIMENTO, R. P. C.. Proposta de Aperfeiçoamento da Metodologia PEETIC. 2012. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.
Oliveira, Adicineia; Fernanda Alencar; Judith Mendoza;SILVA, L.. Uma Abordagem para Extensão do Processo de Engenharia de Requisitos sob a Ótica BPM. 2011. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; SCHNEIDER, Henrique Nou; Almeida, Charlton. L. Tavares e Erika Ferreira da Conceição. Modelo de Maturidade de Capacitação de Pessoas: Investigando o Nível de Maturidade de Empresas Locais. 2010. Monografia (Aperfeiçoamento/Especialização em Especialização em Gestão de Projetos de Software) - Universidade Federal de Sergipe.
SILVA, L.DÓSEA, Marcos; Oliveira, Adicineia. Estudo de Caso de um Processo de Gerenciamento de Projetos de Software baseado em Métodos Ágeis e no modelo MPS.br. 2010. Monografia (Aperfeiçoamento/Especialização em Especialização em Gestão de Projetos de Software) - Universidade Federal de Sergipe.
SILVA, L.; NASCIMENTO, Débora; Machado, Breno. Costa e Jean Carlos de O. Ramos. Proposta de Implementação do Nível F do MPS.Br em uma Empresa de Médio Porte. 2010. Monografia (Aperfeiçoamento/Especialização em Especialização em Gestão de Projetos de Software) - Universidade Federal de Sergipe.
PALMA, G. F. L.;SILVA, L.; NASCIMENTO, Débora. PLUS - Planejamento Unificado de Software. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.
SILVA, L.; NASCIMENTO, Débora; PALMA, G. F. L.. Desenvolvimento de um Sistema de Gestão de Almoxarifado para o Serviço Público Federal. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.
SILVA, L.COSTA NETO, Alberto; PALMA, G. F. L.. Lima, A. Meneses e E.F. Santos. Testes de Software: Teoria e Prática. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.
SILVA, L.; MATOS, Leonardo Nogueira; PALMA, Giovanny F L. Gonax - ferramenta CASE para criar projetos e gerar código-fonte. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.
COSTA NETO, AlbertoSILVA, L.; MATOS, Leonardo Nogueira. Carvalho. Avaliação do Processo àgil FDD para Empresas Pequenas de Desenvolvimento. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.
SILVA, L.CARVALHO, André Britto de; Gusmão, R.. IA-GPS: Uma ferramenta baseada em algoritmos de busca para alocação de equipes em projetos de software. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; NASCIMENTO, Débora. Desenvolvimento ágil de um sistema web para auxiliar o monitoramento da febre amarela utilizando Scrum. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; RIBEIRO, Breno Piva. Otimização com Muitos Objetivos Aplicada ao Problema do Escalonamento Dinâmico em Projeto de Software. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.CARVALHO, André Britto de; RIBEIRO, Breno Piva. Uma abordagem para o Problema do Escalonamento Dinâmico em Projeto de Software. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
M.S. Soares;SILVA, L.; PALMA, Giovanny F L. Verificações Formais com Redes de Petri Coloridas em Processos de Saúde Modelados com BPMN. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
CARVALHO, André Britto deSILVA, L.COSTA NETO, Alberto. Extração de Conhecimento para Auxiliar a Tomada de Decisão da Coordenação dos Cursos da Área de Computação da Universidade Federal de Sergipe. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
PALMA, Giovanny F L;SILVA, L.CARVALHO, André Britto de. Uma Estratégia para Implementar Refatorações Seguras no Eclipse. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
COSTA NETO, Alberto; MACEDO, Hendrik;SILVA, L.. Abordagens de Recomendação Baseadas no Algoritmo Slope One. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.COSTA NETO, Alberto; MACEDO, Hendrik. Aplicando a técnica de agrupamento de dados em repositórios de componentes de software. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.COSTA NETO, Alberto; NASCIMENTO, Débora. Uma abordagem para o gerenciamento integrado de testes manuais e automatizados no Testlink. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; Nunes, Maria Augusta; Montalvão, J.. PersonaliKey: uma ferramenta de extração de traços de personalidade através do ritmo de digitação. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
Oliveira, Adicineia;SILVA, L.; Oliveira, Kleber. Uma proposta de relevância para classificação de produtos baseada nas características do consumidor. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.COSTA NETO, Alberto; Oliveira, Adicineia. Métricas de Software: Teoria e Aplicações. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
MACEDO, Hendrik;SILVA, L.; Nunes, Maria Augusta. Estudo Empirico de Algoritmos de Filtragem de Informação. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
MATOS, Leonardo Nogueira;SILVA, L.; Montalvão, J.. Desenvolvimento de Sistema Neural de Suporte ao Processo de Zoneamento Ambiental a partir de Dados Categóricos. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; PALMA, Giovanny F L; NASCIMENTO, Débora. Estudo da Adequação do Uso da Plataforma .Net e da Metodologia de Desenvolvimento XP na Elaboração de um Software para a área Médica. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; MATOS, Leonardo Nogueira; METHANIAS. Análise das Principais Técnicas de Mineração de dados com Enfoque em Agrupamento. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; PALMA, Giovanny F L; BRUNELLI, Luiz. Explorando UML-RT na Modelagem de Sistemas Mecatrônicos. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; PALMA, Giovanny F L; COX, Kenia Kodel. Explorando Sistemas de Reescrita na Formalização de refactorings. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; COX, Kenia Kodel; BRUNELLI, Luiz. Explorando Algoritmos Inspirados em Colônias de Formigas e Redes neurais no Contexto do Agrupamento de Dados em Quimiotaxonomia. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
PALMA, Giovanny F L;SILVA, L.; COX, Kênia Kodel. Extensões e Dados de Tempo para o LIFT. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; NASCIMENTO, Débora; COX, Kênia Kodel. e-Patite: Um Sistema de Triagem de Doadores de Sangue Sujeitos à Presença de Hepatites. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; MATOS, Leonardo Nogueira; PALMA, Giovanny F L. ChemoTax: Uma Ferramenta Para Auxiliar a Pesquisa de Fitoterápicos. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; PALMA, Giovanny F L; COX, Kênia Kodel. Explorando Sistemas de Reescrita no Contexto de Co-design. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.COSTA NETO, Alberto; COX, Kênia Kodel. SISPED: Um Sistema Web para o Tratamento do Pé Diabético. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.COSTA NETO, Alberto; COX, Kênia Kodel. PERIODONT: Um Sistema para Triagem de Pacientes com Doenças Periodontais. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; SANTOS, K. M.; FREIRE, Antônio Monteiro. Uma Abordagem de Alinhamento e Recuperação de Seqüências Fonéticas Utilizando Técnicas da Biologia Computacional. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; COX, Kenia Kodel; SANTOS, K. M.. Análise Computacional de expressão Gênica Gerados por experimentos de DNA Microarrays. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.COSTA NETO, Alberto; FREIRE, Antônio Monteiro. Estudo de Tecnologias e Ferramentas para a Implementação da Camada de Persistência do SCAA. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; COX, Kenia Kodel; SANTOS, K. M.. Atlantis: Um Jogo 3D Multi-usuário. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.COSTA NETO, Alberto; COX, Kenia Kodel. O Meta-Engenho de Busca TRALK. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; FREIRE, Antônio Monteiro;COSTA NETO, Alberto. SCAA: Sistema de Controle Acadêmico Administrativo. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; SANTOS, K. M.;COSTA NETO, Alberto. Sistema de Controle de Recursos via Web para a UFS. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; SANTOS, K. M.;COSTA NETO, Alberto. As Tarefas de Extração e Transformação de Dados em Sistemas Legados. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; FREIRE, Antônio Monteiro; FONTES, W.. SISPED: Sistema de Tratamento do Pé Diabético. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; SOUZA, H.; SANTANA, J.. Desenvolvimento de uma Aplicação com Interface Web para a Configuração de Segurança em Ambiente Linux. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; PALMA, G. F. L.; SOARES, Ana Rosimere. Aperipê: Implantação de Serviços de Web para o Site do DCCE. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, L.; COSTA, R. M.; SOUZA, A. C.. Mini-tutorial para auxiliar o ensino de Algoritmos em Grafos. 1995. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Federal de Sergipe.
SILVA, L. M. A.; Sérgio Medeiros; Dantas, Daniel. Concurso para Professor Adjunto. 2014. Universidade Federal de Sergipe.
Scarpinati, Maurício;SILVA, L.; Caminha, Vera Lúcia. Concurso para Professor Assistente. 2011. Universidade Estadual de Feira de Santana.
NASCIMENTO, R. P. C.SILVA, L.; Mendes Neto, F. M.. Concurso para Prof Adjunto portaria 10/2009. 2009. Universidade Federal de Sergipe.
SILVA, L.; FREIRE, Antônio Monteiro; NASCIMENTO, Débora. Professor substituto (portaria 04/2006). 2006. Universidade Federal de Sergipe.
SILVA, L.; SALGUEIRO, R.; BRUNELLI, Luiz. Peofessor Substituto (portaria 28/2006). 2006.
SILVA, L.; GREVE, Fabíola G Pereira; CAVALCANTI, Sérgio Vanderlei. Professor Adjunto. 2004. Universidade Federal da Bahia.
SILVA, L.; SAMPAIO, Augsto; SCHNEIDER, Henrique Nou. Professor Assistente. 2004. Universidade Federal de Sergipe.
SILVA, L.; FREIRE, Antônio Monteiro;COSTA NETO, Alberto. Professor Substituto. 2003. Universidade Federal de Sergipe.
SILVA, L.; GUIMARAES, K.; SANTOS, A.. Professor Adjunto (presidente). 2002. Universidade Federal de Sergipe.
SILVA, L.; ROSA, N. S.; SOARES, Ana Rosimere. Professor Assistente (membro). 2002. Universidade Federal de Sergipe.
SILVA, L.; COX, Kenia Kodel; FREIRE, Antônio Monteiro. Professor Substituto. 2002. Universidade Federal de Sergipe.
SILVA, L.; FREIRE, Antônio Monteiro; SOARES, Ana Rosimere. Professor Substituto. 2002. Universidade Federal de Sergipe.
SILVA, L.; FREIRE, Antônio Monteiro; SOARES, Ana Rosimere. Professor Substituto. 2002. Universidade Federal de Sergipe.
SILVA, L.. Professor Substituto (portaria no. 09 de 13/02/2001). 2001. Universidade Federal de Sergipe.
SILVA, L.. Professor Substituto (portaria no. 12 de 10/04/2001). 2001. Universidade Federal de Sergipe.
SILVA, L.. Professor Substituto (portaria no. 14 de 18/04/2001). 2001. Universidade Federal de Sergipe.
SILVA, L.. Professor Substituto (portaria no. 19 de 10/12/2001). 2001. Universidade Federal de Sergipe.
SILVA, L.. Professor Substituto (portaria no. 20 de 10/12/2001). 2001. Universidade Federal de Sergipe.
SILVA, L.. Professor Visitante (portaria no. 07 de 13/02/2001). 2001. Universidade Federal de Sergipe.
SILVA, L.. Professor Visitante (portaria no. 17 de 25/06/2001). 2001. Universidade Federal de Sergipe.
SILVA, L.. Professor Substituto (presidente). 1995. Universidade Federal de Sergipe.
SILVA, L.. Professor Substituto (membro em 4 bancas de 1/1993-12/1995 ). 1995. Universidade Federal de Sergipe.
SILVA, L.. Professor Visitante (membro). 1995. Universidade Federal de Sergipe.
SILVA, L.. Professor Auxiliar de Ensino (membro). 1994. Universidade Federal da Bahia.
SILVA, L.; Macedo, R,; Benevides, M.R. F.; Queiroz, Rui; Martins, A. T.; Teixeira, C. A,. Progressão funcional para Professor Titular da Profa Aline Andrade. 2019. Universidade Federal da Bahia.
SILVA, L.. Progressão funcional para Professor Titular da Profa. Fabíola Greve. 2018. Universidade Federal da Bahia.
Nunes, Maria Augusta; Rocha, Tarcísio;SILVA, L.. Seleção para Prof. Substituto. 2010. Universidade Federal de Sergipe.
SILVA, L.; PALMA, Giovanny F L; SALGUEIRO, R.. Monitoria Remunerada (portaria 01/2006). 2006. Universidade Federal de Sergipe.
SILVA, L.; SALGUEIRO, R.; PALMA, Giovanny F L. Monitoria Remunerada (portaria 02/2006). 2006. Universidade Federal de Sergipe.
SILVA, L.; PALMA, G. F. L.; SALGUEIRO, R.. Aproveitamento de Estudos (portaria 11/2006). 2006. Universidade Federal de Sergipe.
SILVA, L.; PALMA, Giovanny F L; SALGUEIRO, R.. Monitoria Remunerada (portaria 03/2006). 2006. Universidade Federal de Sergipe.
Orientou
Otimização com Muitos Objetivos por Evolução Diferencial Aplicada ao Escalonamento Dinâmico de Projeto de Software; 2019; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, ; Orientador: Leila Maciel de Almeida e Silva;
Otimização Multiobjetivo por Múltiplos Enxames Aplicada ao Escalonamento Dinâmico de Projetos de Software; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, ; Coorientador: Leila Maciel de Almeida e Silva;
Algoritmos Baseados em Estimadores de Distribuição e Técnicas da Otimização com Muitos Objetivos aplicados naRefatoração Automática de Software; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, ; Coorientador: Leila Maciel de Almeida e Silva;
Ambiente Virtual de Aprendizagem: Ferramenta de Ensino para o Processo de Enfermagem; 2015; Dissertação (Mestrado em Mestrado em Ciências da Saúde) - Universidade Federal de Sergipe, ; Coorientador: Leila Maciel de Almeida e Silva;
Investigando a refatoração automática de software baseada em algoritmos de otimização multiobjetivos; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, ; Orientador: Leila Maciel de Almeida e Silva;
ELABORAÇÃO E AVALIAÇÃO DA FERRAMENTA DO PACIENTE VIRTUAL NO ENSINO DA FARMACOTERAPIA E DESENVOLVIMENTO DE HABILIDADES DE COMUNICAÇÃO DOS ESTUDANTES DE FARMÁCIA; 2011; Dissertação (Mestrado em Ciências da Saude) - Universidade Federal de Sergipe, ; Coorientador: Leila Maciel de Almeida e Silva;
Uma Metodologia para Sistemas Mecatrônicos; 2006; 0 f; Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia, ; Coorientador: Leila Maciel de Almeida e Silva;
Validação da ferramenta do Paciente Virtual no ensino de competências para a prática da Atenção Farmacêutica; 2013; Tese (Doutorado em Ciências da Saude) - Universidade Federal de Sergipe, ; Coorientador: Leila Maciel de Almeida e Silva;
Tavares e Erika Ferreira da Conceiçã; Modelo de Maturidade de Capacitação de Pessoas: Investigando o nível de maturidade de empresas locais; 2010; Monografia; (Aperfeiçoamento/Especialização em Especialização em Gestão de Projetos de Software) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma Análise das Metodologias Ágeis FDD e Scrum sob a Perspectiva do Modelo de Qualidade MPS; BR; 2008; Monografia; (Aperfeiçoamento/Especialização em Especializaçao em Engenharia de Software) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Vasconcelos e Valdívia Marques Bomfim; Estudo da Adequação das Metodologias RUP e XP para atingir os níveis G e F do MPS; BR; 2008; Monografia; (Aperfeiçoamento/Especialização em Especializaçao em Engenharia de Software) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
F; Lima, Alfredo M; Vieira e Luiz Eduardo F; Santos; Testes de Software: Teoria e Ferramentas; 2007; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Lôbo, Annanette R; B; Oliveira e José W; G; Chaves; Desenvolvimento de um Sistema de Gestão de Almoxarifado para o Serviço Público Federal; 2007; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Souza e Eduardo Silveira Garcez; GonaX: Ferramenta CASE para criar projetos e gerar código fonte; 2007; Monografia; (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Otimização com Muitos Objetivos Aplicada ao Problema do Escalonamento Dinâmico em Projeto de Software; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Aedes aegypti Mapping Tool (AaMT): Proposta de um Sistema de Geomapeamento de Focos do Aedes aegypti; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Desenvolvimento ágil de um sistema web para auxiliar o monitoramento da febre amarela utilizando Scrum; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma Abordagem para o Problema do Escalonamento Dinâmico em Projeto de Software; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma ferramenta para alocação de equipes baseada em meta-heurísticas (título provisório); 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma Estratégia para a Verificação de Implementações de Sistemas de Controle em Safety-Critical Java (coorientação); 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Abordagens de Recomendação baseadas no Algoritmo Slope One; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma abordagem para o gerenciamento integrado de testes manuais e automatizados no Testlink; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Aplicando a técnica de agrupamento de dados em repositórios de componentes de software; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Métricas de Software: Teoria e Aplicações; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Estudo da Adequação do uso da Plataformaa ; net e da Metodologia de desenvolvimento XP na elaboração de um software para a área médica; 2006; 80 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando Algoritmos Inspirados em Colônias de Formigas e Redes neurais no Contexto do Agrupamento de Dados em Quimiotaxonomia; 2006; 80 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando UML-RT para a Modelagem de Sistemas Mecatrônicos; 2006; 90 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando Sistemas de Reescrita na Formalização de Refactorings; 2006; 110 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Análise das Principais Técnicas de Mineração de Dados com enfoque em Agrupamento; 2006; 90 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Automação da triagem de doadores de sangue segundo a presença de Hepatite; 2005; 70 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando algoritmos hierárquicos e não hierárquicos para a resolução do agrupamento de plantas baseado na quimiotaxonomia; 2005; 70 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
PERIODONT- Um Sistema Web para Triagem de Pacientes com Doenças Periodontais; 2004; 49 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
SISPED: Um Sistema Web para o Tratamento do Pé Diabético; 2004; 85 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando Sistemas de Reescrita no Contexto de Co-design; 2004; 65 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando Sistemas de Reescrita no Contexto de Co-design; 2004; 65 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Análise Computacional de Expressão Gênica: Uma Visão Geral; 2003; 55 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
TRALK: Um meta-engenho de busca; 2003; 69 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
TRALK: Um meta-engenho de busca; 2003; 69 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma Abordagem para o Alinhamento e Recuperação de Seqüências Fonéticas Usando Técnicas de Biologia Computacional; 2003; 70 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Desenvolvimento de Jogos Computacionais Multiusuário em Ambiente de Realidade 3D; 2003; 62 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma Abordagem para o Alinhamento e Recuperação de Seqüências Fonéticas Usando Técnicas de Biologia Computacional; 2003; 70 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Modelagem de um Sistema de Apoio à Administração dos Departamentos de Universidades; 2002; 60 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Modelagem de um Sistema de Apoio à Administração de Departamentos em Universidades; 2002; 60 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
SISPED:Sistema Salvando o Pé Diabético; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Desenvolvendo Aplicações para a Web para Configuração de Segurança em Linux; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Desenvolvendo Aplicações para a Web para Configuraçãoes de Segurança em Linux; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Mini-tutorial para auxiliar o ensino de Algoritmos em Grafos; 1995; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Informática) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
A Ferramenta AaMT: Módulo de Pesquisa; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Módulo mobile da ferramenta para monitoramento do mosquito Aedes Aegypti; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Aplicação do NSGA-III ao Problema do Escalonamento e Atribuição de Tarefas em Projetos de Software; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Aplicação do EDA ao Problema do Escalonamento e Atribuição de Tarefas em Projetos de Software; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando a Meta-heurística SMPSO no Contexto do SPSP estático; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando a Meta-heurística PSO Multiobjetivo no Contexto do SPSP Dinâmico; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando a Meta-heurística SigmaPSO no Contexto do SPSP estático; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando a plataforma FIWARE no contexto do controle de doenças propagadas pelo Aedes Aegypti; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando a plataforma FIWARE para o desenvolvimento de uma aplicação em saúde coletiva; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando a Meta-heurística Inspirada em Reações Químicas (CRO) no Contexto do SPSP; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Explorando a Abordagem de Enxame de Insetos em Engenharia de Requisitos; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Explorando a Meta-heurística de Colônia de Formigas em Engenharia de Requisitos; 2014; Iniciação Científica - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Explorando a Abordagem Multi-objetivo em Engenharia de Requisitos; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Construção de um sistema para auxiliar o Ensino da Assistência em Enfermagem; 2014; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Um sistema para auxiliar o Ensino da Assistência em Enfermagem; 2014; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Validando e estendendo um sistema de Auxílio à Enfermagem; 2014; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Explorando Algoritmos de Otimização no contexto de Requisitos em Engenharia de Software; 2013; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Explorando Algoritmos de Otimização no Contexto de Manutenção de Sistemas; 2013; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Aplicando a meta-heurística de Colônia de Formigas no Contexto de Desenvolvimento Baseado em Componenetes; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Construindo módulos do Sistema de Auxílio ao Tratamento do Pé Diabético; 2012; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Investigando algoritmos de agrupamento baseados em grafos para segmentação de imagens; 2011; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Construindo a Versão 2 do SISPED; 2011; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Projetando e implementando o módulo do Endócrino no SISPED; 2011; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
PV-UFS: Simulando um Paciente Virtual no Contexto da Farmacoterapia; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
PV-UFS: Simulando um Paciente Virtual no Contexto da Farmacoterapia; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Algoritmos de Agrupamento baseados em Técnicas Evolutivas no Contexto da Quimiotaxonomia; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Clusterização em Repositório distribuído de Componentes; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Algoritmos de agrupamento baseados em coloração em grafos no contexto da Quimiotaxonomia; 2009; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Algoritmos de agrupamento baseados em árvores geradoras mínimas no contexto da quimiotaxonomia; 2009; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma ferramenta para auxiliar no planejamento de fármacos; 2006; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Explorando o Paradigma de Aspectos no Desenvolvimento de Sistemas Mecatrônicos; 2006; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando algoritmos basedos em insetos socias para a classificação de plantas medicinais; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Prova Formal de Refactorings usando sistemas de reescrita; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Linguagens de Programação Funcionais e Reativas para o Ensino de Física; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Verificação de Sistemas Concorrentes descritos em E-Lotos; ; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Um Sistema para Triagem de Doadores Suspeitos de Serem Portadores de Hepatite; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Explorando algoritmos de ranking no meta-engenho TRALK; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Um Sistema para Auxiliar a Pesquisa de Fitoterápicos Baseado na Quimiotaxonomia; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Fundação de Amparo à Pesquisa do Estado de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Explorando o CafeOBJ na Prova de Regras Algébricas em Co-design; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Um Sistema para Auxiliar na Prevenção do Pé Diabético; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Um Sistema para Auxiliar na Prevenção de Doenças Periodontais; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Explorando BOBJ na Prova de Regras Algébricas; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Identificação de Similaridades de Seqüências DNA usando Técnicas Computacionais; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
InterfaceUFS: Projetando a Interação com o usuário do SisPesqUFS; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Prova Automática de Regras de Utilizadas em Projeto de Sistemas Embarcados; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
MetaUFS: Um núcleo do Meta-Engenho de Busca SisPesqUFS; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
RankUFS: O módulo do Meta-Engenho de Busca SisPesqUFS para classificar e exibir documentos relevantes; ; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Análise Funcional de Seqüências de Nucleotídeos e Aminoácidos Utilizando Ferramentas Computacionais; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Prova Automática de regras algébricas usando o Cafe-OBJ; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Criação de um sistema de computação para cadastramento e manipulação dos resultados obtidos de ensaios de sondagem à percussão na cidade de Aracaju; 1995; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Informática) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Criação de um sistema para cadastramento e manipulação dos resultados obtidos de ensaios à percussão na cidade de Aracaju; 1995; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Informática) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Leila Maciel de Almeida e Silva;
Uma proposta para a disseminação da Ciência da Computação em Escolas do ensino fundamental e médio; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma proposta para disseminar o interesse sobre a Ciência da Computação no ensino fundamental e médio; 2014; Orientação de outra natureza; (Engenharia da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma proposta para disseminar o interesse sobre a Ciência da Computação no ensino fundamental e médio; 2013; Orientação de outra natureza; (Engenharia da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma proposta para disseminar o interesse sobre a Ciência da Computação no ensino fundamental e médio; 2012; Orientação de outra natureza; (Engenharia da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria em Projeto e Análise de Algoritmos; 2012; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Introdução à Ciência da Computação para Jovens; 2011; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Projeto e Análise de Algoritmos; 2011; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Grafos e Algoritmos Computacionais; 2010; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Projeto e Análise de Algoritmos; 2010; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma Proposta de Disseminação da Ciência da Computação em Escolas do Ensino Fundamental; 2010; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Projeto e Análise de Algoritmos; 2010; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Uma Proposta de Disseminação da Ciência da Computação em Escolas do Ensino Fundamental; 2009; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Projeto e Análise de Algoritmos; 2009; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Projeto e Análise de Algoritmos; 2008; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Projeto e Análise de Algoritmos; 2008; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Grafos e Algoritmos Computacionais; 2006; 0 f; Orientação de outra natureza - Universidade Federal de Sergipe, Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria em Linguagens de Programação; 2006; 0 f; Orientação de outra natureza - Universidade Federal de Sergipe, Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria de Projeto e Análise de Algoritmos; 2005; 0 f; Orientação de outra natureza - Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Monitoria em Grafos; 2004; 0 f; Orientação de outra natureza - Universidade Federal de Sergipe, Universidade Federal de Sergipe; Orientador: Leila Maciel de Almeida e Silva;
Produções bibliográficas
-
REZENDE, ALLAN VINICIUS ; SILVA, LEILA ; BRITTO, ANDRÉ ; AMARAL, RODRIGO . Software project scheduling problem in the context of search-based software engineering: A systematic review. JOURNAL OF SYSTEMS AND SOFTWARE , v. 155, p. 43-56, 2019.
-
Blicie Rocha ; Menendez, Elisa ; SILVA, L. M. A. ; Guimarães, V. G. ; Britto, G. C. ; Mesquita, A. R. ; Magalhães, G. F. ; Lyra Jr, Divaldo . Improvement and Assessment of Virtual Patient Tool in Teaching of Skills for Practice of Pharmaceutical Care. International Journal of Pharmacy , v. 5, p. 661-674, 2015.
-
Menendez, Elisa ; ROCHA, Blicie ; Jabbur, Monique ; Costa, Wanderson ; Nascimento, José Rafael ; DÓSEA, Marcos Barbosa ; SILVA, L. M. A. ; Lyra Jr, Divaldo . Using a virtual patient system for the teaching of pharmaceutical care. International Journal of Medical Informatics , v. 84, p. 640-646, 2015.
-
Jabbur, Monique ; Mesquita, Alessandra ; SILVA, L. ; ALMEIDA NETO, Abílio ; Lyra Jr, Divaldo . Virtual Patient in Pharmaceutical Education. American Journal of Pharmaceutical Education , v. 76, p. 92, 2012.
-
NAUMANN, David ; SAMPAIO, Augsto ; SILVA, L. . Refactoring and Representation Independence for Class Hierarchies (Qualis A1). Theoretical Computer Science , v. 8748, p. 60-97, 2012.
-
PAIXAO, Marcos Paulo ; SILVA, L. ; Britto, Talles ; Elias, Gledson . Turning Large Software Component Repositories into Small Index Files (Qualis B5). International Journal on Advances in Softw , v. 4, p. 412-421, 2011.
-
F. G. Silva ; HOENTSCH, S. C. P. ; SILVA, L. . Uma análise das Metodologias Ágeis FDD e Scrum sob a Perspectiva do Modelo de Qualidade MPS.BR (Qualis C). Scientia Plena , v. 5, p. 1-13, 2009.
-
DÓSEA, Marcos ; SILVA, L. ; SILVA, Maria Andréia ; CAVALCANTI, Sócrates . Adaptive Mean-Linkage with Penalty: a New Algorithm for Cluster Analysis (Qualis B2). Chemometrics and Intelligent Laboratory Systems (Print) , v. 94, p. 1-8, 2008.
-
CARVALHO JÚNIOR, Antônio ; SILVA, L. ; CORNÉLIO, Márcio . Using CafeOBJ to mechanise Refactoring Proofs and Applications (Qualis B1). Electronic Notes in Theoretical Computer Science , v. 184, p. 39-61, 2007.
-
DÓSEA, Marcos ; SILVA, L. ; CAVALCANTI, Sócrates . Explorando Algoritmos Hierárquicos e Não-Hierárquicos na Construção de uma Ferramenta de Auxílio à Pesquisa de Fitoterápicos (Qualis C). Revista Eletrônica de Iniciação Científica , Rio Grande do Sul, v. III, p. 1-10, 2005.
-
SILVA, L. ; SAMPAIO, A. ; BARROS, E. . A Constructive Approach to Hardware/Software Partitioning (Qualis A2). Formal Methods in System Design , Estados Unidos, v. 24, p. 45-90, 2004.
-
MENEZES, Manoel Messias ; SILVA, Andre Luis Meneses ; SILVA, L. . Explorando o Uso de Sistemas de Reescrita como Ferramenta de Suporte no Contexto do Particionamento de Hardware e Software (Qualis C). Revista Eletrônica de Iniciação Científica , Rio Grande do Sul, v. IV, n.s, p. 1-10, 2004.
-
MENEZES, Manoel Messias ; SILVA, André Luiz ; SILVA, L. . Using CafeOBJ to implement a Reduction Strategy in the Context of Hardware/Software Partitioning (Qualis B1). Electronic Notes in Theoretical Computer Science , v. 95, p. 63-82, 2003.
-
Davies, J. (Org.) ; SILVA, L. (Org.) ; Simao, A. (Org.) . Formal Methods: Foundations and Applications - Proceedings of 13th Brazilian Symposium on Formal Methods - Lecture Notes in Computer Science 6527. 1. ed. Heildeberg: Springer, 2010. v. 1. 290p .
-
SILVA, L. ; NASCIMENTO, R. P. C. (Org.) ; MACEDO, Hendrik (Org.) ; CARRILHO, Eduardo (Org.) . Proceedings of EATIS 2008. 1. ed. Aracaju: , 2008. v. 1.
-
ARAUJO, CAIO ; SILVA, LEILA ; LA CORTE, ROSELI ; BITTENCOURT, FRANCIELMA . Um sistema para auxílio no monitoramento da febre amarela. In: Anais Principais do Simpósio Brasileiro de Computação Aplicada à Saúde, 2020, Brasil. Anais Principais do Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2020), 2020. p. 191-202.
-
Silva, G ; SILVA, L. ; CARVALHO, André Britto de . Dynamic Software Project Scheduling Problem with PSO and Dynamic Strategies Based on Memory. In: Brazilian Conference on Intelligent Systems - BRACIS, 2020, Rio Grande. Proc of Brazilian Conference on Intelligent Systems -BRACIS 2020. Lecture Notes in Computer Science. Suíça: Springer, 2020. v. 12319. p. 79-94.
-
Andrade, J. ; SILVA, LEILA ; CARVALHO, André Britto de ; Amaral, R. . Solving the Software Project Scheduling Problem with Hyper-heuristics. In: ICAISC - 18th International Conference on Artificial Intelligence and Soft Computing. Lecture Notes in Computer Science, 2019, Zakopane. Proc of he 18th International Conference on Artificial Intelligence and Soft Computing, 2019. v. 11508. p. 399-411.
-
SANTOS, WERTHEN ; SILVA, LEILA ; BRITTO, ANDRÉ . Incorporation of Restriction Treatment Techniques Based on the particle swarm optimization Metaheuristic in the Software Project Scheduling Problem in Software Projects. In: Encontro Nacional de Inteligência Artificial e Computacional, 2019, Brasil. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2019), 2019. p. 503-514.
-
JESUS, MIKAEL ; SILVA, LEILA ; BRITTO, ANDRÉ . Algoritmos com Múltiplos Enxames no Problema de Escalonamento Dinâmico de Projetos de Software. In: Encontro Nacional de Inteligência Artificial e Computacional, 2019, Brasil. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2019), 2019. p. 539-550.
-
BOTELHO, Glauber ; BEZERRA, LEONARDO ; BRITTO, ANDRE ; SILVA, LEILA . A Many-Objective Estimation Distributed Algorithm Applied to Search Based Software Refactoring. In: 2018 IEEE Congress on Evolutionary Computation (CEC), 2018, Rio de Janeiro. 2018 IEEE Congress on Evolutionary Computation (CEC), 2018. p. 1-18.
-
BOTELHO, Glauber ; BRITTO, ANDRE ; SILVA, LEILA . A New Estimation Distributed Algorithm Applied to a Many-Objective Discrete Optimization Problem. In: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016. p. 415-424.
-
BOTELHO, Glauber ; CARVALHO, André Britto de ; SILVA, L. M. A. . Investigating Bioinspired Strategies to Solve Large Scale Next Release Problem. In: XVIII Ibero American Conference on Software Engeneering (CIBSE 2015), 2015, Lima. Proc. of XVIII Ibero American Conference on Software Engeneering, 2015.
-
Rodrigo Otoni ; CARVALHO, André Britto de ; SILVA, L. . Análise da Aplicação de Variantes do Algoritmo NSGA-II no Problema do Planejamento da Próxima Versão de um Software com Grande Número de Requisitos. In: WESB - Workshop de Engenharia de Software Baseada em Buscas, 2014, Maceió. Anais do CBSOft 2014 - WESB 2014, 2014. v. 1. p. 1-10.
-
Arthur Menezes ; CARVALHO, André Britto de ; SILVA, L. . Applying Particle Swarm Optimisation for Solving the Next Release Problem. In: WESB - Workshop de Engenharia de Software Baseada em Buscas, 2014, Maceió. Anais do CBSOft 2014 - WESB 2014, 2014. v. 1. p. 1-10.
-
RIBEIRO, A. ; SILVA, L. ; Elias, Gledson . Using Hill Climbing for Identifying Similar Software Components. In: Euro American Conference in Informatics and Telecomunicartion Systems, 2014, VAlparaíso. Proc. of EATIS 2014, 2014.
-
FONSECA, D. H. M. ; LACERDA, A. ; SILVA, L. ; VELOSO, A. ; ZIVIANI, Nívio . Weighted Slope One Predictors Revisited. In: 4th International Conference on Social Recommender Systems, 2013, Rio de Janeiro. Proc. of 22nd International World Web Conference, 2013.
-
FONSECA, D. H. M. ; LACERDA, A. ; SILVA, L. ; ZIVIANI, Nívio . Estendendo o Algoritmo Slope One com Conceitos de Utilidade dos Itens e de Redes de Confiança. In: Workshop de Trabalhos de Iniciação Científica e de Graduação - WTICG-BASE, 2013, Aracaju. Anais do WTICG-BASE 2013, 2013.
-
PAIXAO, Marcos Paulo ; SILVA, L. ; Elias, Gledson . Clustering Large-Scale, Distributed Software Component Repositories. In: International Conference on Advances in Databases, Knowledge, and Data Applications (Qualis B4), 2012, Saint Gilles. Proc. of the Fourth International Conference on Advances in Databases, Knowledge, and Data Applications, 2012. p. 1-10.
-
Costa, Wanderson ; Nascimento, José Rafael ; Menendez, Elisa ; DÓSEA, Marcos ; SILVA, L. ; Jabbur, Monique ; Lima, Ana Patrícia ; Lyra Jr, Divaldo . A System to help the teaching of Pharmaceutical Care. In: EATIS - Euro American Conference on Telematics and Information Systems (Qualis B4), 2012, Valencia. Proceedings of EATIS 2012, 2012. p. 1-10.
-
Santos, Kaio Cesar ; Feistauer, Leonardo ; CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, K. F. . Sisped 2.0: An Extension of a System to Monitor Diabetic Patients. In: EATIS - Euro American Conference on Telematics and Information Systems (Qualis B4), 2012, Valencia. Proceeding of EATIS 2012, 2012. p. 1-10.
-
Martins, Diego ; Gois, Ely ; DÓSEA, Marcos ; SILVA, L. . Uma Abordagem para o Gerenciamento Integrado de Testes Manuais e Automatizados no TestLink. In: WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação, 2012, Juazeiro. Anais do WTICG., 2012. p. 1-10.
-
PAIXAO, Marcos Paulo ; SILVA, L. ; Britto, Talles ; Elias, Gledson . Large Software Component Repositories into Small Index Files. In: International Conference on Advances in Databases, Knowledge, and Data Applications, 2011, St Marteen. Proc of the Third International Conference on Advances in Databases, Knowledge, and Data Applications (Qualis B4), 2011. p. 1-6.
-
Nascimento, José Rafael ; Costa, Wanderson ; DÓSEA, Marcos ; SILVA, L. ; Jabbur, Monique ; Lyra Jr, Divaldo . Uma proposta de um sistema para o ensino de competências farmacoterapêuticas e habilidades de comunicação. In: WTICG 2011- Workshop de Trabalhos de Iniciação e de Graduação, 2011, Salvador. Anais do WTICG-BASE, 2011.
-
Valéria Carvalho ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Agrupamento de Dados no Contexto da Quimiotaxonomia: Aplicando Heurísticas Baseadas em Coloração de Grafos. In: WTICG -BASE- Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Alagoas-Sergipe, 2010, Maceió. ERBASE 2011, 2010. p. 1-10.
-
Liliane Santana ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Agrupamento de Dados na Quimiotaxonomia Utilizando a Teoria dos Grafos: Aplicação de Árvore Geradora Mínima com Conceito de Penalidade. In: WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Alagoas-Sergipe, 2010, Maceió. ERBASE 2011, 2010. p. 11-20.
-
SILVA, L. ; NAUMANN, David ; SAMPAIO, A. . Refactoring and Representation Independence for Class Hierarchies[Extended Abstract]. In: Workshop on Formal Techniques for Java-like Programs (Qualis B4), 2010, Maribor. Proceedings of the 12th Workshop on Formal Methods for Java-like Programs, 2010. v. 1. p. 50-56.
-
PAIXAO, Marcos Paulo ; Britto, Talles ; SILVA, L. ; Elias, Gledson . Explorando Técnicas de Agrupamento de Dados na Indexação de Repositórios de Componentes de Software. In: Workshop Brasileiro de Otimização em Engenharia de Software, 2010, Salvador. Anais do Congresso Brasileiro de Software: Teoria e Prática, 2010. v. 1. p. 1-8.
-
Liliane Santana ; Valéria Carvalho ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Clustering Data in Chemosystematics using a Graph-theoretic Approach: an Application of Minimum Spanning Treee with Penalty Concept. In: BIOMAT 2009- International Symposium on Mathematical and Computational Biology, 2009, Brasília. BIOMAT 2009- International Symposium on Mathematical and Computational Biology (to appear), 2009. v. 1. p. 272-288.
-
SILVA, L. ; SAMPAIO, Augsto ; LIU, Zhiming . Laws of Object-Orientation with Reference Semantics. In: IEEE International Conference on Software Engineering and Formal Methods (Qualis B2), 2008, Cidade do Cabo. Proc. of Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008. p. 217-226.
-
Ana Patrícia Magalhâes ; ANDRADE, A. M. S. ; SILVA, L. ; Herman Lepikson . A Development Process for Mechatronic Products: Intgrating Software Engineering and Product Engineering. In: IEEE International Conference on Engineering Technologies and Factory Automation (Qualis B2), 2007, Patras. Proceedings of ETFA 07, 2007.
-
SOUZA, Paula Costa ; Vanessa Fonseca ; SILVA, L. . Estudo da adequação do uso da plataforma .net e da metodologia de desenvolvimento Extreme Programming na elaboração de um software para a área médica. In: V Workshop de Trabalhos de Iniciação Científica e de Graduação da ERBASE, 2007, Vitória da Conquista. Anais do V WTICG-ERBASE, 2007. p. 1-10.
-
TRINCHÃO, Beatriz ; SILVA, L. ; FREIRE, Eduardo . Modelando Sistemas Mecatrônicos com a UML-RT: Uma Proposta de Extensão. In: V Workshop de Trabalhos de Inciação Científica e de Graduação, 2007, Vitória da Conquista. Anais do V WITICG-ERBASE, 2007. p. 1-10.
-
CARVALHO JÚNIOR, Antônio C de ; SILVA, L. . Mecanização de regras de Refatoração com o Apoio de Sistemas de Reescrita. In: IV WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2006, Aracaju. Anis da VI ERBASE - EScola Regional de Computação Bahia Sergipe, 2006. p. 1-10.
-
CARVALHO, André Britto de ; SILVA, L. ; MATOS, Leonardo Nogueira . Explorando Algoritmos Inspirados em Colônias de Formigas no Contexto do Agrupamento de dados em Quimiotaxonomia. In: IV WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2006, Aracaju. Anais da VI ERBASE - Escola Regional de Computação Bahia-Sergipe, 2006. p. 1-10.
-
CARVALHO, André Britto de ; SILVA, L. ; MATOS, Leonardo Nogueira . Um Algoritmo Baseado na Meta-heurística ACO no Contexto da Quimiotaxonomia. In: I Workshop on Computational Intellignce - WCI/SBRN, 2006, Ribeirão Preto. Anais do I Workshop on Computational Intelligence, 2006. p. 1-6.
-
TRINCHÃO, Beatriz ; SILVA, L. ; FREIRE, Eduardo . Uma Proposta de Extensão da UML-RT para Permitir a Modelagem de Sistemas Mecatrônicos. In: XII Congresso Argentino de Ciências de la Computacion (CACIC), 2006, San Luis. Anais do CACIC 2006, 2006. p. 1-12.
-
MAGALHÃES, Ana Patrícia Fontes ; ANDRADE, Aline ; SILVA, L. ; LEPIKSON, Herman Augusto . Uma Metodologia para o desenvolvimento de produtos mecatrônicos integrando Engenharia de Software e Engenharia de Produtos. In: XXVI Encontro Nacional de Engenharia de Produção - ENEGEP, 2006, Fortaleza. Anais do ENEGEP 2006, 2006. p. 1-8.
-
ANDRADE, Rita Kalile Almeida ; SILVA, L. ; COSTA NETO, Alberto ; PACHECO, Maurício Soares . e-Patite: Um Sistema para Triagem de Doadores de Sangue quanto à Presença de Hepatite. In: Workshop de Informática Médica, 2005, Porto Alegre. Anais do WIM 2005, 2005. p. 1-10.
-
CARVALHO JÚNIOR, Antônio ; SILVA, L. ; CORNÉLIO, Márcio . Using CAfeOBJ to Mechanise Refactoring Proofs. In: Brazilian Symposium of Formal Methods (Qualis B3), 2005, Porto Alegre. Anais do SBMF 2005, 2005. v. 1. p. 32-46.
-
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, Karla . Um Sistema para o Monitoramento do Pé Diabético. In: II WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2004, Feira de Santana. Anais do II WTICG-BASE, 2004. p. 1-10.
-
SILVA, Andre Luis ; MENEZES, Manoel Messias ; SILVA, L. . Implementando uma Estratégia de Redução para o Contexto de Sistemas Embarcados Usando CafeOBJ. In: II WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2004, Feira de Santana. Anais do II WTICG-BASE, 2004. p. 1-10.
-
SANTOS JÚNIOR, J. C. ; GOULART, José Henrique M ; SILVA, L. ; SOUZA, Liane Maciel de Almeida . Um Sistema para Triagem de Pacientes com Doenças Periodontais. In: II WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2004, Feira de Santana. Anais do II WTICG-BASE, 2004. p. 1-10.
-
SANTOS JÚNIOR, Jose Carlos dos ; GOULART, José Henrique M ; SILVA, L. ; SOUZA, Liane Maciel de Almeida ; CORTES, Tânia ; MARQUES, Marlos . Um Sistema para Triagem de Pacientes com Doenças Periodontais. In: IV Workshop de Informática Médica, 2004, Brasília. Anais do IV Workshop de Informática Médica, 2004. p. 1-10.
-
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, K. F. ; MELO, Naira ; LOBÃO, Yuri ; MALERBI, Domingos . Monitoramento do Pé Diabético com Suporte Computacional. In: XXXI SEMISH- Seminário Integrado de Hardware e Software, 2004, Salvador. Anais do XXXI SEMISH - Seminário Integrado de Hardware e Software, 2004. p. 1-10.
-
MENEZES, Manoel Messias ; SILVA, Andre Luis ; SILVA, L. . Explorando o Uso de Sistemas de Reescrita como Ferramenta de Suporte no Contexto do Particionamento de Hardware e Software. In: CTIC 2004 - Concursos de Trabalhos de Iniciação Científica, 2004, Salvador. Anais do Congresso da Sociedade Brasileira de Computação, 2004.
-
GUIMARÃES, Ricardo Luiz ; SILVA, L. . Atlantis: Um jogo 3D multiusuário. In: I WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2003, Salvador. Anais do I WTICG-BASE, 2003. p. 1-10.
-
COSTA, T. A. ; PASSOS, Rômulo Augusto Nogueira de O ; SILVA, L. . TRALK: Um meta- engenho de busca que provê resultados de alta qualidade. In: I WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2003, Salvador. Anais do I WTICG-BASE, 2003. p. 1-10.
-
MENEZES, Manoel Messias ; SILVA, André Luiz ; SILVA, L. . Verificação Formal em Co-design Usando o Sistema de Reescrita BOBJ. In: XXX SEMISH- Seminário Integrado de Hardware e Software, 2003, Campinas. Anais do XXX SEMISH, 2003. p. 195-209.
-
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, Karla . Um sistema para o monitoramento do pé diabético. In: III Workshop de Informática Médica, 2003, Fortaleza. Anais do III Workshop de Informática Médica, 2003. p. 1-10.
-
SILVA, André Luiz ; MENEZES, Manoel Messias ; SILVA, L. . Using CafeOBJ to implement a Reduction Strategy in the Context of Hardware/Software Partitioning. In: VI Workshop de Métodos Formais, 2003, Campina Grande. Anais do VI Workshop em Métodos Formais, 2003. p. 43-58.
-
SANTOS, L. A. ; SILVA, L. ; MELO, Naira ; REZENDE, Karla . SISPED: A System to Monitor Foot Complications in Diabetic Patients. In: CSITeA-Intenacional Conference on Computer Science, Software Engineering, Information technology, e-Business and Applications, 2002, Foz de Iguaçu. Proceedings of the ACIS Internacional Conference on Computer Science, Software Engineering, Information Technology and Applications, 2002. p. 357-362.
-
SANTANA, A. J. ; PASSOS, R. A. ; COSTA, T. ; SILVA, L. ; SANTOS, K. . Towards a Meta-search Engine Allowing Advanced User Interaction. In: CSITeA-Intenacional Conference on Computer Science, Software Engineering, Information technology, e-Business and Applications, 2002, Foz de Iguaçu. Proceedings of ACIS- Internacional Conference on Computer Science, Software Engineering, Information Technology, e-Business and Applications, 2002. p. 348-351.
-
SILVA, L. ; SAMPAIO, A. ; JONES, G. . Serialising Parallel Processes In a Hardware/Software Partitioning Context. In: Formal Methods Europe 2001 (Qualis B1), 2001, Berlim. Lecture Notes in Computer Science. Heildberg: Springer-Verlag, 2001. v. 2021. p. 344-363.
-
SILVA, L. ; SAMPAIO, Augsto ; BARROS, E. . An Algebraic Approach to Hardware/Software Partitioning. In: CTD 2001- XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação, 2001. p. 110-110.
-
SILVA, L. ; SAMPAIO, A. ; BARROS, E. ; IYODA, J. . An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. In: 7th International Conference on Algenraic Methodology and Software Technology - AMAST'98 (Qualis B1), 1999, Manaus. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag, 1999. v. 1548. p. 308-324.
-
IYODA, J. ; SAMPAIO, A. ; SILVA, L. . ParTS: A Partitioning Transformation System. In: FM'99- World Congress on Formal Methods in the Development of Computing Systems (Qualis B1), 1999, Toulouse. Lecture Notes in Computer Science. Heildelberg: Springer-Verlag, 1999. v. 1709. p. 1400-1419.
-
BARROS, E. ; SAMPAIO, A. ; LIMA, M. E. ; SILVA, L. ; JACOBI, R. ; CALAZANS, N. . The PISH Methodology for Hardware/Software Co-design. In: Workshop do ProTem-CC, 1998, Belo Horizonte. Workshop do ProTem-CC, 1998. p. 65-98.
-
IYODA, J. ; SAMPAIO, A. ; SILVA, L. . Partitioning Transformation System. In: XII Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Anais da 1a Mostra Brasileira de Software Acadêmico e Comercial, 1998. p. 67-74.
-
SILVA, L. ; SAMPAIO, A. ; BARROS, E. . Projeto Integrado de Hardware e Software com Ênfase em Corretude: Um Estudo de Caso. In: XXIV SEMISH (Qualis B4), 1997, Brasília. Anais do XXIV SEMISH - Seminário Integrado de Software e Hardware, 1997. p. 47-58.
-
SILVA, L. ; SAMPAIO, A. ; BARROS, E. . A Normal Form Reduction Strategy for Hardware/Software Partitioning. In: 4th International Symposium of Formal Methods Europe - FME'97 (Qualis B1), 1997, Graz. Lecture Notes in Computer Science. Heildelberg: Springer-Verlag, 1997. v. 1313. p. 624-643.
-
CAVALCANTI JR, D. A. ; SILVA, L. ; CASTOR, I. G. ; ALVES, C. M. ; SILVA, F. S. ; NASCIMENTO, R. P. C. . Um sistema orientados a objetos para cadastramento e manipulação de sondagens à percussão. In: Conferência Latino-Americana de Engenheiros Geotécnicos Jovens, 1995, Rio de Janeiro. Anais da Segunda Conferência Latino-Americana de Engenheiros Geotécnicos Jovens, 1995. p. 399-405.
-
PEDRINI, H. ; SILVA, L. ; TOZZI, C. . Avaliação da precisão no processo de reconstrução 3D a partir de seções seriadas. In: SIBGRAPI (Qualis B3), 1992, Águas de Lindóia. Anais do SIBIGRAPI V, 1992. p. 155-161.
-
SILVA, L. M. A. ; BARROCA, L. . Towards a Blended Learning Approach to Teach a Theoretical Computer Science Module. In: International Conference on Computer Supported Education, 2015, Lisboa. Proc of 7th International Conference on Computer Supported Education, 2015. v. 1.
-
RIBEIRO, A. ; SILVA, L. ; Elias, Gledson . Usando Hill Climbing para Identificação de Componentes de Software Similares. In: WESB 2013, 2013, Brasilia. Workshop de Engenharia de Software Baseada em Buscas, 2013.
-
Nascimento, José Rafael ; Costa, Wanderson ; SILVA, L. ; DÓSEA, Marcos ; Jabbur, Monique ; Lyra Jr, Divaldo . Uma proposta de um sistema para o ensino de habilidades de comunicação e competências farmacoterapêuticas. In: Workshop de Informática Médica (Qualis B4), 2010, Belo Horizonte. Anais do X Workshop em Informática Médica, 2010. v. 1. p. 1-4.
-
CARVALHO JÚNIOR, Antônio C de ; SILVA, L. . Formalização de Refatorações Usando Sistema de Reescrita CafeOBJ. In: WCOMPA - Workshop de Computação e Aplicações, 2006, Campo Grande. Anais do WCOMPA, 2006. p. 1-4.
-
CARVALHO, André Britto de ; SILVA, L. ; MATOS, Leonardo Nogueira . Explorando Algoritmos Basedos em Colônias de Formigas para a Classificação de Plantas no Contexto da Quimiotaxonomia. In: WCOMPA - Workshop de Computação e Aplicações, 2006, Campo Grande. Anais do WCOMPA, 2006. p. 82-85.
-
SOUZA, Paula Costa ; COX, Kênia Kodel ; SILVA, L. ; FACKOURI, Riacardo . Uma Proposta de Um Curso à Distância em Patologia. In: IV Workshop de Informática Médica, 2004, Brasília. Anais do IV Workshop de Informática Médica, 2004. p. 1-4.
-
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, K. F. ; MELO, Naira ; MALERBI, Domingos ; LOBÃO, Yuri . Projeto SISPED: Validação, Implantação e Impactos Esperados. In: IV Workshop de Informática Médica, 2004, Brasília. Anais do IV Workshop de Informática Médica, 2004. p. 1-4.
-
COSTA, T. ; PASSOS, R. A. O. ; BONFIM, Sueane ; SILVA, L. . TRALK: Um sistema de busca. In: Webmídia e LA-Web Joint Conference, 2004, Ribeirão Preto. Anais de Webmídia e LA-Web Joint Conference, 2004. p. 87-90.
-
DÓSEA, Marcos Barbosa ; SILVA, Maria Andréia ; SILVA, L. ; CAVALCANTI, Sócrates . ChemoTax: A Tool to Support Phytoterapics Research Based on Chemotaxonomy. In: Third Brazilian Workshop on Bioinformatics, 2004, Brasília. Proceedings of the Third Brazilian Workshop on Bioinformatics, 2004. p. 113-116.
-
SANTOS JÚNIOR, Jose Carlos dos ; SILVA, L. ; SOUZA, Liane Maciel de Almeida . Uma proposta de um sistema para a triagem de pacientes com doenças periodontais. In: III Workshop de Informática Médica, 2003, Fortaleza. Anais do III Workshop em Informática Médica, 2003. p. 1-4.
-
Costa, Wanderson ; Nascimento, José Rafael ; Jabbur, Monique ; SILVA, L. ; Lyra Jr, Divaldo ; DÓSEA, Marcos . PV-UFS: Simulando um Paciente Virtual no Contexto da Farmacoterapia. In: II Encontro de Iniciação em Desenvolvimento Tecnológico e Inovação, 2010. Anais do II Encontro de Iniciação em Desenvolvimento Tecnológico e Inovação, 2010. p. 39-39.
-
Valéria Carvalho ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Algoritmos de Agrupamento Baseados em Coloração de Grafos no Contexto da Quimiotaxonomia. In: 19º Encontro de Iniciação Científica da UFS, 2009. Anais do 19º Encontro de Iniciação Científica da UFS, 2009. p. 324-324.
-
Liliane Santana ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Algoritmos de Agrupamento Baseados em Árvores Geradoras Mínimas no Contexto da quimiotaxonomia. In: 19º Encontro de Iniciação Científica da UFS, 2009, Aracaju. Anais do 19º Encontro de Iniciação Científica da UFS, 2009. v. 1. p. 318-318.
-
NUNES, Thiago ; SILVA, L. ; MORENO, M. P. . Um Sistema para Auxiliar no Planejamento de Fármacos. In: Congresso de Inciação Científica da UFS, 2006, São Crsitóvão. Anais do VIII Congresso de Iniciação Científica da UFS, 2006.
-
LIMA, Felipe de Oliveira ; SILVA, L. . Explorando o Paradigma de Aspectos no Desenvolvimento de Sistemas Mecatrônicos. In: Congresso de IC da UFS, 2006, São Cristóvão. Anais do VIII Congresso de IC da UFS, 2006.
-
CARVALHO JÚNIOR, Antônio C de ; SILVA, L. . Provas Formais de refactorings usando Sistemas de Reescrita. In: VII Congresso de Iniciação Científica da UFS, 2005, Aracaju. Anis do VII Congresso de Iniciação Científica da UFS, 2005. p. 22-22.
-
CARVALHO, André Britto de ; SILVA, L. ; MATOS, Leonardo Nogueira . Explorando Algoritmos Inspirados em Colônias de Formigas No Contexto do Agrupamento de dados em Quimiotaxonomia. In: VII Congresso de Iniciação Científica da UFS, 2005, Aracaju. Anais de VII Congresso de Iniciação Científica da UFS, 2005. p. 21-21.
-
RIBEIRO, Breno Piva ; PALMA, Giovanny F L ; SILVA, L. . Verificação de Modelos de Sistemas Concorrentes Escritos em E-LOTOS. In: VII Congresso de Iniciação Científica da UFS, 2005, Aracaju. Anais de VII Congresso de Iniciação Científica da UFS, 2005. p. 23-23.
-
ÁVILA, Sandra Eliza Fontes de ; PALMA, Giovanny F L ; SILVA, L. . Linguagens de Programação Funcionais e Reativas para o Ensino de Física. In: VII Congresso de Iniciação Científica da UFS, 2005, Aracaju. Anais de VII Congresso de Iniciação Científica da UFS, 2005. p. 26-26.
-
GOULART, José Henrique M ; SANTOS JÚNIOR, Jose Carlos dos ; SILVA, L. ; SOUZA, Liane Maciel de Almeida . Um Sistema para Triagem de Pacientes com doenças Periodontais. In: VI Congresso de Iniciação Científica da UFS, 2004, Aracaju. Anais do VI Congresso de Iniciação Científica da UFS, 2004. p. 22-22.
-
DÓSEA, Marcos ; SILVA, L. ; CAVALCANTI, Sócrates . Um Sistema para Auxiliar a Pesquisa de Fitoterápicos. In: VI Congresso de Iniciação Científica da UFS, 2004, Aracaju. Anais do VI Congresso de Iniciação Científica da UFS, 2004. p. 23-23.
-
BONFIM, Sueane ; SILVA, L. . Validação e Aprimoramento do Sistema de Meta-busca TRALK. In: VI Congresso de Iniciação Científica da UFS, 2004, Aracaju. Anais do VI Congresso de Iniciação Científica da UFS, 2004. p. 26-26.
-
ANDRADE, Rita Kalile Almeida ; SILVA, L. ; COSTA NETO, Alberto ; PACHECO, Maurício Soares . Um Sistema de Doadores de Sangue Sujeitos à Presença de Hepatites. In: VI Congresso de Iniciação Científica da UFS, 2004, Aracaju. Anais do VI Congresso de Iniciação Científica da UFS, 2004. p. 24-24.
-
REZENDE, Karla ; CARVALHO, Márcio Ribeiro de ; SILVA, L. ; MELO, Naira ; MALERBI, Domingos ; LOBÃO, Yuri . SISPED: A Software to monitor and prevent foot amputation in a diabetic patient.. In: XVIII Congress of IDF: International Diabetes Federation, 2003, Paris. Anais do XVIII Congress of IDF, 2003.
-
SILVA, A. L. M. ; SILVA, L. . Explorando CafeOBJ na Prova de Regras Algébricas em Co-design. In: VCongresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2004. p. 39-40.
-
MENEZES JÚNIOR, M. M. S. ; SILVA, L. . Explorando BOBJ na Prova de Regras Algébricas para o Particionamento. In: VCongresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2003. p. 42-42.
-
SANTOS JÚNIOR, Jose Carlos dos ; SILVA, L. . Um Sistema para Auxiliar na Prevenção de Doenças Periodontais. In: V Congresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2003. p. 40.
-
CARVALHO, L. M. M. ; SILVA, L. . Análise Computacional de Dados de Expressão Gênica Gerados por Experimentos de DNA Microarray. In: IV Congresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2003. p. 41-41.
-
CARVALHO, Márcio Ribeiro de ; SILVA, L. . Um Sistema para Auxiliar na Prevenção do Pé Diabético. In: V Congresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2003. p. 43-43.
-
MEIRELLES, L. M. C. ; SCHERR, R. ; SILVA, L. . Análise Funcional de Seqüências de Nucleotídeos e Aminoácidos Utilizando Ferramentas Computacionais. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 252-253.
-
SANTOS, S. M. ; SILVA, L. . Prova Automática de Regras de Utilizadas em Projeto de Sistemas Embarcados. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 50-51.
-
SANTANA, A. J. S. ; SILVA, L. . SisPesqUFS : Um Meta-Engenho de Busca para a Recuperação de Documentos na Web-Interfaces e Linguagem. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 47-48.
-
COSTA, T. A. ; SILVA, L. . MetaUFS: Um núcleo do Meta-Engenho de Busca SisPesqUFS. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 51-52.
-
PASSOS, R. A. O. ; SILVA, L. . RankUFS: O módulo do Meta-Engenho de Busca SisPesqUFS para classificar e exibir documentos relevante. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 49-50.
-
COSTA, G. G. L. ; SILVA, L. ; SCHERR, R. . Identificação de Similaridades de Seqüências DNA usando Técnicas Computacionais. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 48-49.
-
MELO, N. H. ; SANTOS, L. A. A. ; SANTOS, F. T. ; SILVA, L. ; FIDELIS, C. L. ; REZENDE, K. F. . Avaliação do Pé Diabético Através de um Software em Unidades Básicas de Saúde. In: XIII Congresso Brasileiro de Diabetes, 2001, Rio de Janeiro. Anais do XIII Congresso Brasileiro de Diabetes, 2001. p. S529-S529.
-
SANTOS, L. A. A. ; SILVA, L. ; REZENDE, K. F. . SISPED: Sistema Automático para Monitoramento de Pacientes Diabéticos. In: III Congresso de Iniciação Científica da UFS, 2001, Aracaju. Anais do III Congresso de Iniciação Científica da UFS, 2001. p. 17-18.
-
SILVA, L. . Uma Abordagem para Projeto Integrado de Hardware e Software com Ênfase em Corretude. In: XI Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. II Workshop de Teses em Engenharia de Software, 1997. p. 24-25.
-
SILVA, L. . Educação Superior em Computação e Mercado de Trabalho. 2017. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, L. . A Olimpíada Brasileira de Informática em Sergipe. 2010. (Apresentação de Trabalho/Outra).
-
SILVA, L. . Olimpíadas de Ciências. 2010. (Apresentação de Trabalho/Outra).
-
SILVA, L. . Os Cursos de Informática, Formação Acadêmica e a SBC. 2010. (Apresentação de Trabalho/Outra).
-
SILVA, L. . Carreira do Profissional em Informática. 2010. (Apresentação de Trabalho/Outra).
-
SILVA, L. ; ANDRADE, Aline ; MOURA, V. B. . Importância da Olimpíadas e Maratonas para os cursos de Computação (painelista convidada). 2007. (Apresentação de Trabalho/Outra).
-
SILVA, L. . Formação do Profissional de Computação: Aspectos gerais e perspectivas futuras (palestrante convidada). 2006. (Apresentação de Trabalho/Seminário).
-
SILVA, L. ; Meira, Sílvio ; SANTANA, J. ; Alvelos, José . Políticas Governamentais para a área de tecnologia da Informação nos estados de Bahia e Sergipe (coordenadora de painel). 2006. (Apresentação de Trabalho/Outra).
-
SILVA, L. . Os Grandes Desafios da Computação para a Década (palestrante convidada). 2006. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, L. . A Importância da Iniciação Científica na Formação do Profissional em Computação (palestrante convidada). 2004. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, L. ; SANTANA, Marcos ; COSTA, Terezinha . Painel sobre Diferenças Regionais (painelista convidada). 2004. (Apresentação de Trabalho/Congresso).
-
SILVA, L. . A Computação no Brasil e em Sergipe (palestrante convidada). 2004. (Apresentação de Trabalho/Seminário).
-
SILVA, L. . Bioinformática: Uma Abordagem Geral (palestrante convidada). 2002. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, L. . Uma Abordagem Álgebrica para o Particionamento de Sistemas Embarcados (palestrante convidada). 2001. (Apresentação de Trabalho/Conferência ou palestra).
Outras produções
Costa, Wanderson ; Nascimento, José Rafael ; DÓSEA, Marcos ; SILVA, L. ; Jabbur, Monique ; Lyra Jr, Divaldo . PharmaPV: Simulando um Paciente Virtual para o Ensino de Atenção Farmacêutica. 2010.
ANDRADE, Rita Kalile Almeida ; SILVA, L. ; PACHECO, Maurício Soares . e-Patite: Um sistema para triagem de doadores de sangue suspeito de serem portadores de Hepatites. 2006.
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, Karla ; MELO, Naira . SISPED: Um sistema para o monitoramento do pé diabético. 2006.
DÓSEA, Marcos Barbosa ; SILVA, L. ; CAVALCANTI, Sócrates . ChemoTax: Uma ferramenta para classificação automática de plantas. 2005.
SANTOS JÚNIOR, Jose Carlos dos ; GOULART, José Henrique M ; SILVA, L. ; REZENDE, K. F. . PERIODONT: Um Sistema para a Triagem de Doenças Periodontais. 2004.
COSTA, T. A. ; PASSOS, R. A. N. ; SANTANA, A. J. ; SILVA, L. . TRALK- um meta-engenho de busca. 2002.
SANTOS, L. A. A. ; SILVA, L. ; REZENDE, K. F. . SISPED: Sistema de Acompanhamento de Pacientes Diabéticos. 2001.
SILVA, L. . Avaliadora do PIBIC e PIBIT da UFS. 2008.
SILVA, L. . Avaliadora de projetos de extensão (PIBIX) da UFS. 2011. (Extensão).
SILVA, L. . Membro do Conselho Técnico e Científico do Sergipe Parque Tecnológico. 2010. (Extensão).
SILVA, L. . Técnica da equipe Lena´s Buddies na Maratona de Programação. 2010. (Extensão).
SILVA, L. . Avaliadora de projetos PIBIC e PIBIT da UFS. 2010. (Extensão).
SILVA, L. . Co-técnica da equipe Anuncie Aqui na Maratona de Programação. 2009. (Extensão).
SILVA, L. ; SAMPAIO, Augsto ; LIU, Zhiming . Laws of Object-orientation with Reference Semantics. 2008. (Relatório de pesquisa).
SILVA, L. . Consultora ad hoc na II Etapa de Seleção do Edital MS/CNPq/CECT-01/2006. 2007. (Extensão).
SILVA, L. ; SOARES, Ana Rosimere . Consultoria no Centro Encubador de Empresas de Sergipe. 2004. (Extensão).
SILVA, L. . Bionformática: Uma Visão Geral. 2003. (Curso de curta duração ministrado/Extensão).
SILVA, L. . Consultora ad hoc da FAP/SE. 2003. (Extensão).
SILVA, L. . Introdução à Biologia Computacional. 2001. (Curso de curta duração ministrado/Extensão).
Projetos de pesquisa
-
2018 - 2019
Computação no ensino de educação musical, Descrição: Este projeto visa o desenvolvimento de aplicações móveis que ajam como facilitadores do aprendizado de educação musical por jovens.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Tarcísio Rocha - Integrante.
-
2013 - 2016
Um sistema para o apoio ao Ensino de Assistência em Enfermagem, Descrição: Desenvolvimento de um sistema para o apoio ao ensino da assistência em Enfermagem. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Marcos Barbosa Dósea - Integrante / Divaldo Lyra Jr - Integrante.
-
2012 - 2013
Refatoramento de Programas para Migração entre Estrutura de Dados, Descrição: Este projeto visa desenvolver métodos e ferramentas para a refatoração de estruturas de dados em programas orientados a objetos. Projeto inserido dentro do âmbito do INES.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Leila Maciel de Almeida e Silva - Integrante / Paulo Borba - Integrante / Márcio Cornélio - Integrante / Augusto César Alves Sampaio - Integrante / Tiago Massoni - Coordenador / Rohit Gheyi - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2011 - 2022
Otimização em Engenharia de Software, Descrição: Este projeto visa desenvolver, aplicar e avaliar algoritmos de otimizazação em diversos problemas da Engenharia de Software dentro dos domínios de Evolução de Software, Desenvolvimento Baseados em Componentes, Requisitos e Testes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2010 - 2016
PV-UFS: Paciente Virtual para o Ensino de Assistência Farmaceutica, Descrição: Desenvolvimento de um sistema para apoiar o ensino de Assist~encia Farmaceutica. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Marcos Dósea - Integrante / Divaldo Lyra Jr - Integrante., Número de produções C, T & A: 6
-
2010 - 2013
Refatoração Sincronizada de Programas Anotados com especificações Formais, Descrição: A assimilação das necessidades de evoluçãao em projetos de software que fazem uso de especificação e modelagem ainda é difícil e custosa na prática. No caso de refatoração de programas, por exemplo, modelos abstratos em conformidade com os programas tornam-se inconsistentes; técnicas como engenharia round-trip e MDA (Model-Driven Architecture) lidam parcialmente com o problema, já que estabelecem perda da abstração desejável em especificações. Este projeto pretende propor, formalizar, implementar e avaliar uma abordagem prática de refatoração de especificações que geram refatorações de programas autoáticas, mantendo sua conformidade. Especificações e ódigo-fonte serão localizados em umúnico artefato, utilizando Java e a linguagem de especificação JML (Java Modeling Language), facilitando sua adoção da abordagem. Como complemento, iremos denir um caálogo de refatorações de programas que permanecem corretos mesmo com especificações JML presentes, formando assim uma metodologia de refatoraçào completa. A equipe brasileira colaboraá com parceiros americanos - Gary Leavens e David Naumann - com os quais á possui grande experiência de cooperação em projetos anteriores (COOP, DARE-COOP); Leavens é inclusive o idealizador da linguagem JML. Como resultado, pretendemos definir uma metodologia de refatoração de especificações e programas com alto índice de automatização, uma ferramenta que daá suporte à metodologia e estudos de caso documentados, aém de publicações em veículos internacionais reconhecidos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Leila Maciel de Almeida e Silva - Integrante / Augsto Sampaio - Coordenador / Paulo Borba - Integrante / David Naumann - Integrante / Márcio Cornélio - Integrante / Tiago Massoni - Integrante / Rohit Gheyi - Integrante / Gary Leavens - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2009 - 2016
Ferramentas de Evolução e Refatoração Automática, Descrição: O objetivo deste projeto de pesquisa é contribuir para aperfeiçoar o processo de desenvolvimento de software, em particular de atividades ligadas à evolução, com ênfase na automatização destas atividades, através de ferramentas desenvolvidas com base em técnicas rigorosas de engenharia de software. Desta forma, queremos possibilitar aumentos significativos de produtividade e qualidade do resultado final de equipes de software, principalmente no que concerne à manutenção preventiva, trazendo vantagens competitivas. Este projeto se insere nas açõs do INES (INCT para Engenharia de Software).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Leila Maciel de Almeida e Silva - Integrante / Augsto Sampaio - Integrante / Paulo Borba - Integrante / Márcio Cornélio - Integrante / Tiago Massoni - Integrante / Rohit Gheyi - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2009 - 2014
Desenvolvimento Distribuído Orientado a Linhas de Produto de Software, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Integrante / Silveira, Gledson Elias - Coordenador / Valéria GonçalvesSoares - Integrante / Vaninha Vieira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1
-
2008 - 2019
Instituto Nacional de Ciência e Tecnologia para Engenharia de Software, Descrição: Este projeto tem como objetivo geral a promoção de pesquisa e desenvolvimento na área de Engenharia de Software com o objetivo de estabelecer marcos referenciais para a implementação de fábricas de software fidedigno com alta produtividade e corretude. O instituto promoverá pesquisa integrada coordenando os esforços e competências das diversas instituições e laboratórios de pesquisa envolvidos. As principais linhas de pesquisa a serem desenvolvidas são: 1) Reuso, Linhas de produto, 2) Verificação e Validação de sistemas, 3) Técnicas de Evolução e Refactoring, 4) Desenvolvimento Dirigido por Modelos, Linguagens de Domínio Especifico, 5) Engenharia de Software Experimental.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Leila Maciel de Almeida e Silva - Integrante / Augsto Sampaio - Integrante / Márcio Cornélio - Integrante / Sílvio Meira - Coordenador / Sérgio Soares - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2008 - 2010
Refatoração de Programas Baseada em Especificações Formais, Descrição: O objetivo deste projeto de pesquisa é contribuir para aperfei çoar o processo de desenvolvimento de software, em particular de atividades ligadas à evolução, com ênfase em refatoração sincronizada de modelos e programas. Projeto multi-institucional liderado pelo Centro de Informática (UFPE), tendo o Departamento de Sistemas e Computação (UPE) e o Departamento de Computação (UFS) como instituições colaboradoras.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Integrante / Augsto Sampaio - Coordenador / Paulo Borba - Integrante / Márcio Cornélio - Integrante / Tiago Massoni - Integrante / Rohit Gheyi - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1
-
2008 - 2010
Algoritmos de Agrupamentos Baseados em Grafos no contexto da Quimiotaxonomia, Descrição: O objetivo do projeto é investigar algoritmos de agrupamento baseados em grafos que produzam resultados de boa qualidade para classificação de plantas segundo seus compostos químicos constituintes. O trabalho é estratégico para a área de produção de fármacos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Auxílio financeiro., Número de produções C, T & A: 4
-
2005 - 2007
e-Patite: Um Sistema para Triagem de Doadores de Sangue Sujeitos à Presença de Hepatite, Descrição: Desenvolvimento de uma aplicação Web para dar suporte às rotinas de triagem realizadas na Liga de Hepatite.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Alberto Costa Neto - Integrante / Rita Kalile Almeida Andrade - Integrante / Maurício Soares Pacheco - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro., Número de produções C, T & A: 6
-
2004 - 2006
Metodologias para o Desenvolvimento de Sistemas Mecatrônicos, Descrição: A proposta deste trabalhar é investigar metodologias de desenvolvimento de sistemas mecatrônicos, que considerem a junção de práticas de engenharia de software e engenharia de produto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Aline Andrade - Integrante., Número de produções C, T & A: 5
-
2003 - 2004
AbADeS-TI - Abordagens Algébricas para o Desenvolvimento de Sistemas e Tecnologia da Informação, Descrição: Prevê-se o desenvolvimento de metodologias baseadas na semântica algébrica para o desenvolvimento de sistemas escritos em uma linguagem orientada a objetos. Prevê-se a construção de aplicações médicas e de recuperação da informação dentro da área de TI.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rita Kalile Almeida Andrade - Integrante / Sueane Santos Bomfim - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6
-
2002 - 2003
SisPesqUFS: Um Meta-Engenho de Busca para a Recuperação de Documentos na Web, Descrição: Pretende-se desenvolver um meta-engenho de busca com ênfase na qualidade dos resultados retornados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Thiago Alves Costa - Integrante / Antônio José Santana - Integrante / Rômulo Augusto Nogueira de O Passos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro., Número de produções C, T & A: 11
-
2001 - 2005
DareCo-op: Development and Applications of Refinement Calculus for Object-Oriented Programming, Descrição: Prevê-se a investigação de uma semântica formal para uma linguagem orientada a objetos. Somos membro deste projeto. A coordenação é de Augusto Sampaio.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Integrante / Augsto Sampaio - Coordenador / Ana Cavalcanti - Integrante / Paulo Borba - Integrante / David Naumann - Integrante / Antônio Carvalho Júnior - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 8
-
2001 - 2003
AbADeS: Abordagens Algébricas para o Desenvolvimento de Sistemas, Descrição: Prevê-se o desenvolvimento de metodologias baseadas na semântica algébrica para o desenvolvimento de sistemas escritos em uma linguagem orientada a objetos, bem como de sistemas embarcados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sandberg Marcel Santos - Integrante / Manoel Messias da Silva Menezes Júnior - Integrante / Andre Luis Meneses Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Universidade Federal de Sergipe - Remuneração., Número de produções C, T & A: 11
-
2001 - 2002
Uma Abordagem Algébrica para o Particionamento de Sistemas em Co-design, Descrição: O objetivo deste projeto é estender a metodologia proposta por Leila Silva (2000) para incluir estruturas mais complexas da linguagem occam. Pretende-se também automatizar provas das regras propostas na estratégia original.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sandberg Marcel Santos - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 2
-
2001 - 2002
RICR: Recuperação da Informação e Cálculo de Refinamento, Descrição: O projeto dividia-se em dois módulos: Recuperação da Informação e Cálculo de Refinamento. No módulo de Recuperação da Informação prevê-se a construção de um meta-engenho de busca com ênfase na qualidade dos resultados retornados. No módulo de Cálculo de Refinamento prevê-se a investigação de uma semântica formal para uma linguagem orientada a objetos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Thiago Alves Costa - Integrante / Antônio José S Santana - Integrante / Romulo Augusto de O Passos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 9
-
1995 - 1997
Projeto Integrado de Hardware e Software (PISH), Descrição: Destina-se à concepção de uma metodologia forma para o particionamento de hardware e software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Integrante / Edna Barros - Coordenador / Manuel Eusébio Lima - Integrante / Ricardo Jacobi - Integrante / Ney Calazans - Integrante / Augsto Sampaio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 11
Projetos de desenvolvimento
-
2009 - Atual
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.Número de orientações: 3
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2009 - Atual
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.Número de orientações: 3
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2009 - Atual
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.Número de orientações: 3
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2009 - Atual
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.Número de orientações: 3
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2009 - Atual
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.Número de orientações: 3
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2009 - Atual
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.Número de orientações: 3
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2009 - Atual
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.Número de orientações: 3
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2009 - Atual
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.Número de orientações: 3
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2017 - Atual
Cidades Inteligentes: aplicações para saúde pública, Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
-
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2017 - Atual
Cidades Inteligentes: aplicações para saúde pública, Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
-
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante.Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2017 - Atual
Cidades Inteligentes: aplicações para saúde pública, Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
-
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2017 - Atual
Cidades Inteligentes: aplicações para saúde pública, Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
-
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2017 - Atual
Cidades Inteligentes: aplicações para saúde pública, Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
-
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2017 - 2019
Cidades Inteligentes: aplicações para saúde pública, Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
-
2017 - Atual
Aplicações para apoio ao estudo epidemiológico de doenças transmitidas pelo Aedes aegypti, Descrição: Este projeto visa desenvolcer algumas ferramentas que dê suporte automático ao estudo epidemiológico de doenças transmitidas pelo mosquito Aedes aegypti, como dengue, febre amarla, zika e chicungunya. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Débora Nascimento - Integrante / Roseli la Corte Santos - Integrante.
-
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2017 - 2019
Cidades Inteligentes: aplicações para saúde pública, Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
-
2017 - Atual
Aplicações para apoio ao estudo epidemiológico de doenças transmitidas pelo Aedes aegypti, Descrição: Este projeto visa desenvolcer algumas ferramentas que dê suporte automático ao estudo epidemiológico de doenças transmitidas pelo mosquito Aedes aegypti, como dengue, febre amarla, zika e chicungunya. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Débora Nascimento - Integrante / Roseli la Corte Santos - Integrante.
-
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 5
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7 / Número de orientações: 3
-
2017 - 2019
Cidades Inteligentes: aplicações para saúde pública, Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
-
2017 - Atual
Aplicações para apoio ao estudo epidemiológico de doenças transmitidas pelo Aedes aegypti, Descrição: Este projeto visa desenvolcer algumas ferramentas que dê suporte automático ao estudo epidemiológico de doenças transmitidas pelo mosquito Aedes aegypti, como dengue, febre amarla, zika e chicungunya. Estão em desenvolvimento uma ferramenta AaMT que automatiza as metodologias LIRA e o PNCD de combate do mosquito e VetoresMT, uma ferramenta que automatiza atividades de pesquisa ligadas ao mosquito e arboviroses por ele provocadas.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Débora Nascimento - Integrante / Roseli la Corte Santos - Integrante.
-
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica, Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
-
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos, Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 11
-
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais, Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 10
-
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético, Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 10
Prêmios
2021
Prêmio Iniciação em Desenvolvimento Tecno-lógico e Inovação - Terceiro Lugar (Orientação de trabalho premiado), Universidade Federal de Sergipe.
2018
Prêmio Iniciação Científica Destaque da UFS - Primeiro Lugar - (Orientação do trabalho premiado), Universidade Federal de Sergipe.
2018
Prêmio Iniciação Científica Destaque da UFS - Segundo Lugar - (Orientação do trabalho premiado), Universidade Federal de Sergipe.
2013
Prêmio de Melhores Trabalhos de Extensão da UFS - segundo lugar, Universidade Federal de Sergipe.
2012
Prêmio Melhores Monografias Prof. Arivaldo Montalvão (orientação da monografia de Marcos Paulo Paixão, primeiro lugar da área de Engenharias e Computação), Universidade Federal de Sergipe.
2009
Medalha de ouro na Maratona de Programação (como co-técnica da equipe Anuncie Aqui), Sociedade Brasileira de Computação.
2007
Pesquisador FAPITEC/SE, Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe.
2006
Primeiro lugar no IV WTICG-BASE, categoria Iniciação Científica (Orientação de trabalho premiado), Sociedade Brasileira de Computação - Regional Nordeste 3.
2006
CTIC 2006 - Orientação de artigo selecionado entre os dez melhores trabalhos, Sociedade Braileira de Computação.
2005
CTIC 2005 - Orientação de artigo selecionado entre os dez melhores trabalhos, Sociedade Brasileira de Computação.
2005
Primeiro lugar no III WTICG-BASE, categoria Iniciação Científica (Orientação de trabalho premiado), Sociedade Brasileira de Computação - Regional Nordeste 3.
2004
Primeiro lugar no II WTICG-BASE, categoria Iniciação Científica (Orientação de trabalho premiado), Sociedade Brasileira de Computação - Regional Nordeste 3.
2004
Terceiro Lugar no CTIC 2004 - (Orientação de Trabalho Premiado), Sociedade Brasileira de Computação.
2000
Melhor Tese de Doutorado, Sociedade Brasileira de Computação.
1991
Dissertação de Mestrado aprovada com distinção e louvor, Universidade Estadual de Campinas.
1986
Medalha do Mérito Estudantil, pela maior média ponderada entre todos os formandos da UFS em 1985/02, Universidade Federal de Sergipe.
1982
Primeiro lugar geral no vestibular da Universidade Federal de Sergipe, Universidade Federal de Sergipe.
Histórico profissional
Endereço profissional
-
Universidade Federal de Sergipe, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística. , Campus Universitário Prof. José Aloísio Campos, Rosa Elze, 49100-000 - Sao Cristovao, SE - Brasil, Telefone: (79) 21056678, Fax: (79) 21056684, URL da Homepage:
Experiência profissional
1992 - Atual
Universidade Federal de SergipeVínculo: , Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Ingressou em 1992 como professora assistente, em 2000 progrediu para o nível adjunto em em 2008 para o nível associado.
Atividades
-
11/2014
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Linhas de pesquisa
-
08/2000
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Linhas de pesquisa
-
10/1992
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos, Algoritmos em Grafos, Estrutura de Dados II, Grafos e Algoritmos Computacionais, Informática, Ética e Sociedade, Introdução à Ciência da Computação, Linguagens de Programação, Métodos Formais, Programação III, Projeto e Análise de Algoritmos, Projeto Supervisionado, Qualidade de Software, Sistemas Críticos, Programação Funcional
-
10/1992
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Membro de conselho de unidade.
-
03/2009 - 04/2023
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Estatistica e Informatica.,Cargo ou função, Membro suplente do colegiado do curso de Sistema de Informação.
-
09/2008 - 03/2023
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Estatistica e Informatica.,Cargo ou função, Membro do Colegiado do Curso de Bacharelado em Ciência da Computação.
-
01/2010 - 12/2022
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Linhas de pesquisa
-
08/2010 - 11/2021
Ensino, Mestrado em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Algoritmos, Engenharia de Software, Métodos Formais
-
06/2010 - 11/2021
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Membro do Núcleo do Programa de Pós-graduação em Ciência da Computação.
-
05/2008 - 12/2018
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Atividade de extensão realizada, Uma Proposta para a Divulgação da Ciência da Computação no Ensino Fundamental.
-
06/2010 - 10/2014
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Membro do Conselho Técnico Científico e de Inovação do Sergipe Parque tecnológico.
-
05/2013 - 08/2014
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Coordenador Pedagógico do Bacharelado em Ciência da Computação.
-
01/2007 - 12/2013
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Atividade de extensão realizada, Coordenadora Local da Olimpíada Brasileira de Informática.
-
12/2012 - 01/2013
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Vice-coordenadora do Programa de Pós-Graduação em Ciência da Computação.
-
02/2001 - 12/2012
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Linhas de pesquisa
-
02/1995 - 12/2012
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Linhas de pesquisa
-
06/2009 - 11/2011
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.,Atividade realizada, Técnica de times da UFS para a Maratona de Programação.
-
04/2010 - 12/2010
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Coordenador de Programa de Pós-Graduação.
-
11/2009 - 02/2010
Ensino, Especialização em Gestão de Projetos de Software, Nível: Especialização,Disciplinas ministradas, Qualidade de Software
-
09/2008 - 03/2009
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Estatistica e Informatica.,Cargo ou função, Coordenador de Curso de Bacharelado em Ciência da Computação.
-
05/2008 - 01/2009
Ensino, Especializaçao em Engenharia de Software, Nível: Especialização,Disciplinas ministradas, Metodologias Ágeis, Qualidade de Software
-
10/2005 - 09/2007
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.,Atividade realizada, Secretária Regional da SBC.
-
08/2005 - 02/2007
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Coordenador de Curso de Especialização em Tecnologias da Informação.
-
08/2005 - 02/2007
Ensino, Especialização Em Tecnologias da Informação, Nível: Especialização,Disciplinas ministradas, Introdução à Engenharia de Software, Metodologias Ágeis, Qualidade de Software
-
11/2000 - 02/2007
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Membro de Colegiado de Curso de Bacharelado em Ciência da Computação.
-
11/2004 - 11/2006
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Vice - Coordenação de Curso.
-
10/2005 - 03/2006
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Membro do Comitê PIBIC/CNPq.
-
10/2002 - 10/2005
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.,Atividade realizada, Delegada Institucional da Sociedade Brasileira de Computação.
-
07/2004 - 09/2005
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.,Atividade realizada, Coordenação Local do POSCOMP.
-
07/2002 - 07/2004
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Membro de colegiado do Curso de Estatística.
-
06/2001 - 06/2004
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Linhas de pesquisa
-
11/2000 - 10/2002
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Coordenador de Curso.
-
11/2000 - 10/2002
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Membro de conselho de centro.
-
04/2001 - 12/2001
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Atividade de extensão realizada, Coordenação de Cursos Básicos para a Comunidade.
-
08/1993 - 02/1996
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Membro do Colegiado de Curso.
-
08/1995 - 01/1996
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Consultor PIBIC/CNPq.
-
04/1995 - 08/1995
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Membro da Comissão de Avaliação de Cursos do CCET.
-
04/1994 - 08/1995
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Coordenador de Curso.
-
04/1994 - 08/1995
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Membro de conselho de centro.
-
06/1993 - 08/1995
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Linhas de pesquisa
-
01/1993 - 01/1995
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Coordenação de Laboratório.
-
10/1992 - 01/1993
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.,Cargo ou função, Coordenador de Assuntos de Biblioteca do Departamento.
2004 - 2007
Universidade Federal da BahiaVínculo: Colaborador, Enquadramento Funcional: Professor colaborador, Carga horária: 10
Outras informações:
Docente associado ao Mestrado em Mecatrônica, mediante um convênio de intercâmbio
UFS/UFBA.
Atividades
-
03/2005
Pesquisa e desenvolvimento, Departamento de Ciência da Computação.,Linhas de pesquisa
-
06/2004
Ensino, Mestrado Em Mecatrônica, Nível: Pós-Graduação,Disciplinas ministradas, Especificação Formal
2007 - 2007
Fachhochschule MannheimVínculo: Professor Visitante, Enquadramento Funcional: Professor, Carga horária: 40
Outras informações:
Professor visitante por um mês, desenvolvendo intercâmbio de ensino e pesquisa a convite da instituição.
Atividades
-
09/2007 - 09/2007
Ensino, Master in Computer Science, Nível: Pós-Graduação,Disciplinas ministradas, Introduction to CSP
1986 - 1988
Universidade TiradentesVínculo: Servidor público ou celetista, Enquadramento Funcional: Professor, Carga horária: 8
Outras informações:
Professora contratada por hora/aula.
Atividades
-
08/1986 - 02/1988
Ensino, Bacharelado Em Administração, Nível: Graduação,Disciplinas ministradas, Matemática Básica II, Processamento de Dados II
1986 - 1988
Departamento de Estradas e Rodagem do Estado de SergipeVínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro Civil, Carga horária: 30
Atividades
-
04/1986 - 07/1988
Direção e administração, Diretoria Técnica, Setor de Computação.,Cargo ou função, Chefe do setor de computação.
-
03/1986 - 07/1988
Serviços técnicos especializados , Diretoria Técnica, Setor de Computação.,Serviço realizado, Sistema computacional para Projeto Geométrico de Estradas e Custos Rodoviários.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Leila Maciel de Almeida e Silva e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?