Lucas Albertins de Lima

  • Endereço para acessar este CV: http://lattes.cnpq.br/0465071050875729
  • Última atualização do currículo em 24/05/2018


Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: software, componentes, componentização, teste de software, verificação e validação de sistemas de tempo-real. (Texto informado pelo autor)


Identificação


Nome
Lucas Albertins de Lima
Nome em citações bibliográficas
LIMA, L. A.;LIMA, LUCAS


Formação acadêmica/titulação


2011 - 2016
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
com período sanduíche em University of York (Orientador: Ana Cavalcanti).
Título: Formalização de diagramas UML/SysML para fins de Análise de Consistência, Ano de obtenção: 2016.
Orientador: Juliano Manabu Iyoda.
Coorientador: Augusto Cezar Alves Sampaio.
Bolsista do(a): Seventh Framework Programme (FP7) - EU, FP7, Alemanha.
Palavras-chave: Verificação de Modelos; Análise de Consistência; SysML; UML; CML.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Pesquisa e desenvolvimento científico; Serviços de arquitetura e engenharia; testes e análises técnicas.
2007 - 2009
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Test Case Prioritization Based on Data Reuse for Black-Box Environments,Ano de Obtenção: 2009.
Orientador: Augusto Cezar Alves Sampaio.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Heuristics; Software Testing; Test Case Prioritization.
Grande área: Ciências Exatas e da Terra
2003 - 2007
Graduação em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.
Título: GEOWEB: UM SISTEMA WEB DE INFORMAÇÃO GEOGRÁFICA.
Orientador: DR. CLÁUDIO DE SOUZA BAPTISTA.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2000 - 2002
Ensino Médio (2º grau).
Instituto Federal de Pernambuco, IFPE, Brasil.




Formação Complementar


2011 - 2011
Automação de Testes Funcionais com Selenium. (Carga horária: 12h).
Qualister, QUALISTER, Brasil.
2011 - 2011
Análise de Ponto de Função (APF). (Carga horária: 32h).
SWQuality Consultoria e Sistemas, SWQ, Brasil.
2009 - 2009
Scrum Product Owner. (Carga horária: 20h).
Scrum Alliance, SCRUMALLIANCE, Estados Unidos.


Atuação Profissional



Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2013 - 2016
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente I, Regime: Dedicação exclusiva.

Vínculo institucional

2010 - 2011
Vínculo: Professor Executor, Enquadramento Funcional: Professor Executor, Carga horária: 20

Vínculo institucional

2010 - 2010
Vínculo: Professor-Pesquisador II, Enquadramento Funcional: Professor, Carga horária: 20
Outras informações
Professor-Pesquisador II do Programa de Educação a Distância da UFRPE, lecionando disciplinas para o curso presencial de Licenciatura em Computação. Disciplinas lecionadas: Introdução a Programação e Prática no Ensino de Algorítmos.

Atividades

05/2017 - Atual
Pesquisa e desenvolvimento , UNIVERSIDADE FEDREAL RURAL DE PERNAMBUCO, .

05/2017 - Atual
Pesquisa e desenvolvimento , UNIVERSIDADE FEDREAL RURAL DE PERNAMBUCO, .

03/2017 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
PARADIGMAS DE PROGRAMAÇÃO
TESTE DE SOFTWARE
07/2016 - Atual
Direção e administração, Conselho Universitário, Reitoria.

Cargo ou função
Supervisor da área ENSISO (Engenharia de Sistemas de Software) do DEINFO.
08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
ANÁLISE E PROJETO DE SISTEMAS ORIENTADOS A OBJETOS
PARADIGMAS DE PROGRAMAÇÃO
03/2016 - 07/2016
Ensino, Física, Nível: Graduação

Disciplinas ministradas
INTRODUÇÃO À COMPUTAÇÃO
03/2016 - 07/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
PARADIGMAS DE PROGRAMAÇÃO
08/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
PARADIGMAS DE PROGRAMAÇÃO
ANÁLISE E PROJETO DE SISTEMAS ORIENTADOS A OBJETOS
08/2015 - 12/2015
Ensino, Engenharia Agrícola e Ambiental, Nível: Graduação

Disciplinas ministradas
INTRODUÇÃO À MICROINFORMÁTICA
03/2015 - 07/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
PARADIGMAS DE PROGRAMAÇÃO
TESTE DE SOFTWARE
09/2014 - 01/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
PARADIGMAS DE PROGRAMAÇÃO
TESTE DE SOFTWARE
12/2013 - 04/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
INTRODUÇÃO À PROGRAMAÇÃO I
TESTE DE SOFTWARE
06/2013 - 03/2014
Direção e administração, UNIVERSIDADE FEDREAL RURAL DE PERNAMBUCO, Núcleo de Tecnologia da Informação.

Cargo ou função
Coordenador de Sistemas.
06/2013 - 11/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução a Programação I
10/2010 - 02/2011
Ensino, Gestão Pública Municipal, Nível: Pós-Graduação

Disciplinas ministradas
Introdução a Educação a Distância
04/2010 - 09/2010
Ensino, Licenciatura em Computação, Nível: Graduação

Disciplinas ministradas
Prática de Ensino de Algoritmos
Introdução a Programação

Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2008 - 2013
Vínculo: , Enquadramento Funcional: Analista de Tecnologia da Informação, Carga horária: 40

Vínculo institucional

2007 - 2009
Vínculo: Mestrando, Enquadramento Funcional: Mestrando, Carga horária: 40

Atividades

02/2011 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .

10/2008 - Atual
Serviços técnicos especializados , Núcleo de Tecnologia da Informação - NTI/UFPE, .

Serviço realizado
Desenvolvimento de Sistema Integrado de Gestão Acadêmica - SIG@.
09/2011 - 08/2012
Serviços técnicos especializados , Núcleo de Tecnologia da Informação - NTI/UFPE, .

Serviço realizado
Gerência de Desenvolvimento de Sistemas de Informação.
05/2007 - 08/2009
Pesquisa e desenvolvimento , Centro de Informática, .

08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Sistemas - Estágio de Docência

Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2005 - 2007
Vínculo: Livre, Enquadramento Funcional: Bolsista, Carga horária: 20
Outras informações
Projeto Nokia Embedded Academy

Vínculo institucional

2004 - 2007
Vínculo: Livre, Enquadramento Funcional: Bolsista, Carga horária: 20
Outras informações
Programa de Educação Tutorial (PET) do Curso de Ciências da Computação da UFCG

Atividades

08/2005 - 05/2007
Pesquisa e desenvolvimento , Programa de Educação Tutorial, .

03/2005 - 05/2007
Pesquisa e desenvolvimento , Embedded Academy, .

2003 - 2003
Ensino, Programação I, Nível: Graduação

Disciplinas ministradas
Monitor da disciplina de Programação I, com carga horária semanal de 12 horas no ano letivo de 2003


Linhas de pesquisa


1.
Desenvolvimento de um software Ergométrico de combate ao LER
2.
COMPOR - Software Composition
3.
Verificação e Validação de Sistemas

Objetivo: Promover metodologias para a criação de sistemas seguros e corretos..
4.
Priorização de Casos de Teste

Objetivo: Pesquisar e desenvolver técnicas para ordenação de casos de teste visando objetivos específicos, como, aumento de produtividade, maior reuso, etc..
Grande área: Ciências Exatas e da Terra
Palavras-chave: Priorização de Casos de Teste; Teste de Software.
5.
Engenharia dirigida a modelos
6.
Modelagem e Análise de Sistemas de Sistemas
7.
Álgebras de Refinamento e Aplicações
8.
Engenharia dirigida a modelos
9.
Modelagem e Análise de Sistemas de Sistemas
10.
Álgebras de Refinamento e Aplicações


Projetos de pesquisa


2017 - Atual
Desenvolvimento de um Arcabouço para Verificação de Refinamento de Modelos UML comportamentais
Descrição: Durante o processo de desenvolvimento de sistemas, sejam eles de hardware ou software, as fases de análise e projeto têm um papel crucial por definir a arquitetura do sistema que será construído. Nestas fases os modelos evoluem, de forma que um modelo mais abstrato é refinado repetidamente até chegar em um modelo concreto, ou seja, mais próximo da implementação. Durante esta evolução é importante garantir que propriedades dos modelos mais abstratos ainda existam nos modelos mais concretos. Em geral, esta abordagem de verificação é feita de forma empírica, baseada principalmente na experiência dos projetistas, o que a torna bastante propícia a erros. A propagação destes erros pode tornar suas correções bastante custosas. Portanto, detecção de problemas ainda nesta fase é crucial para reduzir custos com manutenções. Assim, este projeto propõe um arcabouço integrado para análise de refinamento de modelos UML comportamentais. A estratégia, baseada em MDE - Model Driven Engineering (Engenharia Dirigida a Modelos), é composicional, no sentido de que a análise de sistemas complexos reutiliza verificações de componentes destes sistemas. Como entrada para a estratégia utilizamos modelos de análise e projeto de sistemas que utilizam a linguagem UML. Tal linguagem é semiformal e sua semântica é definida em linguagem natural e através do uso de meta-modelos, também semiformais. O framework proposto integra e estende, significativamente, uma pesquisa anterior que propõe uma estratégia de análise de propriedades de sistemas modelados em UML, como também semânticas para os seus diagramas. Este projeto envolve as seguintes contribuições: (i) definição de uma noções de refinamentos de diagramas comportamentais da UML, que será a base para permitir uma análise formal dos refinamento de modelos UML; (ii) tradução de diagramas comportamentais de UML para CSP (Communicating Sequential Processes), permitindo o reuso de uma estratégia de análise desenvolvida anteriormente, só que agora explorando aspectos de refinamento; (iii) um arcabouço que integra ferramenta de modelagem e ferramentas formais de forma a verificar automaticamente refinamentos de modelos diagramáticos; (iv) realização de estudos empíricos para analisar as vantagens comparativas da abordagem proposta com os atuais processos de validação de modelos. Ao final do projeto, espera-se entregar tecnologias que permitam a construção de sistemas mais seguros e com maior qualidade devido ao suporte ferramental para validação de suas arquiteturas..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Lucas Albertins de Lima - Coordenador / Sidney de Carvalho Nogueira - Integrante / Wallace Santana de Lima - Integrante.
2013 - 2014
Desenvolvimento de um Arcabouço para construção de sites da Pró-Reitoria de Pesquisa e Pós-Graduação
Descrição: Desenvolvimento de uma infra-estrutura de software que permita a criação de sites de programas de pós-graduação relacionados a Pró-Reitoria de Pesquisa e Pós-Graduação da UFRPE de forma automatizada e padronizada. Uma camada de software será desenvolvida sobre a plataforma Drupal para fornecer tal arcabouço..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Lucas Albertins de Lima - Coordenador / RICARDO ANDRÉ CAVALCANTE DE SOUZA - Integrante.
2013 - Atual
Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica
Descrição: Neste projeto, propomos a sistematização de vários aspectos do projeto de grandes sistemas, particularmente, com ênfase em Sistemas de Sistemas (SoS, Systems of Sytems). O escopo inclui modelagem (semiformal e formal), verificação (análise formal de propriedades) e teste de tais sistemas. Utilizamos a linguagem SysML para descrever requisitos e os modelos de análise e projeto (design) de um SoS. SysML é uma linguagem semiformal, amplamente utilizada na indústria, com uma semântica definida em linguagem natural e através do uso de meta-modelos, também semiformais. Portanto, ambiguidades nos modelos SysML podem induzir a erros de implementação. No processo proposto, o modelo em SysML é traduzido (automaticamente) para um modelo descrito na linguagem formal Circus, que integra a álgebra de processos CSP, para expressar os aspectos reativos, a linguagem baseada em modelos Z, para expressar os aspectos de dados e a linguagem de comandos guardados de Dijkstra, fazendo de Circus não apenas uma linguagem de especificação, mas também de programação. Como segunda etapa do processo proposto, o modelo Circus será verificado com o objetivo de se garantir a preservação de propriedades de interesse. Isto permitirá, inicialmente, verificar a consistência, tanto individual, como integrada, dos diagramas SysML do sistema. Um outro aspecto da análise é o desenvolvimento de uma estratégia que garanta, por construção, a ausência de problemas clássicos como deadlock no SoS, a partir da verificação da ausência de deadlock em seus componentes. O desafio desta análise é escalabilidade. Como terceira e última etapa do processo, complementar à verificação, será desenvolvida uma estratégia automática de geração de vetores de teste a partir da especificação em Circus. Finalmente, o escopo do projeto inclui uma avaliação, em um ambiente industrial, com o apoio da Embraer, da eficácia dos métodos de modelagem, análise e teste propostos, através da aplicação na área de aviação e na arquitetura IMA (Integrated Modular Avionics) em particular. Este projeto inclui um breve relato das metas atingidas no período anterior. Alguns resultados, restritos a aspectos de controle em CSP e testados em exemplos pequenos, serão estendidos para um formalismo multiparadigma (Circus) e validados em aplicações reais de IMA..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) .
Integrantes: Lucas Albertins de Lima - Integrante / Augusto Cezar Alves Sampaio - Coordenador.
2012 - 2015
Modelagem e Análise Composicional de Sistemas de Sistemas com Aplicações na Indústria Aeronáutica
Descrição: Propomos um processo para modelagem e análise formal de propriedades de Sistemas de Sistemas (SoS, Systems of Sytems), com ênfase em aplicações na área de aviação e na arquitetura IMA (Integrated Modular Avionics) em particular. Utilizamos a linguagem SysML para descrever requisitos e os modelos de análise e projeto (design) de um SoS. SysML é uma linguagem semiformal cuja semântica é definida em linguagem natural e através do uso de meta-modelos, também semiformais. Por um lado, uma notação semiformal (e gráfica) conquista uma adoção ampla e rápida pela indústria devido a sua simplicidade e facilidade de aprendizado. Por outro lado, ambiguidades nos modelos podem induzir a erros de implementação. Por sua vez, usualmente há resistência, no ambiente industrial, com relação à adoção de uma notação formal, mesmo com a promessa de especificações formais serem livres de ambiguidades e poderem ser analisadas de forma rigorosa com auxílio de ferramentas. No processo proposto, o modelo em SysML é traduzido (automaticamente) para um modelo descrito na linguagem formal Circus, que integra a álgebra de processos CSP, para expressar os aspectos reativos, a linguagem baseada em modelos Z, para expressar os aspectos de dados e a linguagem de comandos guardados de Dijkstra, fazendo de Circus não apenas uma linguagem de especificação, mas também de programação. Desta forma, esperamos produzir uma solução em que a notação gráfica continua disponível, porém com os benefícios adicionais oferecidos pela notação formal Circus. Como segunda etapa do processo proposto, o modelo Circus será analisado com o objetivo de se garantir a preservação de propriedades de interesse. Isto permitirá, inicialmente, verificar a consistência, tanto individual, como integrada, dos diagramas SysML do sistema. Um outro aspecto da análise é o desenvolvimento de uma estratégia que garanta, por construção, a ausência de deadlock no SoS, a partir da verificação da ausência de deadlock em seus componentes. O desafio desta análise é escalabilidade. Finalmente, o escopo do projeto inclui uma avaliação, em um ambiente industrial, com o apoio da Embraer, da eficácia dos métodos de modelagem e análise propostos, através da aplicação da abordagem proposta em um estudo de caso real relacionado a sistemas IMA..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (4) .
Integrantes: Lucas Albertins de Lima - Integrante / Juliano Manabu Iyoda - Integrante / Augusto Cezar Alves Sampaio - Coordenador / André Didier - Integrante / Márcio Cornélio - Integrante / Gustavo Carvalho - Integrante / Marcel Oliveira - Integrante / José Oliveira - Integrante / Pedro Antonino - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2014
COMPASS - Comprehensive Modelling for Advanced Systems of Systems

Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 04/03/2013.
Descrição: COMPASS will augment existing industry tools and practice with an underlying modelling language in which Systems of Systems (SoS) architectures and contracts can be expressed. A formal semantic foundation the first to be developed specifically for SoS engineering will enable this language to support analysis of global SoS properties. The language and methods will be supported by an open, extendible tools platform with integrated prototype plug-ins for model construction, dynamic analysis by simulation and test automation, static analysis by model-checking and proof, and links to an established architectural modelling language (SysML). These strengthened foundations and tools will support enhanced methods guidelines that help users embed this new technology in industrial SoS practice. Technical advances in COMPASS are focussed on industry needs evaluated through substantial industry-led case studies in three diverse and complementary areas. These will be augmented by challenge problems solicited from a range of SoS stakeholders and developer organisations through a special interest group. The open platform, tools plug-ins, semantics, development guidelines, industry case study experience and challenge problems will ensure that COMPASS‟s outputs can be readily exploited by SoS developers and stakeholders as well as in future research and development...
Situação: Concluído; Natureza: Pesquisa.
2009 - 2009
INES
Descrição: Instituto Nacional para Engenharia de Software participando do grupo de Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
Brazil Test Center
Descrição: Participação no grupo de pesquisa do programa da Motorola chamado Brazil Test Center (BTC) proveniente de uma parceria com o Centro de Informática da UFPE, desenvolvendo pesquisa na área de priorização de casos de teste..
Situação: Em andamento; Natureza: Pesquisa.
2005 - 2007
Desenvolvimento de Software para Aplicações Móveis
Descrição: Tecnologias para Desenvolvimento de Software para Aplicações Móveis Baseadas em J2ME, SYMBIAN, Linux e Padrões Mobile Alliance.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) .
Integrantes: Lucas Albertins de Lima - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Membro de corpo editorial


2011 - 2011
Periódico: Encontro de Comp. e Inf. do Tocantins


Áreas de atuação


1.
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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Pouco.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.


Prêmios e títulos


2006
Trabalho Destaque na categoria Sessão oral, Universidade Federal da Bahia / Pró-Reitoria de Graduação / V ENEPET.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
LIMA, LUCAS2015 LIMA, LUCAS; MIYAZAWA, ALVARO ; CAVALCANTI, ANA ; CORNÉLIO, MÁRCIO ; IYODA, JULIANO ; SAMPAIO, AUGUSTO ; HAINS, RALPH ; LARKHAM, ADRIAN ; LEWIS, VAUGHAN . An integrated semantics for reasoning about SysML design models using refinement. Software and Systems Modeling (Print), v. online, p. 1-28, 2015.

Livros publicados/organizados ou edições
1.
LIMA, L. A.. Formalisation of SysML Models and Analysis based on Refinement. 1. ed. Saarbrücken: LAP Lambert Academic Publishing, 2016. v. 1. 320p .

2.
LIMA, L. A.. Test Case Prioritization Based on Data Reuse. 1. ed. Saarbrücken: LAP LAMBERT, 2011. v. 1. 116p .

Trabalhos completos publicados em anais de congressos
1.
LIMA, L. A.; IYODA, J. M. ; SAMPAIO, A. C. A. . Refinement Verification of Sequence Diagrams Using CSP. In: Brazilian Symposium on Formal Methods, 2016, Natal. Formal Methods: Foundations and Applications. SBMF 2016., 2016.

2.
LIMA, L. A.; IYODA, J. M. ; SAMPAIO, A. C. A. . A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. In: International Conference on ModelDriven Engineering and Software Development, 2014, Lisbon. Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, 2014. p. 317.

3.
LIMA, L. A.; DIDIER, A. ; CORNELIO, M. . A Formal Semantics for SysML Activity Diagrams. In: Brazilian Symposium on Formal Methods (SBMF 2013), 2013, Brasilia, DF, BR. Proceedings of the 16th Brazilian Symposium on Formal Methods (Lecture Notes in Computer Science), 2013. v. 8195. p. 179-194.

4.
MIYAZAWA, A. ; LIMA, L. A. ; CAVALCANTI, A. . Formal Models of SysML Blocks. In: International Conference on Formal Engineering Methods (ICFEM 2013), 2013, Queenstown, New Zealand. Proceedings of the 15th International Conference on Formal Engineering Methods(Lecture Notes in Computer Science), 2013. v. 8144.

5.
LIMA, L. A.; ARANHA, Eduardo ; IYODA, J. M. ; SAMPAIO, A. C. A. . Test Case Prioritization Based on Data Reuse - An Experimental Study. In: 3rd International Symposium on Empirical Software Engineering and Measurement, 2009, Lake Buena Vista. Proceedings of the 3rd Empirical Software Engineering and Measurement (ESEM), 2009. p. 279-290.

6.
LIMA, L. A.; IYODA, J. M. ; SAMPAIO, A. C. A. . A Permutation Technique for Test Case Prioritization in a Black-box Environment. In: SAST - 2nd Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas/SP. Anais do 2º Workshop Brasileiro sobre Teste de Software Sistemático e Automatizado, 2008.

7.
LIMA, L. A.; BARBOSA, A. E. V. ; FERREIRA NETO, W. P. ; Fechine, J. M. . PERSEU - Ferramenta Computacional para a Prevenção do DORT Causado pelo uso Contínuo do Computador. In: III Simpósio Brasileiro de Sistemas de Informação, 2006, Curitiba. Anais do III Simpósio Brasileiro de Sistemas de Informação, 2006.

Resumos expandidos publicados em anais de congressos
1.
LIMA, L. A.; FERREIRA NETO, W. P. . Projeto CCT - Component Composition Tools. In: V ENEPET, 2006, Salvador. V ENEPET, 2006.

Resumos publicados em anais de congressos
1.
FERREIRA NETO, W. P. ; LIMA, L. A. ; BARBOSA, A. E. V. ; Fechine, J. M. . PERSEU - Ferramenta de Profilaxia ao DORT. In: Simpósio de Fatores Humanos em Sistemas Computacionais (IHC), 2006, Natal. Anais Estendidos do IHC 2006, 2006.

2.
BARBOSA, A. E. V. ; FERREIRA NETO, W. P. ; REGIS, M. V. O. ; LIMA, L. A. . Projeto PERSEU - Uma Ferramenta Computacional Para Auxílio na Recução de DORT Devido ao Uso do Computador. In: XI Encontro Nacional dos Grupos PET (ENAPET), 2006, Florionópolis. Anais do XI ENAPET, 2006.

3.
LIMA, L. A.; Fechine, J. M. . Metodologia Utilizada pelo PET-Computação da UFCG. In: XI Encontro Nacional dos Grupos PET (ENAPET), 2006, Florionópolis. Anais do XI ENAPET, 2006.

4.
LIMA, L. A.; FERREIRA NETO, W. P. . Eclipse Tools - Ferramenta de Auxílio a Composição Dinâmica de Software. In: I Encontro Unificado de Ensino, Pesquisa e Extensão da UFCG, 2005, Campina Grande. Anais do I Encontro Unificado de Ensino, Pesquisa e Extensão, 2005.

Apresentações de Trabalho
1.
LIMA, L. A.; IYODA, J. M. ; SAMPAIO, A. C. A. . Refinement Verification of Sequence Diagrams Using CSP. 2016. (Apresentação de Trabalho/Conferência ou palestra).

2.
LIMA, L. A.; IYODA, J. M. ; SAMPAIO, A. C. A. . A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. 2014. (Apresentação de Trabalho/Conferência ou palestra).

3.
LIMA, L. A.; IYODA, J. M. ; SAMPAIO, A. C. A. . A Formal Semantics for SysML Activity Diagrams. 2013. (Apresentação de Trabalho/Conferência ou palestra).

4.
LIMA, L. A.; ARANHA, Eduardo ; IYODA, J. M. ; SAMPAIO, A. C. A. . Test Case Prioritization Based on Data Reuse - An Experimental Study. 2009. (Apresentação de Trabalho/Simpósio).

Outras produções bibliográficas
1.
LIMA, L. A.. Report on Guidelines for Analysis of SysML Diagrams 2014 (Relatório Técnico).


Produção técnica
Programas de computador sem registro
1.
LIMA, L. A.; FERREIRA NETO, W. P. . Plugin CCT. 2006.

2.
LIMA, L. A.; FERREIRA NETO, W. P. ; BARBOSA, A. E. V. ; Fechine, J. M. . PERSEU. 2006.

3.
LIMA, L. A.; LIMA, H. S. ; BARBOSA, A. E. V. . PSFComponent. 2005.


Demais tipos de produção técnica
1.
LIMA, L. A.. Curso Sebrae Sol - Informática Básica. 2005. (Curso de curta duração ministrado/Extensão).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
FURTADO, A. P. C. C.; PONTES, M.; LIMA, L. A.. Participação em banca de ANTONIO SEVERINO DA SILVA JÚNIOR. OCTA: UMA FERRAMENTA PARA APOIAR A ESCRITA DE TESTES DE SOFTWARE NO CONTEXTO DE ORACLES. 2018. Dissertação (Mestrado em MESTRADO EM ENGENHARIA DE SOFTWARE) - Centro de Estudos e Sistemas Avançados do Recife.

2.
MOTA, A. C.; LIMA, LUCAS; IYODA, J. M.. Participação em banca de Alex Antônio Cândido Silva. FREVoz ? Um Framework para Automação de Testes de Voz. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
CORNELIO, M.; LIMA, LUCAS; IYODA, J. M.. Participação em banca de Leonilson de Araújo Barboza. AR(M)OBO TEST: UM BRAÇO ROBÓTICO PARA SUPORTE A TESTES AUTOMÁTICOS DE RETRATO E PAISAGEM PARA SMARTPHONES. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Trabalhos de conclusão de curso de graduação
1.
LIMA, LUCAS; SOUZA, R. A. C.; Araújo, A. A. C.. Participação em banca de Márdeni Ferreira de Souza Sá.Automatização do Processo de Gestão do Auxílio Saúde Executado pela SUGEP-UFRPE. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural de Pernambuco.

2.
NOGUEIRA, S. C.; LIMA, LUCAS. Participação em banca de Larissa Karollyne de Melo Ferreira.Avaliação empírica de uma ferramenta de testes baseada em modelos no processo de criação de testes. 2017. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal Rural de Pernambuco.



Participação em bancas de comissões julgadoras
Outras participações
1.
LIMA, L. A.. Aplicação de Meta-Aprendizado em PSO, através da sugestão de topologias baseada em problemas específicos (Avaliação PIBIC). 2018. Universidade Federal Rural de Pernambuco.

2.
LIMA, L. A.. Geração de Algoritmos de Inteligência Computacional considerando-se Múltiplos Critérios (Avaliação PIBIC). 2018. Universidade Federal Rural de Pernambuco.

3.
LIMA, L. A.; GOMES, F.; LIMA, J. P.. Framework de captação e categorização automática de registro de horas de trabalho (Avaliação PIBIC). 2017. Universidade Federal Rural de Pernambuco.

4.
LIMA, L. A.; DUARTE NETO, P.; SOUSA, E.. Framework de categorização automática de lançamentos financeiros (Avaliação PIBIC). 2017. Universidade Federal Rural de Pernambuco.

5.
LIMA, L. A.. Implementando Variedades Topológicas Digitais como Grafos (Avaliação PIBIC). 2017. Universidade Federal Rural de Pernambuco.

6.
LIMA, LUCAS. Avaliação de Algoritmos para Reconhecimento de Fala em Tempo Real em Sistemas Embarcados com Restrições Energéticas e Computacionais (Avaliação PIBIC). 2017. Universidade Federal Rural de Pernambuco.

7.
LIMA, LUCAS. Estudos de Análise Espectral para o Desenvolvimento de Filtros Lineares para a Previsão de Séries Temporais (Avaliação PIBIC). 2017. Universidade Federal Rural de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brazilian Symposium on Formal Methods.Refinement Verification of Sequence Diagrams Using CSP. 2016. (Simpósio).

2.
International Conference on ModelDriven Engineering and Software Development. A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. 2014. (Congresso).

3.
Brazilian Symposium on Formal Methods (SBMF 2013).A Formal Semantics for SysML Activity Diagrams. 2013. (Simpósio).

4.
Third International Symposium on Empirical Software Engineering and Measurement.Test case prioritization based on data reuse an experimental study. 2009. (Simpósio).

5.
Brazilian Workshop on Systematic and Automated Software Testing.A Permutation Technique for Test Case Prioritization in a Black-box Environment. 2008. (Outra).

6.
XXII Simpósio Brasileiro de Engenharia de Software. 2008. (Simpósio).

7.
PSSE - Pernambuco School on Software Engineering. 2007. (Outra).

8.
XXI SBES - Simpósio Brasileiro de Engenharia de Software. 2007. (Simpósio).

9.
V Encontro Nordestino de Grupos PET.Projeto CCT - Component Composition Tools. 2006. (Encontro).

10.
XI Encontro Nacional dos Grupos PET (ENAPET).Metodologia Utilizada pelo PET-Computação da UFCG. 2006. (Encontro).

11.
I Encontro Unificado de Ensino, Pesquisa e Extensão da UFCG.Eclipse Tools - Ferramenta de Auxílio a Composição Dinâmica de Software. 2005. (Encontro).

12.
IV Encontro Nordestino de Grupos PET. 2005. (Encontro).

13.
I Fórum OurGrid sobre Grids Computacionais. 2004. (Outra).

14.
Internacinal Seminar on Software Design. 2004. (Seminário).


Organização de eventos, congressos, exposições e feiras
1.
LIMA, L. A.. Revisor do SEFM 2016 (14th International Conference on Software Engineering and Formal Methods). 2016. (Congresso).

2.
LIMA, L. A.. Revisor do FormalISE 2015 (FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING). 2015. (Congresso).

3.
LIMA, L. A.. Revisor do FACS 2015 (12th International Conference on Formal Aspects of Component Software). 2015. (Congresso).

4.
LIMA, L. A.. Revisor do SEFM 2014 (12th International Conference on Software Engineering and Formal Methods). 2014. (Congresso).

5.
LIMA, L. A.. XXXIII Congresso Brasileiro de Ensino de Engenharia. 2005. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Flávia Mérylyn Carneiro Falcão. Compositional Analysis and Design of SysML Models. Início: 2016. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. (Coorientador).

Iniciação científica
1.
Daniel José Freire de Araújo. Desenvolvimento de um Arcabouço para Verificação de Refinamento de Diagramas de Sequência. Início: 2017. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Rural de Pernambuco. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Márdeni Ferreira de Souza Sá. Automatização do Processo de Gestão do Auxílio Saúde Executado pela SUGEP-UFRPE. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Rural de Pernambuco. Orientador: Lucas Albertins de Lima.




Página gerada pelo Sistema Currículo Lattes em 21/01/2019 às 6:34:12