Laís do Nascimento Salvador

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


Possui graduação em Bacharelado em Processamento de Dados pela Universidade Federal da Bahia (1990), mestrado em Engenharia Elétrica pela Universidade de São Paulo (1995) e doutorado em Engenharia Elétrica pela Universidade de São Paulo (2001). Atualmente é professora do Departamento de Ciência da Computação da Universidade Federal da Bahia. Tem experiência em Informática na Educação e Engenharia de Software, atuando principalmente nos seguintes temas: mda e ontologias, processamento de linguagem natural, recuperação de informações e programação paralela. (Texto informado pelo autor)


Identificação


Nome
Laís do Nascimento Salvador
Nome em citações bibliográficas
SALVADOR, L. N.;SALVADOR, LAIS DO NASCIMENTO;DO NASCIMENTO SALVADOR, LAÍS;Laís Salvador;Salvador L.;Salvador, Laís;SALVADOR, LAIS NASCIMENTO;Salvador, Laís do Nascimento

Endereço


Endereço Profissional
Universidade Federal da Bahia.
Campus de Ondina, Av. Adhemar de Barros, S/N
Ondina
40170110 - Salvador, BA - Brasil
Telefone: (71) 32836258
Fax: (71) 32836276


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


1996 - 2001
Doutorado em Engenharia Elétrica.
Universidade de São Paulo, USP, Brasil.
Título: Um Conjunto de Recursos para Programação Paralela Orientada a Objetos, Ano de obtenção: 2001.
Orientador: Liria Matsumoto Sato.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Objetos; Sincronização; Concorrência; Herança.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
Setores de atividade: Desenvolvimento de Programas (Software).
1992 - 1995
Mestrado em Engenharia Elétrica.
Universidade de São Paulo, USP, Brasil.
Título: Aspectos de Paralelismo de uma Linguagem Baseada em Objetos,Ano de Obtenção: 1995.
Orientador: Liria Matsumoto Sato.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Objetos; Paralelismo; Programação Orientada a Objetos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
Setores de atividade: Informática.
1987 - 1990
Graduação em Bacharelado Em Processamento de Dados.
Universidade Federal da Bahia, UFBA, Brasil.




Formação Complementar


2008 - 2008
Extensão universitária em Fronteiras Braskem do Pensamento. (Carga horária: 18h).
Universidade Federal da Bahia, UFBA, Brasil.


Atuação Profissional



Universidade Federal da Bahia, UFBA, Brasil.
Vínculo institucional

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

Atividades

01/2014 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Teoria da Computação
01/2014 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
INTRODUÇÃO AS LINGUAGENS FORMAIS E TEORIA DA COMPUTAÇÃO
INTRODUÇÃO À LÓGICA MATEMÁTICA
02/2009 - Atual
Pesquisa e desenvolvimento , Pró-Reitoria de Pesquisa, Criação e Inovação, .

01/2014 - 12/2014
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
TÓPICOS EM FUNDAMENTOS DA COMPUTAÇÃO IV
05/2010 - 03/2012
Direção e administração, Departamento de Ciência da Computação, .

Cargo ou função
Vice-Chefe de Departamento.

Universidade Salvador, UNIFACS, Brasil.
Vínculo institucional

2006 - 2009
Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 40

Atividades

07/2007 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação e Algoritmo
03/2006 - Atual
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
MDA e Reengenharia de Software
Computação e Algoritmos
Gerência de Conhecimento
Tópicos em Compiladores
02/2006 - Atual
Direção e administração, Reitoria, Pró-Reitoria de Pós-Gradução, Pesquisa e Extensão.

Cargo ou função
Coordenadora da Especialização em Engenharia de Software.
02/2006 - Atual
Pesquisa e desenvolvimento , Reitoria, .

02/2006 - Atual
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Linguagens Formais
Linguagens Formais e Compiladores
02/2006 - Atual
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Compiladores
2006 - 2007
Ensino, Especialização em Engenharia de Software, Nível: Especialização

Disciplinas ministradas
Gerência de Conhecimento em Engenharia de Software

Universidade de São Paulo, USP, Brasil.
Vínculo institucional

1997 - 2002
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 10

Atividades

1997 - 2002
Pesquisa e desenvolvimento , Escola Politécnica, Departamento de Engenharia de Computação e Sistemas Digitais.

Linhas de pesquisa
Processamento Paralelo

Universidade São Judas Tadeu, USJT, Brasil.
Vínculo institucional

1997 - 2005
Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 18

Atividades

03/1997 - 12/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Automata e Linguagens Formais
Compiladores
Computação de Alto Desempenho
Lógica de Programação
Noções de Linguagens Formais e Automata
Noções de Teoria de Automata e Linguagens Formais
Sistemas Distribuídos

Universidade Cruzeiro do Sul, UNICSUL, Brasil.
Vínculo institucional

2004 - 2006
Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 8

Atividades

03/2004 - 07/2004
Ensino, Tecnologia de Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Técnicas de Programação II
03/2004 - 07/2004
Ensino, Tecnologia de Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Banco de Dados

Centro Universitário Sant'Anna, UNI-SANT'ANNA, Brasil.
Vínculo institucional

1997 - 1999
Vínculo: Colaborador, Enquadramento Funcional: Professora Convidada

Atividades

1997 - 1999
Ensino, Desenvolvimento de Sistemas de Informação, Nível: Especialização

Disciplinas ministradas
Análise de Sistemas Orientada a Objetos

Serviço Nacional de Aprendizagem Comercial, SENAC, Brasil.
Vínculo institucional

2001 - 2004
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 30



Linhas de pesquisa


1.
Processamento de Linguagem Natural

Objetivo: - Construção de Corpus para a língua Portuguesa; - Implementação de Etiquetadores Morfo-Sintáticos..
2.
Arquitetura Dirigida a Modelos - Engenharia de Software

Objetivo: - Estudo dos Padrões de Transformações entre Meta-Modelos; - Uso de Ontologias em MDA; - Especificação de Regras de Negócio no contexto MDA..
3.
Ontologias - Engenharia de Software

Objetivo: - Especificação de Ontologias de Domínio; - Uso de Ontologias em Engenharia de Software..
4.
Gerência de Conhecimento

Objetivo: - Implementação de Mecanismos para Socialização de Conhecimento..
5.
Qualidade de Software

Objetivo: - Estudo dos padrões CMMI e MPS-Br..
6.
Processamento Paralelo

Objetivo: - Estudo de Linguagens Paralelas Orientadas a Objetos;.
7.
Desenvolvimento Dirigido a Modelos
8.
Ontologias


Projetos de pesquisa


2013 - Atual
RESCUER: Reliable and Smart Analysis of Crowdsourcing Information for Emergency and Crisis Management
Descrição: RESCUER aims at developing a smart and interoperable computer platform for using crowdsourcing information mashed up with open data to support emergency and crisis management. The RESCUER platform will be capable of gathering crowdsourcing information in real-time (as close to the place and time of the incident as possible by 1) providing user interaction mechanisms especially developed to be used in emergency situations, 2) greatly improving situational awareness in a command centre in a timely manner, through novel multimedia data analysis methods and effective visualisation and manipulation mechanisms, 3) semi-automatically providing official and accurate announcement of emergencies to the affected community and general public through an efficient approach for deriving specific documents from generic ones. Furthermore, RESCUER will support ad-hoc communication.Both European and Brazilian industries will benefit from the project results, several of which have the potential for becoming at least de facto standards. As industrial areas periodically simulate incidents for training purposes, the RESCUER platform can be experimentally validated before the Olympic Summer Games in 2016. Moreover, a partial but operational version of it can be experimentally validated before the World FIFA Cup in 2014..
Situação: Em andamento; Natureza: Pesquisa.
2011 - Atual
UML e OWL: Uma Análise Comparativa de Semânticas
Descrição: Projeto - PIBIC - UFBA Este trabalho pretende investigar diferentes propostas de formalização da semântica da UML e OCL - focando nos diagramas de classe e casos de uso - analisando as principais diferenças entre tais trabalhos a luz da especificação não formal da semântica, tal como proposta pela OMG. Visa ainda entender melhor as diferenças conceituais entre diferentes frameworks semânticos para especificação formal de linguagens, como as semânticas algébrica e de modelos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Laís do Nascimento Salvador - Coordenador / George Pacheco Pinto - Integrante / Marlo Vieira dos Santos e Souza - Integrante / Tarcio Marinho Machado - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa.
2011 - Atual
Using Expert Finding techniques to design context-sensitive bug tracking systems - vigência 2011-2013 - 2o. edital interno do INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software)
Descrição: Projeto aprovado no 2o. edital interno do INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software) A bug tracking system is a software application that is designed to help quality assurance and programmers keep track of reported software bugs in their work. It may be regarded as a type of issue tracking system. Typically bug tracking systems are integrated with other software project management applications. Having a bug tracking system is extremely valuable in software development, and they are used extensively by companies developing software products. A major component of a bug tracking system is a database that records facts about known bugs. Facts may include the time a bug was reported, its severity, the erroneous program behavior, and details on how to reproduce the bug; as well as the identity of the person who reported it and any programmers who may be working on fixing it. The main benefit of a bug-tracking system is to provide a clear centralized overview of development requests (including both bugs and improvements, the boundary is often fuzzy), and their state. The prioritized list of pending items (often called backlog) provides valuable input when defining the product roadmap, or maybe just ?the next release?. Identifying best people to solve a bug in a big system is a problem, once that it is hard to keep track of expertise of all the stakeholders in a project. Our goal is use Expert Finding techniques to design context-sensitive bug tracking systems. There are new information retrieval techniques that can be used to find experts in software development teams. Besides, after finding the experts in a software development team, the bug-tracking systems can be improved through context sensitive design techniques. This project has some innovative features related to information retrieval, expert finding and context-sensitive development. The expected contributions can be classified into two aspects: theoretical-conceptual and e.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Laís do Nascimento Salvador - Coordenador / Daniela Cruzes - Integrante / Ricardo Amorim - Integrante / Vaninha Vieira dos Santos - Integrante / José Alberto Sousa Torres - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - Atual
MDAOnto System - a solution for the development of applications supported by educational model and ontologies
Descrição: Projeto aprovado no 2o. edital interno do INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software) Nos últimos anos, muitas pesquisas têm sido desenvolvidas com o foco em questões de reuso e interoperabilidade entre plataformas. Neste sentido, o padrão IMS Learning Design [1] é um metamodelo pedagógico que permite representar o design didático de uma unidade de aprendizagem (UA) formalmente e semanticamente sendo interpretável por máquina. Na atualidade, há uma série de ferramentas compatíveis com IMS LD, categorizadas em autoria e execução, que são projetadas para a modelagem e uso de UAs. No entanto, poucos softwares implementam IMS LD de forma efetiva, em parte porque o desenvolvimento de editores e players IMS LD é uma tarefa bastante complexa e que consome tempo. Nesse contexto MDAOnto [2] surge como uma opção facilitadora da atividade de desenvolvimento software. Trata-se de um protótipo de uma ferramenta cujo objetivo é auxiliar o desenvolvimento de modelos de domínio e modelos independentes de plataforma, no contexto MDA [3] (camada CIM e PIM, respectivamente), através da utilização de ontologias de domínio [4] (escritas em OWL) preexistentes. Assim, pretende-se com MDAOnto: (i) reduzir a complexidade da modelagem de domínio; (ii) dispor das vantagens disponíveis na abordagem MDA, tal como portabilidade; (iii) aumento da confiabilidade do produto de software, assumindo-se que as ontologias tenham sido bem construídas e que são normalmente utilizadas e; (iv) reuso, já que uma mesma ontologia pode ser reusada para a criação de diferentes softwares num mesmo domínio..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) .
Integrantes: Laís do Nascimento Salvador - Coordenador / George Pacheco Pinto - Integrante / Ricardo Amorim - Integrante / Dinani Gomes Amorim - Integrante / Jocélio Passos - Integrante / Alexsandro Gomes - Integrante / Thomas Rabelo - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2011
Desenvolvimento dirigido por modelos e ontologias na construção de aplicações educacionais
Descrição: Este projeto tem os seus objetivos centrados na integração de novos elementos tecnológicos com ênfase (i) na aplicação de materiais de aprendizagem de forma padronizada, com o suporte de especificações padrão de metadados educacionais, e (ii) ênfase na representação do conhecimento pedagógico aplicável a diversas situações de ensino/aprendizagem com o suporte da engenharia de software e engenharia ontológica. O uso estas especificações permitiria a descrição do processo educacional na forma de unidades ou blocos contendo uma descrição do processo e os conteúdos de aprendizagem com a finalidade de tratar questões de interoperabilidade e reutilização..
Situação: Concluído; Natureza: Pesquisa.
2009 - Atual
Modelos, Processos e Ferramentas para o Desenvolvimento de Sistemas Sensíveis ao Contexto
Descrição: Este projeto tem por objetivo construir um ferramental de apoio ao desenvolvedor de sistemas sensíveis ao contexto. Para isso, será desenvolvido um framework composto por quatro elementos principais: (i) arquitetura de referência para sistemas sensíveis ao contexto; (ii) metamodelos de contexto que guiem a modelagem das informações contextuais e do comportamento sensível ao contexto; (iii) processos que direcionem a execução de atividades relacionadas à especificação do contexto, ao projeto e à implementação de aplicações sensíveis ao contexto; e (iv) ferramentas que apóiem o uso dos metamodelos e processos..
Situação: Em andamento; Natureza: Pesquisa.
2007 - 2008
Uma Metodologia de Desenvolvimento de Software Baseada em Ontologias
Descrição: Uma das atividades mais complexas do processo de Engenharia de Software é a elicitação de requisitos, na qual analistas interagem com diversas fontes de informação para descobrir as principais funções de um sistema e restrições sobre seu funcionamento. Problemas não detectados nesta fase inicial são propagados para outras fases de desenvolvimento como projeto e implementação. A fim de facilitar estas tarefas e torná-las mais consistentes, este trabalho propõe uma metodologia de desenvolvimento de software baseada em ontologias, com foco na utilização deste conhecimento sistematizado desde a elicitação de requisitos até as fases de projeto e implementação. Desta forma, esta proposta é baseada no estabelecimento de visões de ontologias centradas em stakeholders que fornecem um melhor entendimento do domínio analisado e, por conseqüência, uma otimização no processo de desenvolvimento de aplicações. Ainda no escopo deste projeto, pretende-se a adaptação desta metodologia numa abordagem de desenvolvimento dirigido por modelo, mais especificamente MDA (Model Driven Architecture). Espera-se que os resultados obtidos possam fomentar um grupo de estudos na área de Ontologias e Engenharia de Software no estado da Bahia..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) / Mestrado profissional: (1) .
Integrantes: Laís do Nascimento Salvador - Coordenador / Elisângela Rego - Integrante / Lorena Santana - Integrante.Número de orientações: 1
2006 - 2008
Solução de Transformação Bidirecional de Modelos UML e Código Baseada na Metodologia MDA
Descrição: O objetivo deste projeto é desenvolver uma solução inovadora para a geração de código a partir de especificações em UML (Unified Modeling Language) segundo o paradigma MDA (Model Driven Architecture) com o recurso de engenharia reversa e foco em regras de negócio. A metodologia MDA provê uma abordagem de desenvolvimento de software que toma como base altos níveis de abstração do software, diretamente relacionados a sua documentação, para a sua transformação em código executável. A aplicação desta metodologia além de reduzir o tempo de produção e gastos financeiros, permite a automação de muitas tarefas repetitivas que são muito suscetíveis à falha humana. Um dos pontos inovadores do objeto deste projeto é o recurso de engenharia reversa, que resolve um problema que se tornará mais crítico em pouco tempo: a manutenção e migração de aplicações legadas - que não foram geradas a partir de ferramentas MDA - para este novo paradigma. Outra questão de suma importância conduzida nesta proposta é o foco na geração de código a partir de regras de negócio. Como subproduto deste desenvolvimento tem-se a condução de estudos de casos na MPE participante, onde será aplicada a solução a fim de demonstrar sua eficiência e flexibilidade. Espera-se que os resultados obtidos possam ser aplicados em micro e pequenas empresas do APL de TI do estado da Bahia, contribuindo fortemente para melhoria no processo de produção de software na região..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Mestrado profissional: (1) .
Integrantes: Laís do Nascimento Salvador - Coordenador / Christina von Flach Garcia Chavez - Integrante / Elisângela Rego - Integrante / Weber Antonio Souza dos Santos - Integrante / George Pacheco Pinto - Integrante / Bruno Andrade Souza - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa / NEXEN TECNOLOGIA LTDA - Cooperação.
Número de produções C, T & A: 1 / Número de orientações: 2
2005 - 2008
CoGrOO - Corretor Gramatical para o OpenOffice
Descrição: Uma ferramenta de correção gramatical é esperada há muito pelos usuários da suite de escritório OpenOffice, que vem sendo amplamente adotada por um número crescente de usuários pessoais e corporativos. O projeto CoGrOO (Corretor Gramatical acoplável ao OpenOffice) surgiu com o objetivo de suprir esta lacuna, oferecendo à comunidade uma ferramenta que verifique inadequações gramaticais tais como erros de concordância nominal e verbal, crase, regência nominal e verbal, e outros erros comuns na língua portuguesa falada no Brasil. A ferramenta é composta por uma série de módulos lingüísticos para o processamento automático da língua portuguesa, como um segmentador de sentenças, um etiquetador morfológico, um detector de agrupamentos e um analisador superficial; todos estes módulos juntos cooperam para gerar um corretor gramatical, o qual está sendo acoplado à ferramenta Writer da suite OpenOffice. Entre os diferenciais deste projeto, podem ser citados: - arquitetura híbrida, ou seja, alguns módulos funcionam através de estatísticas e outros são baseados em regras; - projeto de software livre..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Laís do Nascimento Salvador - Coordenador / Marlo Vieira dos Santos e Souza - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa.
Número de produções C, T & A: 4 / Número de orientações: 2
2004 - 2006
COGROO ? Um Corretor Gramatical para a Língua Portuguesa Acoplável ao OpenOffice
Descrição: O projeto consiste do desenvolvimento de um protótipo de um corretor gramatical para o português do Brasil, acoplável ao pacote livre de escritório OpenOffice, o qual será disponibilizado como software livre. A tarefa principal deste corretor é detectar desvios gramaticais cometidos pelo usuário, tais como erros de concordância nominal ou verbal, regência verbal ou nominal, pontuação, etc..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Laís do Nascimento Salvador - Coordenador / Jorge Kinoshita - Integrante / Carlos Eduardo Dantas de Menezes - Integrante / William Daniel Colen de Moura Silva - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
Número de produções C, T & A: 5


Á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: Linguagens de Programação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.


Idiomas


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


Prêmios e títulos


2010
3o. Melhor Artigo Completo, SBIE - Simpósio Brasileiro de Informática na Educação.


Produções



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

1.
SIQUARA, E.2011SIQUARA, E. ; ALMEIDA, F. B. C. ; SALVADOR, L. N. . FAMP: Ferramenta de Avaliação para Melhoria de Processos de Desenvolvimento de Software. Programa Brasileiro da Qualidade e Produtividade em Software, v. 2, p. 133-138, 2011.

2.
SANTOS, M. L.2011SANTOS, M. L. ; SALVADOR, L. N. ; CRUZES, D. S. . FindYourHelp: an expert finder module on Virtual Learning Environments. Informática na Educação (Impresso), v. 14, p. 95-112, 2011.

3.
PINTO, G. P.2011 PINTO, G. P. ; SALVADOR, L. N. ; Amorim R. . A Model Driven Solution based on Ontology in the implementation of Units of Learning authoring tools. IEEE multidisciplinary engineering education magazine, v. 6, p. 31-49, 2011.

4.
SENGER, H.1999SENGER, H. ; SATO, L. M. ; SALVADOR, L. N. . Aplicación de un Sistema de Ejecucion de Programas para Lenguajes Paralelos Orientados a Objetos. Información Tecnológica, Chile, v. 10, n.3, p. 179-186, 1999.

Livros publicados/organizados ou edições
1.
MIDORIKAWA, E. T. (Org.) ; SATO, L. M. (Org.) ; KOFUJI, S. T. (Org.) ; SALVADOR, L. N. (Org.) . IX Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho. São Paulo: Escola Politécnica da USP, 1997. v. 1. 608p .

Capítulos de livros publicados
1.
Carvalho, Luis Paulo da Silva ; Novais, Renato Lima ; Salvador, Laís do Nascimento ; Neto, Manoel Gomes de Mendonça . An Approach for Semantically-Enriched Recommendation of Refactorings Based on the Incidence of Code Smells. In: Hammoudi S., Śmiałek M., Camp O., Filipe J. (. (Org.). Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2018, v. 321, p. 313-335.

2.
Simas, Félix ; Barros, Rebeca ; Salvador, Laís ; Weber, Marian ; Amorim, Simone . A Data Exchange Tool Based on Ontology for Emergency Response Systems. In: Garoufallou E., Virkus S., Siatri R., Koutsomiha D. (eds) Metadata and Semantic Research. MTSR 2017. (Org.). Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2017, v. , p. 74-79.

3.
SANTOS, M. L. ; SALVADOR, L. N. ; CRUZES, D. S. . FindYourHelp: um módulo de busca por especialistas no AVA Moodle. In: RODRIGUEZ, M. C.; SILVEIRA, R. A.; ESCUDEIRO, P.. (Org.). TICAI 2010: TICs para a Aprendizagem da Engenharia. 1ed.Porto: , 2011, v. 1, p. 189-200.

Trabalhos completos publicados em anais de congressos
1.
PAULO DA SILVA CARVALHO, LUIS ; NOVAIS, RENATO ; DO NASCIMENTO SALVADOR, LAÍS ; GOMES DE MENDONÇA NETO, MANOEL . An Ontology-based Approach to Analyzing the Occurrence of Code Smells in Software. In: 19th International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems, 2017. v. 2. p. 155-165.

2.
SIMAS, F. ; BARROS, R. ; SALVADOR, L. N. ; WEBER, M. ; AMORIM, S. . A Data Exchange Tool Based on Ontology for Emergency Response Systems. In: 11th International Conference on Metadata and Semantics Research, 2017, Tallinn, Estonia. Proceedings of the 11th International Conference on Metadata and Semantics Research, 2017.

3.
SANCHES, L. ; COSTA, L. A. ; SALVADOR, L. N. ; SOUZA, M. . Anotação semântica automática de Objetos de Aprendizagem Digitais: Um mapeamento sistemático de literatura. In: XXVIII SBIE - SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO, 2017, Recife. Anais do XXVIII SBIE - SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE 2017), 2017. p. 31-40.

4.
TAVARES, C. A. G. ; SALVADOR, L. N. ; VIOLA, D. N. . O Raciocı́nio Computacional para a Educação Básica: considerações sobre o ensino de Análise Combinatória e Probabilidade. In: VI Congresso Brasileiro de Informática na Educação (CBIE 2017), 2017, Recife, PE. Anais do XXIII Workshop de Informática na Escola (WIE 2017), 2017. p. 558-567.

5.
GAVAZA, L. O. R. ; SALVADOR, L. N. ; SANTOS, D. M. B. . Uma experiência de aplicação de uma abordagem baseada em problemas no ensino de Teoria da Computação em sala de aula tradicional. In: XXXVII Congresso da Sociedade Brasileira de Computação, 2017, São Paulo. Anais do 25º WEI - Workshop sobre Educação em Computação, 2017. p. 2257-2266.

6.
OLIVEIRA, F. H. ; SALVADOR, L. N. ; NOVAIS, R. . Um Experimento com a Ontologia IMS LD na Construção de Modelos Conceituais para E-learning. In: ONTOBRAS 2017 - IX Seminar on Ontology Research in Brazil, 2017, Brasília. Proceedings of the IX Seminar on Ontology Research in Brazil and I Doctoral and Masters Consortium on Ontologies, 2017. p. 67-78.

7.
ROCHA, A. M. ; SALVADOR, L. N. ; SOUZA, M. . Anotações Semânticas em Repositórios Acadêmicos: um estudo de caso com o RI UFBA. In: XVII Workshop de Teses de Dissertações (WTD 2017), 2017, Gramado - RS. Anais do XXIII Simpósio Brasileiro de Sistemas Multimídia e Web: Workshops e Pôsteres.. Porto Alegre: Sociedade Brasileira de Computação ? SBC, 2017. p. 39-40.

8.
BARROS, R. ; VIEIRA, V. ; SALVADOR, L. N. ; ALMEIDA, R. F. . Interoperabilidade Semântica entre Sistemas de Resposta a Emergências. In: SBBD 2016 - 31th BRAZILIAN SYMPOSIUM ON DATABASES, 2016, Salvador. Proceedings of 31th BRAZILIAN SYMPOSIUM ON DATABASES. Salvador - BA: Javam C. Machado [et al.] (org.): Brazilian Computer Society, 2016, 2016. p. 199-204.

9.
LEMOS FILHO, E. ; HOELZ, B. ; SALVADOR, L. N. . Ontologia aplicada no processo de Computação Forense. In: ONTOBRAS 2016 - VIII Seminar on Ontology Research in Brazil, 2016, Curitiba. Anais do Ontobras 2016, 2016.

10.
COSTA, LAÉCIO ; SALVADOR, LAIS NASCIMENTO . Mapeamento e seleção de ferramentas para produção automática de conteúdo didático digital interoperável. In: Workshops do Congresso Brasileiro de Informática na Educação, 2016, Uberlandia. org.crossref.xschema._1.Title@297b47, 2016. p. 579.

11.
BARROS, R. ; KISLANSKY, P. ; SALVADOR, L. N. ; ALMEIDA, R. F. ; BREYER, M. ; PEDRAZA, L. G. . EDXL-RESCUER ontology: Conceptual Model for Semantic Integration. In: The 12th International Conference on Information Systems for Crisis Response and Management - ISCRAM 2015, 2015, Kristiansand, Norway. Proceedings of the ISCRAM 2015 Conference, 2015.

12.
LIMA, F. ; OLIVEIRA, H. ; SALVADOR, L. N. . An Unsupervised Method for Ontology Population from Textual Sources on the Web. In: XI Brazilian Symposium on Information System, 2015, Goiânia - GO. Proceedings of the XI Brazilian Symposium on Information Systems. Goiânia - GO: Instituto de Informatica - Universidade Federal de Goiás, 2015. v. 1. p. 163-170.

13.
BARROS, R. ; KISLANSKY, P. ; SALVADOR, L. N. ; ALMEIDA, R. F. ; BREYER, M. ; PEDRAZA, L. G. ; SANTOS, V. V. . EDXL-RESCUER ontology: an update based on Faceted Taxonomy approach. In: Brazilian Seminar on Ontologies (ONTOBRAS 2015), 2015, São Paulo. Proceedings of the Brazilian Seminar on Ontologies (ONTOBRAS 2015), 2015. v. 1442.

14.
LIMA, FABIO DOS SANTOS ; SALVADOR, LAIS DO NASCIMENTO . Toward a Scoring Schema to Rank Candidate Instances of Ontological Classes. In: the 21st Brazilian Symposium, 2015, Manaus. Proceedings of the 21st Brazilian Symposium on Multimedia and the Web - WebMedia '15. New York: ACM Press. p. 81-84.

15.
COSTA, L. A. ; SALVADOR, L. N. . Ambientes de Aprendizagem Presencial e Virtual integrados com a Computação Ubíqua: Um Mapeamento Sistemático da Literatura. In: XX Congreso Internacional de Informática Educativa, TISE 2015, 2015, Santiago. Nuevas Ideas en Informática Educativa - Memorias del XX Congreso Internacional de Informática Educativa, TISE 2015, 2015. v. 11. p. 211-220.

16.
OLIVEIRA, F. H. ; SALVADOR, L. N. ; NOVAIS, R. . Uma Análise do Uso da Ontologia IMS LD na Construção de Modelos Conceituais para E-learning. In: III Congresso Brasileiro de Informática na Educação (CBIE 2014) - 25º Simpósio Brasileiro de Informática na Educação (SBIE 2014), 2014, Dourados - MS. Anais do 25º Simpósio Brasileiro de Informática na Educação (SBIE 2014). Porto Alegre - RS - Brasil: Sociedade Brasileira de Computação ? SBC, 2014. p. 1213-1222.

17.
TORRES, J.A.S. ; CRUZES, D. S. ; SALVADOR, L. N. . Automatically Locating Results to Support Systematic Reviews in Software Engineering.. In: CIbSE 2013 | X Workshop Latinoamericano Ingeniería de Software Experimental | ESELAW 2013, 2013, Montevideo. Memorias del X Workshop Latinoamericano Ingeniería de Software Experimental ESELAW 2013. Montevideo: Universidad ORT Uruguay ? Universidad de la República ? Antel, 2013. v. 1. p. 6-19.

18.
SANTOS, M. L. ; SALVADOR, L. N. ; CRUZES, D. S. . FindYourHelp: an expert search module on Moodle. In: XXI Simpósio Brasileiro de Informática na Educação (SBIE 21), 2010, João Pessoa. Anais do ... Simpósio Brasileiro de Informática na Educação. João Pessoa: Sociedade Brasileira de Computação, 2010. v. 1.

19.
PINTO, G. P. ; SALVADOR, L. N. ; Amorim R. . Uma solução MDA baseada em Ontologias na construção de ferramentas de autoria para Unidades de Aprendizagem. In: Third Brazilian Workshop on Semantic Web and Education (SWEd 10@SBIE 10), 2010, João Pessoa. Anais do Third Brazilian Workshop on Semantic Web and Education (SWEd 10@SBIE 10), 2010. v. 1.

20.
ALMEIDA, R. F. ; SALVADOR, L. N. ; SANTOS, C. A. S. . Applying Social Bookmarking Technology for Knowledge Management in the Brazilian Social Welfare Context. In: 5º CONTECSI - 5th International Conference on Information Systems and Technology Management, 2008, São Paulo. CONTECSI 2008. São Paulo: TECSI-FEA-USP, 2008. v. 1. p. 4067-4076.

21.
REGO, E. ; PINTO, G. P. ; SALVADOR, L. N. ; CHAVEZ, C. V. F. G. ; SANTOS, W. A. S. . Extração de Visões Centradas em Stakeholders a partir de Ontologias: Uma Abordagem MDA. In: WOMSDE 2007 - Second Workshop on Ontologies and Metamodeling in Software and Data Engineering, 2007, João Pessoa - PB -Brasil. WOMSDE 2007 - Second Workshop on Ontologies and Metamodeling in Software and Data Engineering, 2007. p. 17-28.

22.
KINOSHITA, J. ; SALVADOR, L. N. ; MENEZES, C. E. D. ; SILVA, W. D. C. M. . CoGrOO - an OpenOffice Grammar Checker. In: International Conference on Intelligent Systems Design and Applications, 2007, Rio de Janeiro - Brazil. ISDA´07 - Seventh nternational Conference on Intelligent Systems Design and Applications, 2007. p. 525-530.

23.
KINOSHITA, J. ; MENEZES, C. E. D. ; SALVADOR, L. N. . CoGrOO ? Corretor Gramatical para a língua portuguesa, acoplável ao OpenOffice. In: XXXI Conferencia Latinoamericana de Informatica, CLEI 2005, 2005, Santiago de Cali, Colombia. Anais da XXXI Conferencia Latinoamericana de Informatica, CLEI 2005, 2005.

24.
SALVADOR, L. N.; ALMENDRO, D. ; SIGNORELLI, S. F. . Aspectos de Ensino de Algoritmos e Programação com Mathcad. In: ICECE 2003 - International Conference on Engineering and Computer Education, 2003, São Vicente/Santos - Brazil. ICECE 2003 - International Conference on Engineering and Computer Education, 2003.

25.
SALVADOR, L. N.; SATO, L. M. . Objeto Paralelo: Um Padrão de Projeto para Programação Paralela. In: I Workshop Argentino sobre Procesamiento Distribuido y Paralelo. VI Congreso Argentino de Ciencias de la Computación - CACIC 2000, 2000, Ushuaia. CACIC 2000 - VI Congreso Argentino de Ciencias de la Computación, 2000.

26.
SALVADOR, L. N.; SATO, L. M. . Synchronization Constraints in a Concurrent Object Oriented Programming Model. In: International Conference on Parallel and Distributed Processing Techniques and Aplications (PDPTA'99), 1999, Las Vegas. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), 1999. v. IV. p. 2091-2094.

27.
SALVADOR, L. N.; SATO, L. M. . Anomalia da Herança em Programação Concorrente Orientada a Objetos. In: IX Simpósio Brasileiro de Arquiteuras de Computadores - Processamento de Alto Desempenho, 1997, Campos do Jordão - SP. Anais do IX Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho, 1997. p. 493-508.

28.
SENGER, H. ; SATO, L. M. ; SALVADOR, L. N. . Aplicando um sistema de execução de programas no suporte a linguagens paralelas. In: IX Simpósio Brasileiro de Arquitetura de Computadores-Processamento de Alto Desempenho - SBAC-PAD - 2007, 1997, Campos do Jordão. Anais do IX Simpósio Brasileiro de Arquitetura de Computadores-Processamento de Alto Desempenho. São Paulo: SBC/LSI-EPUSP, 1997. p. 493-508.

29.
SALVADOR, L. N.; SATO, L. M. . Uma Linguagem de Programação Baseada em Objetos para Ambientes Paralelos. In: XXII Seminário Integrado de Sofware e Hardware, 1995, Canela - RS. Anais do XXII Seminário Integrado de Sofware e Hardware, 1995. p. 493-508.

30.
SALVADOR, L. N.; SATO, L. M. . Uma Linguagem de Programação Orientada a Objetos para Ambientes Paralelos. In: VI Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho, 1994, Caxambu - MG. Anais do VI Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho, 1994.

31.
SATO, L. M. ; HUZITA, E. H. M. ; SALVADOR, L. N. ; HSIANG, H. T. . Onix: An Environment of the Development of Parallel Object-Oriented Software. In: WHPC´94 IEEE/USP International Workshop on High Performance Computing, 1994, São Paulo, SP, Brazil. IEEE/USP International Workshop on High Performance Computing, 1994. v. III. p. 167-183.

Resumos expandidos publicados em anais de congressos
1.
TORRES, J.A.S. ; CRUZES, D. S. ; SALVADOR, L. N. . Automatic Results Identification in Software Engineering Papers. Is it possible?. In: 2012 12th International Conference on Computational Science and Its Applications, 2012, Salvador. 12th International Conference on Computational Science and Its Applications, 2012. p. 108-112.

2.
SANTOS, M. L. ; SALVADOR, L. N. . FindYourHelp: um módulo de busca por especialistas no ambiente Moodle. In: XX Simpósio Brasileiro de Informática na Educação, 2009, Florianópolis. Anais do ... Simpósio Brasileiro de Informática na Educação. Florianópolis: Biblioteca Universitária da UFSC, 2009. v. 1.

3.
SIQUARA, E. ; SALVADOR, L. N. . FAMP: uma Ferramenta de Suporte a Avaliações CMMI Baseadas no Método SCAMPI. In: XXII Simpósio Brasileiro de Engenharia de Software - Sessão Ferramentas, 2008, Campinas. XV Sessão de Ferramentas do SBES, 2008. p. 55-60.

4.
KINOSHITA, J. ; SALVADOR, L. N. ; MENEZES, C. E. D. . CoGrOO - Um Corretor Gramatical acoplável ao OpenOffice. In: TIL 2007 - V Workshop em Tecnologia da Informação e da Linguagem Humana, 2007, Rio de Janeiro - RJ - Brasil. TIL´07 - V Workshop em Tecnologia da Informaçãoo e da Linguagem Humana, 2007. p. 1737-1734.

5.
KINOSHITA, J. ; SALVADOR, L. N. ; MENEZES, C. E. D. . CoGrOO: a Brazilian-Portuguese Grammar Checker based on the CETENFOLHA Corpus. In: The fifth international conference on Language Resources and Evaluation, LREC 2006, 2006, Genoa. Proceeding of Fifth International Conference on Language Resources and Evaluation. Genoa: Nicoletta Calzolari, Khalid Choukri, Aldo Gangemi, Bente Maegaard, Joseph Mariani, Jan Odjik, 2006. p. 2190-2193.

6.
KINOSHITA, J. ; SALVADOR, L. N. ; MENEZES, C. E. D. . CoGrOO - Um Corretor Gramatical para a língua portuguesa. In: XXVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. Anais do XXVIII CNMAC, 2005.

7.
SALVADOR, L. N.; SATO, L. M. . ÁGATA: Uma Ferramenta para Programação Paralela Baseada em Objetos. In: SBES'96 - X Simpósio Brasileiro de Engenharia de Software, 1996, São Carlos. SBES'96 - X Simpósio Brasileiro de Engenharia de Software - Caderno de Ferramentas, 1996. p. 1-4.

Resumos publicados em anais de congressos
1.
ALMEIDA, R. F. ; SALVADOR, L. N. . Identificação de técnicas de detecção automática de fraudes através de ontologias. In: 3° Seminário de Pesquisa em Ontologia (3o. ONTOBRAS), 2010, Florianópolis. Anais do 3° Seminário de Pesquisa em Ontologia (3o. ONTOBRAS), 2010.

Apresentações de Trabalho
1.
SALVADOR, L. N.. CoGrro - Um corretor Gramatical para o OpenOffice. 2006. (Apresentação de Trabalho/Conferência ou palestra).

2.
SALVADOR, L. N.. Linguagem de Programação para Processamento de Alto Desempenho. 2000. (Apresentação de Trabalho/Seminário).

3.
SALVADOR, L. N.. Programação Concorrente Orientada a Objetos. 1998. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
SALVADOR, L. N.; ALMENDRO, D. ; SIGNORELLI, S. F. . Aspectos de Ensino de Algoritmos e Programação com MathCad 2003 (Boletim Técnico).

2.
SALVADOR, L. N.; SATO, L. M. . Synchronization Constraints in a Concurrent Object Oriented Programming Model. São Paulo: Escola Politécnica da USP/ Departamento de Engenharia de Computação e Sistemas Digitais, 2002 (Boletim Técnico).


Produção técnica
Trabalhos técnicos
1.
SALVADOR, L. N.. 14th Brazilian Symposium on Multimedia and the Web - Webmedia 2008 (Revisora de Artigo Técnico). 2008.

2.
SALVADOR, L. N.. XXII Simpósio Brasileiro de Engenharia de Software - SBES 2008 (Revisora de Artigo Técnico). 2008.

3.
SALVADOR, L. N.. 60a. Reunião Anual da Sociedade Brasileira para o Progresso da Ciência (Comissão de Avaliação de Resumos). 2008.

4.
SALVADOR, L. N.. Sessão Ferramentas - SBES 2006 (Revisora de Artigo Técnico). 2006.

5.
SALVADOR, L. N.. 5th ACM/IEEE International Symposium on Empirical Software Engineering 2006 - ISESE 2006 (Short-Papers Reviewer). 2006.

6.
SALVADOR, L. N.. SBC 2004 - Concurso de Teses e Dissertações (Revisora de Trabalhos Técnicos). 2004.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
CASAS, T. H. P. ; AMORIM, C. ; SALVADOR, L. N. . As multifaces de Turing: da matemática à biologia, do algoritmo à inteligência artificial, da criptografia à máquina universal. 2012. (Programa de rádio ou TV/Mesa redonda).


Demais tipos de produção técnica


Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
JUNIOR, F. S. D.; SALVADOR, L. N.; NETO, M. G. M.. Participação em banca de Cristiane Costa Magalhães. MINERJUR - Uma Ferramenta para Mineração de Bases de Jurisprudência. 2008. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.

2.
NETO, J. C. C.; NETO, M. G. M.; SALVADOR, L. N.. Participação em banca de Natanael Aquino Silva Junior. Processo de Aquisição de Software para Administração Pública baseado em Ponto de Função. 2008. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.

3.
ANDRADE, J. C. S.; SALVADOR, L. N.; CABRAL, S.. Participação em banca de Leila Lopes. Avaliação da Maturidade em Gerenciamento de Projetos da Unidade de Exploração e Produção de Petróleo e Gás da Bahia. 2008. Dissertação (Mestrado em Administração) - Universidade Federal da Bahia.

4.
NETO, M. G. M.; NETO, J. C. C.; SALVADOR, L. N.. Participação em banca de Sérgio Fred Ribeiro Andrade. Uma Abordagem para Construção de Data Mart de Compras para as Universidades Estaduais da Bahia. 2007. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.

5.
ANDRADE, J. C. S.; SALVADOR, L. N.; AMORIM, C. A.. Participação em banca de Raquel Soraia Bianchini Kanbach. Mudança Organizacional Decorrente do Redesenho do Processo de Compras Apoiado pela TI. Estudo de Caso na Cetrel S/A. 2007. Dissertação (Mestrado em Administração) - Universidade Federal da Bahia.

6.
TAVARES, T. A.; FILHO, G. L. S.; SALVADOR, L. N.. Participação em banca de Elba Guimarães Veiga. Modelo de Processo de Desenvolvimento de Programas para TV Digital e Interativa. 2006. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.

7.
SALVADOR, L. N.; ANDRADE, J. C. S.; CARDOSO, C.. Participação em banca de Cristina Serravalle de Andrade. Impactos de um Portal Corporativo sobre o Processo de Desenvolvimento de Sistemas e o Compartilhamento do Conhecimento. 2006. Dissertação (Mestrado em Administração) - Universidade Federal da Bahia.

8.
NETO, M. G. M.; APOLINÁRIO, A. L.; SALVADOR, L. N.. Participação em banca de Hélio Oliveira Queiroz Júnior. THREADMAP - Uma Ferramenta para Mapeamento e Visualização de Threads de Mensagens Eletrônicas. 2006. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.

9.
SANTOS, C. A. S.; DAVID, J. M. N.; SALVADOR, L. N.. Participação em banca de João Werther Cordeiro da Silva Filho. Uma Tecnologia Web de Páginas Dinâmicas Baseadas em Pascal. 2006. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.

10.
JOSE NETO, J.; SALVADOR, L. N.; ROCHA, R. L. A.. Participação em banca de Pier Marco Ricchetti. Geraçâo de analisadores sintáticos baseados em transdutores a partir de especificações gramaticais. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

11.
SATO, L. M.; SALVADOR, L. N.; BECERRA, J. L. R.. Participação em banca de Augusto Mendes Gomes Junior. Um ambiente de execução para um sistema de memória compartilhada distribuída utilizando plataforma Windows. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
10º Simpósio Brasileiro de Sistemas de Informação (SBSI 2014).Membro do Comitê de Programa. 2014. (Simpósio).

2.
25º Simpósio Brasileiro de Informática na Educação (SBIE 2014).Membro do Comitê de Programa. 2014. (Simpósio).

3.
18º WIE - Workshop de Informática na Escola (WIE 2012).Membro do Comitê de Programa. 2012. (Oficina).

4.
VIII Simpósio Brasileiro de Sistemas de Informação - SBSI 2012.Membro do Comitê de Programa. 2012. (Simpósio).

5.
XXIII Simpósio Brasileiro de Informática na Educação - SBIE 2012.Membro de Comitê de Programa. 2012. (Simpósio).

6.
Conferência Latinoamericana de Objetos de Aprendizagem ' 2011 (LACLO 2011). Membro do Comitê de Programa. 2011. (Congresso).

7.
XXII Simpósio Brasileiro de Informática na Educação - SBIE.Membro do Comitê de Programa. 2011. (Simpósio).

8.
Conferência Latinoamericana de Objetos de Aprendizagem (joint with) MoodleMoot'2010 (LACLO 2010 / MoodleMoot 2010). Membro do Comitê de Programa. 2010. (Congresso).

9.
WORKSHOP DE TRABALHOS DE INICIAÇÃO CIENTÍFICA E DE GRADUAÇÃO BAHIA-ALAGOAS-SERGIPE - WTICG 2010.Membro do Comitê de Programa. 2010. (Oficina).

10.
XXI Simpósio Brasileiro de Informática na Educação - SBIE.FindYourHelp: an expert search module on Moodle. 2010. (Simpósio).

11.
XXII Concurso de Teses e Dissertações (CSBC 2009 - CTD).Revisor de Trabalhos. 2009. (Oficina).

12.
VIII Escola Regional de Computação Bahia, Alagoas e Sergipe - Workshop de Trabalhos de Iniciação Científica e Graduação Bahia, Alagoas e Sergipe (ERBASE2008-WTICG).Membro do Comitê de Programa. 2008. (Oficina).

13.
I Oficina de Informações em Ciência, Tecnologia e Inovação do Estado da Bahia. 2007. (Oficina).

14.
WOMSDE 2007 - Second Workshop on Ontologies and Metamodeling in Software and Data Engineering.Extração de Visões Centradas em Stakeholders a partir de Ontologias: Uma Abordagem MDA. 2007. (Oficina).

15.
XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Simpósio).

16.
II Simpósio Brasileiro de Linguagens de Programação. 1997. (Simpósio).

17.
SBES'96 - X Simpósio Brasileiro de Engenharia de Software.ÁGATA: Uma Ferramenta para Programação Paralela Baseada em Objetos. 1996. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
SALVADOR, L. N.; Maciel, R. S. P. ; CLARO, D. B. ; CAPPELLI, C. . Simpósio Brasileiro de Sistemas de Informação (SBSI) - Minicursos. 2011. (Congresso).

2.
CHAVEZ, C. V. F. G. ; SALVADOR, L. N. ; Vieira V. ; NETO, M. G. M. ; Maciel, R. S. P. ; SANT`ANNA, Cláudio ; ALMEIDA, E. S. ; DURAN, Adolfo Almeida . CBSoft (Congresso Brasileiro de Software: Teoria e Prática). 2010. (Congresso).

3.
KOFUJI, S. T. ; SALVADOR, L. N. ; MIDORIKAWA, E. T. . iX Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho. 1997. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Leandro M. P. Sanches. Anotação Semântica de Objetos de Aprendizagem. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. (Orientador).

2.
André Melhor. Ensino de Algoritmos e Música. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

3.
Marcelo West. Objetos de Aprendizagem e Acessibilidade. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

4.
Aline Meire Rocha. Repositórios acadêmicos na web de dados: um estudo de caso com o repositório institucional da UFBA. Início: 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

5.
Conceição Tavares. Uso de Algoritmos no Ensino da Matemática Moderna. Início: 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

6.
Pablo Roxo. Audio descrições: uma abordagem semântica. Início: 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

7.
Luiz Otávio Gavaza. PBL em ensino de computação. Início: 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

Tese de doutorado
1.
Laécio Araújo Costa. Ambiente de Aprendizagem Presencial e Virtual integrados com a Computação Ubíqua. Início: 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia. (Coorientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Marlécia Ferreira Sanders. Avaliação de Qualidade de Problemas PBL: Estudo de Caso e Sistematização Através de uma Ontologia de Domínio?. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . Orientador: Laís do Nascimento Salvador.

2.
Francisco Hélio de Oliveira. Caracterização de Modelos Conceituais Utilizando Ontologias de Domínio: Aplicação da Ontologia IMS LD na Construção de Modelos Conceituais Para E-learning. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . Orientador: Laís do Nascimento Salvador.

3.
Rebeca da Silva Barros. EDXL-RESCUER: Interoperabilidade Semântica Entre Sistemas de Resposta à Emergência. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . Coorientador: Laís do Nascimento Salvador.

4.
Fabio Lima. Um Método para o Povoamento de Ontologias: Extração de Textos da Web no Idioma Português. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . Orientador: Laís do Nascimento Salvador.

5.
JOSÉ ALBERTO SOUSA TORRES. SUMARIZAÇÃO AUTOMÁTICA DE ARTIGOS CIENTÍFICOS DE ENGENHARIA DE SOFTWARE COMO SUPORTE AO PROCESSO DE REVISÃO SISTEMÁTICA. 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, . Orientador: Laís do Nascimento Salvador.

6.
George Pacheco Pinto. MDAONTO: UMA ABORDAGEM MDA BASEADA EM ONTOLOGIA. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Laís do Nascimento Salvador.

7.
Marcos Lapa dos Santos. FINDYOURHELP: Um Módulo para Apoiar a Busca por Especialistas no Ambiente Virtual de Aprendizagem Moodle. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, . Orientador: Laís do Nascimento Salvador.

8.
Raimundo Araújo de Almeida Júnior. Integração de Sistemas em Empresas Corporativas do Setor Público: Um Estudo de Caso na Secretaria de Educação do Estado da Bahia. 2009. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, . Orientador: Laís do Nascimento Salvador.

9.
Elisângela Simões Rego. MDAONTO: Um processo MDA de desnvolvimento de software com foco em Ontologias. 2008. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Laís do Nascimento Salvador.

10.
Reinaldo de Figueiredo Almeida. Identificação de técnicas automáticas para detecção de fraudes através de ontologias. 2008. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, . Orientador: Laís do Nascimento Salvador.

11.
Igor Salume Bezerra. As Metodologias de Qualidade CMMI e Seis Sigma: Comparação e Estudo de Caso. 2008. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, . Orientador: Laís do Nascimento Salvador.

12.
Elson Cardoso Siquara. Uma Proposta de Ferramenta para Automação de Avaliações CMMI baseadas no Método SCAMPI. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, . Orientador: Laís do Nascimento Salvador.

13.
Jocelma Almeida Rios. Uma Infra-estrutura para Implantação de Sistemas de Gerenciamento Eletrônico de Documentos. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador, . Coorientador: Laís do Nascimento Salvador.

Tese de doutorado
1.
Reinaldo de Figueiredo Almeida. ANÁLISE DE DOMÍNIO NA AQUISIÇÃO DE CONHECIMENTOS: Ontologias Para Sistemas Computacionais. 2017. Tese (Doutorado em Difusão do Conhecimento) - Universidade Federal da Bahia, . Coorientador: Laís do Nascimento Salvador.

Trabalho de conclusão de curso de graduação
1.
Guilherme Álvares Rodrigues. Um Processo Empírico para Avaliação de Ferramentas MDA. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

2.
Elis Menezes Cardim. Desenvolvimento de Mecanismo de Apoio Ao Processo de Software Brasileiro ? MPS.Br ? Nível F. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Sistemas de Informação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

3.
Vitor Augusto Santos Cruz. Desenvolvimento de Mecanismo de Apoio Ao Processo de Software Brasileiro ? MPS.Br ? Nível F. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Sistemas de Informação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

4.
João Marcelo Moraes Fernandes. Estudo de Métricas para Análise de Softwares Orientados a Objetos. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Sistemas de Informação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

5.
Everaldo Lima Santana Filho. : Uma análise comparativa entre os processos Gerência de Projetos e Gerência de Requisitos dos modelos MPS.Br e CMMI. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Sistemas de Informação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

6.
Marcos Tadeu Aragão da Silva. Uma análise comparativa entre os processos Gerência de Projetos e Gerência de Requisitos dos modelos MPS.Br e CMMI. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Sistemas de Informação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

7.
Alessandro Antonio Matos de Almeida. Ferramenta visual para auxilio de desenvolvimento de compiladores. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Sistemas de Informação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

8.
Allisson Cardoso Cafeseiro Dias. SimTuring: Um Simulador de Máquina de Turing. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

9.
José Luciano Brandão Calazans Júnior. SimTuring: Um Simulador de Máquina de Turing. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

10.
Diogo Aragão Gomes. @LANGUAGE: Simulador de autômatos e expressões regulares. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

11.
Kelson Sodré Borges. @LANGUAGE: Simulador de autômatos e expressões regulares. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Salvador. Orientador: Laís do Nascimento Salvador.

Iniciação científica
1.
Sérgio Antônio Costa Villa. Estudo comparativo entre UML e OWL. 2011. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Laís do Nascimento Salvador.

2.
Tadeu Costa de Oliveira. Construção de uma ontologia para desenvolvimento distribuído de software ? uma abordagem baseada em arquitetura dirigida a modelos. 2009. Iniciação Científica. (Graduando em Bacharelado Em Processamento de Dados) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Laís do Nascimento Salvador.

3.
Marlo Vieira dos Santos e Souza. Um etiquetador morfossintático híbrido para o CoGrOO 2.0. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Salvador, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Laís do Nascimento Salvador.

4.
Bruno Andrade Souza. Um Protótipo de Ferramenta de Engenharia Reversa: Geração de Diagramas de Classes a partir de programas em Java. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Salvador, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Laís do Nascimento Salvador.

5.
Marlo Vieira dos Santos e Souza. CoGrOO-Corpus: um corpus do português brasileiro para o projeto CoGrOO. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Salvador, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Laís do Nascimento Salvador.

6.
João Marcelo Moraes Fernandes. Métricas para Análise de Complexidade de Programas Orientados a Objetos. 2006. Iniciação Científica. (Graduando em Bacharelado em Sistemas de Informação) - Universidade Salvador, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Laís do Nascimento Salvador.

7.
Marcelo Amaral Costa Borges. Um mini-compilador para uma linguagem de aspectos de paralelismo e sincronização. 2003. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Serviço Nacional de Aprendizagem Comercial. Orientador: Laís do Nascimento Salvador.

8.
Thiago Soares Martins. Um ambiente de execução para suporte de aspectos de paralelismo e sincronização de uma linguagem de programação. 2003. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Serviço Nacional de Aprendizagem Comercial. Orientador: Laís do Nascimento Salvador.

9.
Leandro Cassa. Um ambiente de execução para suporte de aspectos de paralelismo e sincronização de uma linguagem de programação. 2003. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Serviço Nacional de Aprendizagem Comercial. Orientador: Laís do Nascimento Salvador.



Educação e Popularização de C & T



Livros e capítulos
1.
SANTOS, M. L. ; SALVADOR, L. N. ; CRUZES, D. S. . FindYourHelp: um módulo de busca por especialistas no AVA Moodle. In: RODRIGUEZ, M. C.; SILVEIRA, R. A.; ESCUDEIRO, P.. (Org.). TICAI 2010: TICs para a Aprendizagem da Engenharia. 1ed.Porto: , 2011, v. 1, p. 189-200.


Entrevistas, mesas redondas, programas e comentários na mídia
1.
CASAS, T. H. P. ; AMORIM, C. ; SALVADOR, L. N. . As multifaces de Turing: da matemática à biologia, do algoritmo à inteligência artificial, da criptografia à máquina universal. 2012. (Programa de rádio ou TV/Mesa redonda).




Página gerada pelo Sistema Currículo Lattes em 14/12/2018 às 22:30:57