Laís do Nascimento Salvador
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 associada do Instituto de Computação da Universidade Federal da Bahia e do PGCOMP - Programa de Pós-Graduação em Ciência da Computação da mesma universidade. Desde de 2022 tem exercido a função de Coordenadora do curso de Licenciatura em Computação. Tem experiência em Ontologias Computacionais, Informática na Educação e Educação de Computação, atuando principalmente nos seguintes temas: integração e anotação semânticas, educação baseada em competências e análise de dados educacionais.
Informações coletadas do Lattes em 02/12/2024
Acadêmico
Formação acadêmica
Doutorado em Engenharia Elétrica
1996 - 2001
Universidade de São Paulo
Título: Um Conjunto de Recursos para Programação Paralela Orientada a Objetos
, Ano de obtenção: 2001. 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 TerraGrande Á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).
Mestrado em Engenharia Elétrica
1992 - 1995
Universidade de São Paulo
Título: Aspectos de Paralelismo de uma Linguagem Baseada em Objetos
, Ano de Obtenção: 1995.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 TerraGrande Á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.
Pós-doutorado
2017 - 2018
Pós-Doutorado. , Universidade de São Paulo, USP, Brasil. , 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: Banco de Dados.
Formação complementar
2008 - 2008
Extensão universitária em Fronteiras Braskem do Pensamento. (Carga horária: 18h). , Universidade Federal da Bahia, UFBA, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Á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: Linguagens de Programação.
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.
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.
Organização de eventos
SALVADOR, L. N. ; Maciel, R. S. P. ; CLARO, D. B. ; CAPPELLI, C. . Simpósio Brasileiro de Sistemas de Informação (SBSI) - Minicursos. 2011. (Congresso).
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).
KOFUJI, S. T. ; SALVADOR, L. N. ; MIDORIKAWA, E. T. . iX Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho. 1997. (Congresso).
Participação em eventos
10º Simpósio Brasileiro de Sistemas de Informação (SBSI 2014).Membro do Comitê de Programa. 2014. (Simpósio).
25º Simpósio Brasileiro de Informática na Educação (SBIE 2014).Membro do Comitê de Programa. 2014. (Simpósio).
18º WIE - Workshop de Informática na Escola (WIE 2012).Membro do Comitê de Programa. 2012. (Oficina).
VIII Simpósio Brasileiro de Sistemas de Informação - SBSI 2012.Membro do Comitê de Programa. 2012. (Simpósio).
XXIII Simpósio Brasileiro de Informática na Educação - SBIE 2012.Membro de Comitê de Programa. 2012. (Simpósio).
Conferência Latinoamericana de Objetos de Aprendizagem ' 2011 (LACLO 2011). Membro do Comitê de Programa. 2011. (Congresso).
XXII Simpósio Brasileiro de Informática na Educação - SBIE.Membro do Comitê de Programa. 2011. (Simpósio).
Conferência Latinoamericana de Objetos de Aprendizagem (joint with) MoodleMoot'2010 (LACLO 2010 / MoodleMoot 2010). Membro do Comitê de Programa. 2010. (Congresso).
WORKSHOP DE TRABALHOS DE INICIAÇÃO CIENTÍFICA E DE GRADUAÇÃO BAHIA-ALAGOAS-SERGIPE - WTICG 2010.Membro do Comitê de Programa. 2010. (Oficina).
XXI Simpósio Brasileiro de Informática na Educação - SBIE.FindYourHelp: an expert search module on Moodle. 2010. (Simpósio).
XXII Concurso de Teses e Dissertações (CSBC 2009 - CTD).Revisor de Trabalhos. 2009. (Oficina).
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).
I Oficina de Informações em Ciência, Tecnologia e Inovação do Estado da Bahia. 2007. (Oficina).
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).
XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Simpósio).
II Simpósio Brasileiro de Linguagens de Programação. 1997. (Simpósio).
SBES'96 - X Simpósio Brasileiro de Engenharia de Software.ÁGATA: Uma Ferramenta para Programação Paralela Baseada em Objetos. 1996. (Simpósio).
Participação em bancas
JUNIOR, F. S. D.;SALVADOR, L. N.; NETO, M. G. M.. MINERJUR - Uma Ferramenta para Mineração de Bases de Jurisprudência. 2008. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.
NETO, J. C. C.; NETO, M. G. M.;SALVADOR, L. N.. 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.
ANDRADE, J. C. S.;SALVADOR, L. N.; CABRAL, S.. 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.
NETO, M. G. M.; NETO, J. C. C.;SALVADOR, L. N.. 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.
ANDRADE, J. C. S.;SALVADOR, L. N.; AMORIM, C. A.. 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.
TAVARES, T. A.; FILHO, G. L. S.;SALVADOR, L. N.. Modelo de Processo de Desenvolvimento de Programas para TV Digital e Interativa. 2006. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.
SALVADOR, L. N.; ANDRADE, J. C. S.; CARDOSO, C.. 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.
NETO, M. G. M.; APOLINÁRIO, A. L.;SALVADOR, L. N.. THREADMAP - Uma Ferramenta para Mapeamento e Visualização de Threads de Mensagens Eletrônicas. 2006. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.
SANTOS, C. A. S.; DAVID, J. M. N.;SALVADOR, L. N.. Uma Tecnologia Web de Páginas Dinâmicas Baseadas em Pascal. 2006. Dissertação (Mestrado em Redes de Computadores) - Universidade Salvador.
JOSE NETO, J.;SALVADOR, L. N.; ROCHA, R. L. A.. 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.
SATO, L. M.SALVADOR, L. N.; BECERRA, J. L. R.. 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.
Orientou
INTEGRACAO DAS BASES DE SAUDE PUBLICA SIM, SINASC E NOTIFICACOES DE COVID-19 UTILIZANDO GRAFOS DE CONHECIMENTOS SEMANTICOS; Início: 2021; Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
LOMC - UMA PROPOSTA DE EXTENSÃO DO PADRÃO DE METADADOS LOM PARA DESCREVER COMPETÊNCIAS: UM ESTUDO COM CASOS PBL EM DISCIPLINAS DE TEORIA DA COMPUTAÇÃO; Início: 2020; Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
PENSAMENTO COMPUTACIONAL E MODELOS DE COMPETÊNCIAS EM AMBIENTES VIRTUAIS DE APRENDIZAGEM; Início: 2020; Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
Ensino superior em computação e Educação Baseado em Competências:; Início: 2022; Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
; Competências na Educação e Recursos Educacionais Abertos; Início: 2021; Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
FRAMEWORK PARA INTEGRAÇÃO DE DADOS HETEROGÊNEOS UTILIZANDO ONTOLOGIAS; Início: 2020; Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
Anotações Semânticas em Repositórios Acadêmicos: um estudo de caso com o RI da UFBA; 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, ; Orientador: Laís do Nascimento Salvador;
Estudo sobre motivação e aprendizagem estudantes de teoria da computação em uma abordagem baseada em problemas; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, ; Orientador: Laís do Nascimento Salvador;
P; Sanches; Anotação Semântica Semiautomática de Objetos de Aprendizagem em Português; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Laís do Nascimento Salvador;
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;
Raciocínio Computacional no Ensino de Análise Combinatória e Probabilidade: O Uso da Linguagem de Programação R e do Construtivismo na Educação Básica; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, ; Orientador: Laís do Nascimento Salvador;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
SapeS: Uma arquitetura de avaliação do desempenho acadêmico na Educação à Distância baseada em Learning Analytics e Ontologias; 2021; Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia, ; Coorientador: Laís do Nascimento Salvador;
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;
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;
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;
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;
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;
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;
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;
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;
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;
@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;
@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;
: 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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
Produções bibliográficas
-
A. COSTA, LAÉCIO ; C. SILVEIRA, ALEPH ; SOUZA, MARLO ; N. SALVADOR, LAÍS ; SANTOS, CELSO . Investigating Student and Teacher Perceptions in e-Learning with Learning Analytics and Ontologies. INTERNATIONAL JOURNAL: EMERGING TECHNOLOGIES IN LEARNING , v. 18, p. 26-47, 2023.
-
COSTA, LAECIO ARAUJO ; PEREIRA SANCHES, LEANDRO MANUEL ; ROCHA AMORIM, RICARDO JOSÉ ; NASCIMENTO SALVADOR, LAÍS DO ; SANTOS SOUZA, MARLO VIEIRA DOS . Monitoring Academic Performance Based on Learning Analytics and Ontology: A Systematic Review. INFORMATICS IN EDUCATION , v. 19, p. 361-397, 2020.
-
Salvador, Laís do Nascimento ; Barros, Rebeca ; SANTOS, VANINHA VIEIRA DOS ; NETO, FÉLIX SIMAS DE SOUZA ; Novais, Renato Lima ; AMORIM, SIMONE DA SILVA ; Weber, Marian . A data exchange solution for emergency response systems based on the EDXL-RESCUER ontology. INTERNATIONAL JOURNAL OF METADATA, SEMANTICS AND ONTOLOGIES (PRINT) , v. 13, p. 264-283, 2019.
-
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.
-
SIQUARA, 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.
-
SANTOS, 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.
-
SENGER, 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.
-
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 .
-
Costa, Laécio Araújo ; Salvador, Laís do Nascimento . Mapeamento e seleção de ferramentas para produção automática de conteúdo didático digital interoperável. Educação no Século XXI - Volume 36 ¿ Tecnologia. 1ed.: Editora Poisson, 2019, v. 36, p. 94-101.
-
Rocha, Aline Meira ; SALVADOR, LAIS DO NASCIMENTO ; Souza, Marlo Vieira dos Santos e . ANOTAÇÕES SEMÂNTICAS EM REPOSITÓRIOS ACADÊMICOS:UM ESTUDO DE CASO COM O RI UFBA. Comunicação, Mídias e Educação. 1ed.: Atena Editora, 2019, v. , p. 96-112.
-
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.
-
P. Sanches, Leandro M. ; S. Cardel, Victor ; S. Machado, Larissa ; SOUZA, MARLO ; N. Salvador, Lais . Disambiguating Open IE: Identifying Semantic Similarity in Relation Extraction by Word Embeddings. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 93-103.
-
ALMEIDA, R. F. ; OLIVEIRA, E. D. ; SALVADOR, L. N. . Alinhamento entre as semióticas de Peirce e Deleuzi-Guattari na geração de significados. In: Dante Augusto Galeffi; Ginaldo Gonçalves Farias; Priscylla Lins Leal. (Org.). DIFUSÃO DO CONHECIMENTO: CRISES, CONFLITOS E CIÊNCIA NO MUNDO CONTEMPORÂNEO. 1ed.Curitiba: CRV, 2018, v. , p. 167-178.
-
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.
-
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.
-
SANTANA, J. S. ; GOMES, E. A. ; SALVADOR, L. N. ; SEIXAS, L. R. . LOMC: Uma Extensão ao LOM para a Descrição de Recursos Educacionais Baseada no Desenvolvimento de Competências. In: Simpósio Brasileiro de Informática na Educação (SBIE 2023), 2023, Passo Fundo - RS. Anais do Simpósio Brasileiro de Informática na Educação (SBIE 2023), 2023.
-
CRUZ, L. ; SANTOS, J. A. ; SALVADOR, L. N. . Uma investigação da percepção de docentes do ensino superior em computação sobre o Ensino Baseado em Competências: um recorte no Estado da Bahia. In: Workshop de Informática na Escola (WIE 2023), 2023, Passo Fundo - RS. Anais do Workshop de Informática na Escola (WIE 2023), 2023.
-
GOMES, NACLES B. P. ; FRANCO, SANDRO DE C. ; SALVADOR, LAÍS DO N. . ONTOVID - Uma Abordagem para Construção de Grafos de Conhecimento Semântico com Enfoque em Notificações e Óbitos Relacionados ao Novo Coronavírus (COVID-19). In: Simpósio Brasileiro de Computação Aplicada à Saúde, 2022, Brasil. Anais do XXII Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2022), 2022. p. 425-437.
-
COSTA, LAÉCIO A. ; SOUZA, MARLO ; SALVADOR, LAÍS N. ; SILVEIRA, ALEPH C. ; SAIBEL, CELSO A. . Students' perceptions of academic performance in Distance Education evaluated by Learning Analytics and Ontologies. In: Simpósio Brasileiro de Informática na Educação, 2021, Brasil. Anais do XXXII Simpósio Brasileiro de Informática na Educação (SBIE 2021), 2021. p. 91-102.
-
PEREIRA, D. L. N. C. ; PESSOA, A. ; SALVADOR, L. N. ; WASSERMANN, R. . Integração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São Paulo (Semantic Data Integration for the Brazilian Public Health System: A Case Study With São Paulo). In: ONTOBRAS 2020, 2020, Vitória - ES. Proceedings of the XIII Seminar on Ontology Research in Brazil and IV Doctoral and Masters Consortium on Ontologies (ONTOBRAS), 2020.
-
SANCHES, LEANDRO ; COSTA, LAÉCIO ; SOUZA, MARLO ; SALVADOR, LAIS . Anotação de relações semânticas em Objetos de Aprendizagem com o paradigma Open IE. In: XXX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2019, Brasília. Anais do XXX Simpósio Brasileiro de Informática na Educação (SBIE 2019), 2019. p. 1701.
-
COSTA, LAECIO ; SANCHES, L. M. P. ; SALVADOR, LAIS ; SOUZA, M. V. S. . An Ontological Model to Assist Educators in Evaluation of Student Academic Performance in Distance Learning. In: ONTOBRAS Brazilian Seminar on Ontologies, 2019, Porto Alegre. Proceedings of the XII Seminar on Ontology Research in Brazil and III Doctoral and Masters Consortium on Ontologies (ONTOBRAS 2019) , 2019. v. 259.
-
COSTA, LAÉCIO ; SANCHES, LEANDRO ; NASCIMENTO, LAIS ; SOUZA, MARLO ; AMORIM, RICARDO JOSÉ ROCHA . OntoLo: Um modelo ontológico para avaliar o desempenho acadêmico na Educação a Distância. In: XXIX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2018, Fortaleza. org.crossref.xschema._1.Title@104222ba, 2018. p. 1898.
-
SANCHES, LEANDRO ; COSTA, LAÉCIO ; SOUZA, MARLO ; SALVADOR, LAIS . Anotação semântica automática de Objetos de Aprendizagem textuais em português com o paradigma Open IE. In: XXIX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2018, Fortaleza. org.crossref.xschema._1.Title@3b2e826b, 2018. p. 1916.
-
GAVAZA, L. O. R. ; SALVADOR, L. N. ; SANTOS, D. M. B. . Percepção de estudantes sobre motivação e aprendizagem em Teoria da Computação com PBL. In: 26º Workshop sobre Educação em Computação (WEI), 2018, Natal. Anais do 26º Workshop sobre Educação em Computação (WEI), 2018.
-
SANCHES, L. ; CARDEL, V. S. ; MACHADO, L. S. ; SOUZA, M. V. S. E. ; SALVADOR, L. N. . Disambiguating Open IE: Identifying Semantic Similarity in Relation Extraction by Word Embeddings. In: Computational Processing of the Portuguese Language. PROPOR 2018, 2018, Gramado. Villavicencio A. et al. (eds) Computational Processing of the Portuguese Language. PROPOR 2018. Lecture Notes in Computer Science,, 2018. v. 11122.
-
ALMEIDA, R. F. ; OLIVEIRA, E. D. ; SALVADOR, L. N. . Alinhamento entre as Semióticas de Peirce e de DeleuziGuattari na Geração de Significados. In: ONTOBRAS 2018 XI Seminar on Ontology Research in Brazil, 2018, São Paulo. Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies, 2018. p. 222-226.
-
PEREIRA, D. L. N. C. ; WASSERMANN, R. ; SALVADOR, L. N. . Integração Semântica das Bases de Dados do Município de São Paulo: Um Estudo de Caso com Anomalias Congênitas (Semantic Integration of Health Databases in São Paulo: A Case Study with Congenital Anomalies). In: Ontobras 2018 - XI Seminar on Ontology Research in Brazil, 2018, São Paulo. Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies, 2018.
-
COSTA, LAECIO A. ; SALVADOR, LAIS N. ; AMORIM, RICARDO R. . Evaluation of Academic Performance Based on Learning Analytics and Ontology: a Systematic Mapping Study. In: 2018 IEEE Frontiers in Education Conference (FIE), 2018, San Jose. 2018 IEEE Frontiers in Education Conference (FIE), 2018. p. 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
GOMES, E. A. ; SALVADOR, L. N. . Aplicação de Princípios Curriculares Orientados a Competências em Recursos Educacionais Abertos. In: XV Seminar on Ontology Research in Brazil (ONTOBRAS 2022) and VI Doctoral and Masters Consortium on Ontologies (WTDO 2022)., 2022. Proceedings of the XV Seminar on Ontology Research in Brazil (ONTOBRAS 2022) and VI Doctoral and Masters Consortium on Ontologies (WTDO 2022). Part III: WTDO (Theses and Dissertations Workshop), 2022. p. 186-191.
-
PEREIRA, D. L. N. C. ; PESSOA, A. ; WASSERMANN, R. ; Laís Salvador . Semantic Data Integration for Public Health in Brazil. In: LatinX in AI Research at ICML 2019, 2019, Long Beach. hal-02266921, 2019.
-
COSTA, LAECIO ; SOUZA, M. V. S. ; SALVADOR, LAIS ; AMORIM, R. . Monitoring Students Performance in E-Learning Based on Learning Analytics and Learning Educational Objectives.. In: ICALT IEEE International Conference on Advanced Learning Technologies, 2019, Maceió. IEEE 19th International Conference on Advanced Learning Technologies (ICALT), 2019. p. 192.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
SALVADOR, L. N. . CoGrro - Um corretor Gramatical para o OpenOffice. 2006. (Apresentação de Trabalho/Conferência ou palestra).
-
SALVADOR, L. N. . Linguagem de Programação para Processamento de Alto Desempenho. 2000. (Apresentação de Trabalho/Seminário).
-
SALVADOR, L. N. . Programação Concorrente Orientada a Objetos. 1998. (Apresentação de Trabalho/Seminário).
-
SALVADOR, L. N. ; ALMENDRO, D. ; SIGNORELLI, S. F. . Aspectos de Ensino de Algoritmos e Programação com MathCad 2003 (Boletim Técnico).
-
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).
Outras produções
SALVADOR, L. N. . 14th Brazilian Symposium on Multimedia and the Web - Webmedia 2008 (Revisora de Artigo Técnico). 2008.
SALVADOR, L. N. . 60a. Reunião Anual da Sociedade Brasileira para o Progresso da Ciência (Comissão de Avaliação de Resumos). 2008.
SALVADOR, L. N. . XXII Simpósio Brasileiro de Engenharia de Software - SBES 2008 (Revisora de Artigo Técnico). 2008.
SALVADOR, L. N. . Sessão Ferramentas - SBES 2006 (Revisora de Artigo Técnico). 2006.
SALVADOR, L. N. . 5th ACM/IEEE International Symposium on Empirical Software Engineering 2006 - ISESE 2006 (Short-Papers Reviewer). 2006.
SALVADOR, L. N. . SBC 2004 - Concurso de Teses e Dissertações (Revisora de Trabalhos Técnicos). 2004.
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).
Projetos de pesquisa
-
2023 - Atual
Agro Labs - Laboratório de transformação e difusão tecnológica na cadeia produtiva da fruticultura, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Laís do Nascimento Salvador - Integrante / Ricardo Amorim - Coordenador / Dinani Gomes Amorim - Integrante.
-
2018 - 2022
Combining Data for Better Health Care, Descrição: This project focuses on improving health care in São Paulo through the use of distributed data, available either publicly or from our partners, such as the City Health Secretariat. Integrating this data smartly will allow us to have a general overview of patient care pathways and of the use of public resources, which will in turn allow for better planning at the city level. While the focus is on health, the methods and frameworks will be developed having in mind their future adaptation to other important domains, such as public transport.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Laís do Nascimento Salvador - Integrante / Débora Lina N. Ciriaco Pereira - Integrante / Renata Wassermann - Coordenador.
-
2016 - 2020
INES NATIONAL INSTITUTE OF SCIENCE AND TECHNOLOGY FOR SOFTWARE ENGINEERING, Descrição: Due to the lack of productivity and quality in software development nowadays, there is urging in applying manufacturing and software engineering techniques, in order to leverage the same benefits found in other engineering fields. This is the actual definition for Software Factories, on which there is a cost-effective assembly process, and constant yearning for innovation.INES (National Institute of Science and Technology for Software Engineering), coordinated by Professor Silvio Meira, from UFPE, has as a global theme to promote software development with high productivity by systematically applying the factory philosophy. The developed systems will primarily have, in measurable and configurable ways, high level of dependability. In special, INES initiatives aim at radically diminishing project failure rate, rising satisfaction in product quality, with controlled cost and benefit.As such, the Institute will state and control the execution of activities with short-, mid- and long-term goals. It will also coordinate contributions from all institutions and research groups in this proposal. In general, researchers areas within the Institute incorporate activities such as definition, creation, and deployment of effective software factories, with strong emphases not only in high productivity but also with measurable and controlled dependability.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Laís do Nascimento Salvador - Integrante / AMORIM, RICARDO JOSÉ ROCHA - Integrante / Sérgio Castelo Branco Soares - Coordenador.
-
2013 - 2017
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: Concluído; Natureza: Pesquisa. , Integrantes: Laís do Nascimento Salvador - Integrante / Manoel Gomes de Mendonça Neto - Coordenador / Adolfo Almeida Duran - Integrante / Vaninha Vieira dos Santos - Integrante.
-
2011 - 2015
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: Concluído; 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.
-
2011 - 2015
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: Concluído; 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 - 2013
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: Concluído; 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.
-
2009 - 2013
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: Concluído; Natureza: Pesquisa. , Integrantes: Laís do Nascimento Salvador - Integrante / vaninha vieira - Coordenador., 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. , Integrantes: Laís do Nascimento Salvador - Integrante / Ricardo Amorim - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
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 produções C, T & A: 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: 3
-
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: 6
-
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
Prêmios
2010
3o. Melhor Artigo Completo, SBIE - Simpósio Brasileiro de Informática na Educação.
Histórico profissional
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
Experiência profissional
2009 - Atual
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Professor Associado IV, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
01/2014
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Teoria da Computação
-
01/2014
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
Pesquisa e desenvolvimento, Pró-Reitoria de Pesquisa, Criação e Inovação.,Linhas de pesquisa
-
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.
2006 - 2009
Universidade SalvadorVínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 40
Atividades
-
07/2007
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação e Algoritmo
-
03/2006
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
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
Pesquisa e desenvolvimento, Reitoria.,Linhas de pesquisa
-
02/2006
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Compiladores
-
02/2006
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Linguagens Formais, Linguagens Formais e Compiladores
-
01/2006
Ensino, Especialização em Engenharia de Software, Nível: Especialização,Disciplinas ministradas, Gerência de Conhecimento em Engenharia de Software
1997 - 2002
Universidade de São PauloVínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 10
Atividades
-
01/1997
Pesquisa e desenvolvimento, Escola Politécnica, Departamento de Engenharia de Computação e Sistemas Digitais.,Linhas de pesquisa
1997 - 2005
Universidade Sao Judas TadeuVí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
2004 - 2006
Universidade Cruzeiro do SulVí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
1997 - 1999
Centro Universitário Sant'AnnaVínculo: Colaborador, Enquadramento Funcional: Professora Convidada
Atividades
-
01/1997
Ensino, Desenvolvimento de Sistemas de Informação, Nível: Especialização,Disciplinas ministradas, Análise de Sistemas Orientada a Objetos
2001 - 2004
Serviço Nacional de Aprendizagem ComercialVínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 30
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Laís do Nascimento Salvador 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?