Aline Maria Santos Andrade

Possui graduação em Processamento de Dados pela Universidade Federal da Bahia (1981), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1986) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1997). Atualmente é professora associada da Universidade Federal da Bahia. Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, atuando principalmente nos seguintes temas: especificação formal, verificação de modelos, transformação de modelos.

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Informática

1989 - 1997

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: O Processo de Desenvolvimento de Software à Luz da Visão Estruturalista das Teorias da Ciência Natural
Orientador: Armando Haeberer
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

Mestrado em Informática

1984 - 1988

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Um Interpretador para Regras de produção,Ano de Obtenção: 1988
Orientador: Sérgio Eduardo Rodrigues de Carvalho
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

Graduação em Processamento de Dados

1977 - 1981

Universidade Federal da Bahia

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2019

Pós-Doutorado. , Universidade de São Paulo, USP, Brasil.

2012 - 2013

Pós-Doutorado. , Universidade de São Paulo, USP, Brasil. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. , Grande área: Ciências Exatas e da Terra

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computaçã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: Métodos Formais.

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.

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: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Seção coletada automaticamente pelo Escavador

Organização de eventos

ANDRADE, A. M. S. . 37th IEEE International Symposium on Reliable Distributed Systems. 2018. (Congresso).

ANDRADE, A. M. S. . Seminários em Mecatrônica. 2018. (Outro).

Andrade, Aline M. S. . Seminários em mecatrônica. 2017. (Outro).

ANDRADE, A. M. S. ; SÁ, A. ; FREITAS, A. ; GORENDER, S. . Seminários em Mecatrônica. 2016. (Outro).

ANDRADE, A. M. S. ; SÁ, A. ; FREITAS, A. ; GORENDER, S. . Seminários em Mecatrônica. 2015. (Outro).

ANDRADE, A. M. S. ; SÁ, A. ; FREITAS, A. ; GORENDER, S. . Seminários em Mecatrônica. 2014. (Outro).

MACÊDO, Raimundo José de Araújo ; ANDRADE, A. M. S. ; SILVA, F. M. A. ; GORENDER, S. . DISC 2012 - 26th International Symposium on Distributed Computing.. 2012. (Congresso).

ANDRADE, A. M. S. ; Claro, Daniela ; BARRETO, L. P. ; VALCY, I. ; MARTINIANO, A. ; AGUIAR, C. . Maratona de Programação. 2009. (Outro).

ANDRADE, A. M. S. ; DURAN, A. A. ; Claro, Daniela ; GORENDER, S. ; BARBOZA, F. J. ; ANDRADE, S. S. ; Paul Regnier ; MUNIZ, André Luis Nunes ; SILVA, Daniel Aguiar da ; Patrícia Machado . Simpósio Brasileiro de Métods Formais. 2008. (Congresso).

ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis . Second Latin-American Symposium on Dependable Computing. 2005. (Congresso).

ANDRADE, A. M. S. . V Escola Regional de Computaçâo Bahia-Sergipe. 2005. (Congresso).

ANDRADE, A. M. S. . III Workshop de Iniciaçao de Científica e Trabalhos de Graduação Bahia-Sergipe (III WTICG). 2005. (Congresso).

ANDRADE, A. M. S. ; MARTINS, Ana Tereza . XXIII Jornada de Atualização em Informática. 2004. (Congresso).

ANDRADE, A. M. S. . III Escola Regional de Computação Bahia-Sergipe. 2003. (Congresso).

ANDRADE, A. M. S. . II Escola Regional de Computaçao Bahia-Sergipe. 2002. (Concerto).

ANDRADE, A. M. S. . I Escola Regional de Computação Bahia-Sergipe. 2001. (Congresso).

ANDRADE, A. M. S. . VIII Semana de Informática. 2000. (Congresso).

ANDRADE, A. M. S. . VII Semana de Informática da UFBA. 1998. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

XXI Brazilian Symposium on Formal Methods. 2018. (Simpósio).

XX Brazilian Symposium on Formal Methods. 2017. (Simpósio).

34th World Congress and School on Universal Logic. Revising Formal Program Specifications Using KMTS. 2013. (Congresso).

Logical and Semantic Frameworks with Applications (LSFA). 2013. (Simpósio).

13th Brazilian Symposium on Formal Methods. 2011. (Simpósio).

Escola Regional de Computação Bahia, Alagoas e Sergipe - IX ERBASE. Verificação de Software: contexto atual e desafios. 2008. (Congresso).

Simpósio Brasileiro de Métodos Formais.II Simpõsio Brasileiro de Métodos Formais. 2006. (Simpósio).

Escola Regional de Computação Bahia-Sergipe. V Escola Regional de Computação Bahia-Sergipe. 2005. (Congresso).

I Simpósio Brasileiro de Métodos Formais. I Simpósio Brasileiro de Métodos Formais. 2004. (Congresso).

XXIV Congresso da Sociedade Brasileira de Computação. XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).

Congresso Brasileiro da sociedade Brasileira de Computação. XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso).

III Escola Regional de Computação Bahia-Sergipe. III Escola Regional de Computação Bahia-sergipe. 2003. (Congresso).

VI Workshop de Métodos Formais.Workshop de Métodos Formais (WMF). 2003. (Outra).

II Escola Regional de Computação Bahia-Sergipe. II Escola Regional de Computação. 2002. (Congresso).

I Escola Regional de Computação Bahia-Sergipe. I Escola Regional de Computação Bahia-Sergipe. 2001. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Stephenson Sousa de Lima

Andrade, Aline M. S.; Deharbe, D.; Oliveira, M.. Modelagem formal do sistema operacional de tempo-real FreeRTOS usando o método B. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Rodrigo Saad

ANDRADE, A. M. S.. Elementos para a construção de uma cadeia de verificação para o Projeto TOPCASED. 2008. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Alexandre Paes dos Santos

ANDRADE, A. M. S.; SILVA, P. V.; ALMEIDA, Eliana Silva de. SIR: UM Simulador da execução de Funções Recursivas utilizando o conceito de Grafo de Dependências. 2008. Dissertação (Mestrado em Mestrado em Modelagem Computacional do Conheciment) - Universidade Federal de Alagoas.

Aluno: Luciana Farias do Nascimento

ANDRADE, A. M. S.; MENDONÇA NETO, Manoel Gomes de; TAVARES, Tatiana Aires. Uma Metodologia para melhoria da Infra-estrutura de Medições. 2006. Dissertação (Mestrado em Mestrado Profissional Em Redes de Computadores) - Universidade Salvador.

Aluno: Gabryela Melo de Andrade

ANDRADE, G. M.;ANDRADE, A. M. S.. Estudo de Sistemas Baseados na Web de Multipla Autoria e de Manutenção Facilitada. 2003. Dissertação (Mestrado em Mestrado Profissional Em Redes de Computadores) - Universidade Salvador.

Aluno: Paulo de Tarso Guerra Oliveira

WASSERMANN, R.; COZMAN, F. G.; FINGER, M.; BENEVIDES, M. R. F.;ANDRADE, A. M. S.. Revisão de crenças temporais. 2016. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Maria Viviane de Menezes

BARROS, L. N.;WASSERMANN, R.; HERZIG, A.; PEREIRA, S. L.;ANDRADE, A. M. S.. Mudanças em Problemas de Planejamento sem Solução. 2014 - Universidade de São Paulo.

Aluno: Maria Viviane de Menezes

BARROS, L. N.;WASSERMANN, R.; HERZIG, A.; PEREIRA, S. L.;ANDRADE, A. M. S.. Mudanças em Problemas de Planejamento sem Solução. 2014. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Jandson Santos Ribeiro Santos

WASSERMANN, R.Andrade, Aline M. S.; FERME, E. L.. Incomplete Knowledge, Modal Transitioning and Belief Dynamics. 2017. Exame de qualificação (Doutorando em Programa de Pós-graduação em Ciência da Computação do IME/USP) - Universidade de São Paulo.

Aluno: Paulo de Tarso Guerra Oliveira

ANDRADE, A. M. S.; BARROS, L.;WASSERMANN, R.. Revisão de Crenças Temporais. 2012. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Pedro Brandão

DURAN, A. A.;Andrade, Aline M. S.; MACIEL, R. S.. RASTREABILIDADE ENTRE REQUISITOS E MODELOS FORMAIS EM Z: FERRAMENTA Z-TRACE. 2017. Exame de qualificação (Mestrando em Programa de Pós-gradução em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Rafael Santos Correia de Araujo

DURAN, A. A.;Andrade, Aline M. S.; RIOS, R.. Geração automática de estratégias para jogos gerais. 2017. Exame de qualificação (Mestrando em Programa de Pós-gradução em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: LEILA DE CARVALHO COSTA

MACIEL, R. S.;Andrade, Aline M. S.; SALVADOR, L.. UMA ABORDAGEM PARA IDENTIFICAR ERROS ESTRUTURAIS EM SISTEMA DE SISTEMAS (SOS). 2017. Exame de qualificação (Mestrando em Programa de Pós-gradução em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Carlos Henrique Costa Barbosa

ANDRADE, A. M. S.; GORENDER, S.; SÁ, A.. Desenvolvimento de um sistema ciber-físico baseado no cálculo de situações para planejamento e controle de missões para grupos de robôs autônomos. 2014. Exame de qualificação (Mestrando em Mestrado em Mecatronica) - Universidade Federal da Bahia.

Aluno: Sergio Aníbal

ANÍBAL, S.;ANDRADE, A. M. S.MACÊDO, Raimundo José de Araújo. Uma Máquina de Busca Paralela. 2002. Monografia (Aperfeiçoamento/Especialização em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Frederico Jorge Ribeiro Barboza

BARBOZA, Frederico Jorge Ribeiro;ANDRADE, A. M. S.SILVA, Flávio Morais de Assis. Banca deTrabalho Final da Especialização Avançada em Sistemas Distribuídos. 2002. Monografia (Aperfeiçoamento/Especialização em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Nilton Flávio Sousa Seixas

ANDRADE, A. M. S.; GORENDER, S.; LEWITZKA, S.. Lógica Modal e o Problema da Onisciência Lógica. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Jandson Santos Ribeiro Santos

ANDRADE, A. M. S.; LEWITZKA, S.; GORENDER, S.. Implementação do Refinamento de Modelos KMTS Baseado em Verificação de Modelos com Jogos. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Vanessa Aline dos Santos Sena

ANDRADE, A. M. S.; ABDALLA, Débora;Claro, Daniela. Incorporação da similaridade semântica no OWL-S Composer. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Amon Pedrozo

ANDRADE, A. M. S.; ABDALLA, Débora; SALVADOR, L.. Modelagem Ontológica através da OWL: Análise e aprimoramento do sistema Semântico para Orientação Acadêmica.. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Diego Machado Dias

ANDRADE, A. M. S.BARBOZA, F. J. R.; DURAN, A. A.. Verificação formal do Scheduler e sistema de troca de mensagens síncronas de um simple kernel. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Antônio Lucas

ANDRADE, A. M. S.; ANDRADE, S. S.; DURAN, A. A.. Estudo e Mecanização de uma Abordagem Algébrica Para Construção de Compiladores Corretos. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Raniere Viana de Souza

ANDRADE, A. M. S.; ABDALLA, Débora; BARRETO, L. P.. Introduzindo a Ciência da Computação através de uma Abordagem Lúdica e sem a Necessidade de Computadores. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Tasso Lapa Dourado

ANDRADE, A. M. S.; Pretto, Nelson; SCHWARZELMULLER, Anna Friedericka. Doc-Teocomp: Uma ferramenta audiovisual sobre a história da computação. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Antonio Santos Vasconcelos

ANDRADE, A. M. S.; MACÊDO, Raimundo José de Araújo;Claro, Daniela. Desenvolvimento de um módulo de avaliação de qualidade de controle em sistemas industriais distribuídos sobre a plataforma ARCOS. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Joelama S

ANDRADE, A. M. S.; ABDALLA, Débora; GORENDER, S.. Souza.Proposta de sistema especialista para identificação de riscos em projetos de software. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Eduardo Pedreira

ANDRADE, A. M. S.; SCHWARZELMULLER, Anna Friedericka; ABDALLA, Débora. Desenvolvimento de uma ontologia para o currículo do curso de Ciência da Computação da UFBA. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Autran G

ANDRADE, A. M. S.; MACÊDO, Raimundo José de Araújo; GORENDER, S.. Moreno.Tolerância a falhas e detecção de defeitos em sistemas distribuídos. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Izi Silva Sena

SENA, I. S.;ANDRADE, A. M. S.SILVA, Flávio Morais de Assis. Exame de trabalho final de curso de graduação. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: José Antônio Soares Santana

ANDRADE, A. M. S.; SCHNITMAN, Leizer; LEPKSON, Herman. Banca de exame de qualificação de mestrado. 2005. Outra participação, Universidade Federal da Bahia.

Aluno: Joselino Rocha de Souza

ANDRADE, A. M. S.; ABDALLA, Débora; SCHNITMAN, Leizer. Banca de avaliação de exame de qualificação de mestrado. 2005. Outra participação, Universidade Federal da Bahia.

Aluno: João Bosco

ANDRADE, A. M. S.; LEPKSON, Herman; SCHNITMAN, Leizer. Banca de exame de qualificação de mestrado. 2005. Outra participação, Universidade Federal da Bahia.

Aluno: Ana Patricia Magalhães

ANDRADE, A. M. S.MACÊDO, Raimundo José de Araújo; LIMA, George Marconi. Banca de exame de qualificação de mestrado. 2005. Outra participação, Universidade Federal da Bahia.

Aluno: Ivo Peixinho

ANDRADE, A. M. S.SILVA, Flávio Morais de Assis; GREVE, Fabíola Gonçalves. Banca de exame de qualificação de mestrado. 2004. Outra participação, Universidade Federal da Bahia.

Aluno: Frederodo Jorge Ribeiro Barboza

ANDRADE, A. M. S.; ABDALLA, Débora; GREVE, Fabíola Gonçalves. Banca de exame de qualificação de mestrado. 2004. Outra participação, Universidade Federal da Bahia.

ANDRADE, A. M. S.; ALMEIDA, Eliana Silva de; BENVIDES, M.. Concurso público para professor adjunto. 2010. Universidade Federal da Bahia.

ANDRADE, A. M. S.; HAEUSLER, Edward Hermann; CORREA, M. S.. Concurso para professor adjunto. 2008. Universidade Federal da Bahia.

ANDRADE, A. M. S.; ABDALLA, Débora. Concurso Público para professor assistente do nucleo de sistemas de informação da Universidade Federal de Sergipe.. 2008. Universidade Federal de Sergipe.

Aluno: Concurso para professor adjunto

ANDRADE, A. M. S.; GREVE, Fabíola Gonçalves Prereira; CHAVEZ, Chrsitina Von Flach. 2004. Universidade Estadual de Feira de Santana.

ANDRADE, A. M. S.. Banca de concurso para professor assistente. 2001. Universidade Estadual de Feira de Santana.

ANDRADE, A. M. S.. Participação em banca examinadora de concurso para professor adjunto. 2001. Universidade Federal da Bahia.

Aluno: Concurso para professor adjunto

ANDRADE, A. M. S.. 1998. Universidade Federal da Bahia.

ANDRADE, A. M. S.; HAEUSLER, Edward Hermann; ALMEIDA, Eliana Silva de. Avaliação Externa do Instituto de Ciência da Computação. 2006. Universidade Federal Fluminense.

ANDRADE, A. M. S.; ABDALLA, Débora. Avaliação in Loco das Condições de Ensino do Curso de Análise de Sistemas de Alagoinhas. 2006. Universidade do Estado da Bahia.

ANDRADE, A. M. S.; ABDALLA, Débora. Avaliação in Loco das Condições de Ensino do Curso de Análise de Sistemas do Campus Cabula-Salvador. 2004. Universidade do Estado da Bahia.

ANDRADE, A. M. S.. Banca examinadora para seleção de professor substituto da disciplina Mat155 Programação matemática. 2003. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Banca examinadora para seleção de professor substituto para a disciplina de Modelos Probabilisticos de Pesquisa Operacional. 2003. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Participação na banca de avaliação da disciplina Mat161 - Engenharia de Software. 2003. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Participação na banca de seleção da disciplina MAT65 - Banco de Dados. 2003. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Participação na banca de seleção da disciplina Mat045 - Processamento de Dados. 2003. Universidade Federal da Bahia.

ANDRADE, A. M. S.; SILVA, A. F.;SILVA, Flávio Morais de Assis. Avaliação professor substituto para a matéria Linguagens de Programação. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.; SILVA, A. F. S.;SILVA, Flávio Morais de Assis. Avaliação professor substituto para a matéria Teoria dos Grafos. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.; SILVA, A. F. S.;SILVA, Flávio Morais de Assis. Avaliação professor substituto para a matéria de Análise e Projeto de Algoritmo. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.; RUAS, A. F.; FERNANDES, G. B.. Progressão funcional da professora Fabíola Gonçalves P. Greve. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Progressão funcional da professora Glória Márcia Fernandes Costa. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Progressão funcional da professora Maristela Dias de Oliveira. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Progressão funcional da professora Tereza Nadya Lima dos Santos. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Progressão funcional do professor Gilênio Borges Fernandes. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Progressão funcional da professora Jodália dos Santos Arlego. 2002. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Participação na banca para avaliação de professor substituto da disciplina Modelos Probabilísticos e Pesquisa operacional. 2001. Universidade Federal da Bahia.

ANDRADE, A. M. S.. Participação na banca para avaliação de professor substituto da disciplina Introdução à Lógica de Programação. 2001. Universidade Federal da Bahia.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Paulo Augusto Silva Veloso

HAEBERER, A. M.HAEUSLER, E. H.VELOSO, P. A. S.. O processo de desenvolvimento de software à luz da visão estruturalista das teorias da ciência natural. 1997. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Seção coletada automaticamente pelo Escavador

Orientou

Aristóteles Marçal

Verificação de sistemas auto adaptativos; Início: 2017; Dissertação (Mestrado profissional em Programa de Pós-gradução em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);

Cleber Brito

Verificação de redes Vanet; Início: 2017; Dissertação (Mestrado profissional em Programa de Pós-gradução em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);

Yuri Lobão Tourinho

Auto-Configuraçào de Composição de Serviços Web para Plantas Industriais; Início: 2011; Dissertação (Mestrado em Mestrado em Mecatronica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Coorientador);

Silvio Boss

Um modelo para aprendizagem significativa voltado à avaliação de aprendizagem; Início: 2016; Tese (Doutorado em Programa de Pos-graduação em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);

Roberto de Cerqueira Figueiredo

Interação de Características em Serviços Web Semânticos: uma análise da prevenção, detecção e resolução; ; Início: 2011; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Coorientador);

Efraim Zalmoxis de Almeida Machado

Sistemas de Transições Modais de Kripke para Representação de Comportamento Parcial no Desenvolvimento Incremental e Iterativo de Software; 2016; Dissertação (Mestrado em Programa de Pós-gradução em Ciência da Computação) - Universidade Federal da Bahia,; Orientador: Aline Maria Santos Andrade;

Jandson Santos Ribeiro Santos

UMA SOLUCÃO PARA O REFINAMENTO DE MODELOS KMTS BASEADO EM VERIFICACÃO DE MODELOS COM JOGOS; 2016; Dissertação (Mestrado em Programa de Pós-gradução em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Aline Maria Santos Andrade;

Efraim Zalmoxis de Almeida Machado

Sistemas de Transições Modais de Kripke para Representação de Comportamento Parcial no Desenvolvimento Incremental e Iterativo de Software; 2016; Dissertação (Mestrado em Programa de Pós-gradução em Ciência da Computação) - Universidade Federal da Bahia,; Orientador: Aline Maria Santos Andrade;

Rosemary Silveira Filgueiras

UMA PROPOSTA PARA MODELAGEM DE SISTEMAS DE SUPERVISÃO E CONTROLE INDUSTRIAL USANDO DESENVOLVIMENTO DIRIGIDO A MODELOS; 2013; 0 f; Dissertação (Mestrado em Mestrado em Mecatronica) - Universidade Federal da Bahia,; Orientador: Aline Maria Santos Andrade;

Rui Carlos Botelho Almeida da Silva

VERIFICAÇÃO FORMAL DE PLANOS PARA AGENTES AUTÔNOMOS E SISTEMAS MULTIAGENTES: UM ESTUDO DE CASO APLICADO AO FUTEBOL DE ROBÔS; 2012; 0 f; Dissertação (Mestrado em Mestrado em Mecatronica) - Universidade Federal da Bahia,; Orientador: Aline Maria Santos Andrade;

André Luís Nunes Muniz

TANGRAM: Uma Ferramenta de Apoio à Verificação Formal de Sistemas de Tempo Real baseados em Componentes; ; 2009; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Aline Maria Santos Andrade;

Ana Patrícia Fontes Magalhães

Metodologia para Desenvolvimento de Produtos Mecatrônicos Integrando Engenharia de Software e Engenharia de Produtos; 2007; 0 f; Dissertação (Mestrado em Mestrado em Mecatronica) - Universidade Federal da Bahia,; Orientador: Aline Maria Santos Andrade;

Frederico J R Barboza

Verificação Formal da Função de Controle de acesso ao Meio do Protocolo IEEE 802; 11 e Investigação da sua Aplicabilidade em Sistemas de Tempo-Real; 2006; 150 f; Dissertação (Mestrado em Mestrado em Mecatronica) - Universidade Federal da Bahia,; Orientador: Aline Maria Santos Andrade;

Ana Patrícia Fontes Magalhães Mascarenhas

Sistematizando o Desenvolvimento de Transforma ções Modelo a Modelo em uma Abordagem Dirigida a Modelos; 2016; Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia,; Orientador: Aline Maria Santos Andrade;

Caio Wallison dos Santos Rocha

Análise e Evolução do Algoritmo de Reparo de Refinamento para Modelos KMTS; 2018; Monografia; (Aperfeiçoamento/Especialização em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Rosemary Silveira Filgueiras

Especificação de Sistemas Multi-agentes em CSP; 2004; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Hilda Amelia Monteiro Kramer

Especificação de um sistema de manufatura em CSP; 2004; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Ecivaldo de Souza Matos

Um estudo sobre o uso de Z no projeto de sistemas: especificação e refinamento; 2004; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

RAFAEL ÂNGELO RIBEIRO DE OLIVEIRA

Verificação do modelo que define uma extensão da linguagem Promela; 2003; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Frederico Jorge Ribeiro Barboza

Extensão da Linguagem promela para Especificação de sistemas baseados em Agentes Móveis; 2002; 50 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Rilton Junior

Especificação Formal do Modelo deTtelefonia de um Sistema de Call Center em Z/CSP; 2001; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Jandson Santos Ribeiro Santos

Implementação do Refinamento de Modelos KMTS Baseado em Verificação de Modelos com Jogos; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Fabio de Almeida Knoedt

UM ESTUDO SOBRE LINGUAGENS ORIENTADAS A SERVIÇOS PARA MODELAGEM DE PROCESSOS DE NEGÓCIO COM ÊNFASE EM SRML; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Flávio Oliveira Escobar

Especificação e Verificação Formal de um Sistema de Arquivos no Padrão POSIX para Dispositivos NAND Flash; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Ednilson Francisco dos Santos Junior

Modelando Regras e Planos do Futebol de Robos MecaTeam utiliando Adaptação; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Isaque Dias Bressy dos Santos

Geração de um protótipo em C de uma versão simplificada do protocolo DoRiS com base na especificação formal em RT-Promela; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

André Luís Nunes Muniz

Projeto e Especificação de Sistemas de Tempo Real utilizando UML e UPPAAL; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Almiro Silva

Um Estudo de Caso sobre a Utilização de B na Especificação Formal de Sistemas; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

DOUGLAS ALENCAR BARBOSA

Projeto de Máquina de Turing Universal; 2003; 30 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Danilo Sobral Porto Costa

Um estudo e aplicação da metodologia de programação extrema; 2003; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Daniel Aguiar da Silva

Adição de falhas à extensão de Promela com mobilidade; 2003; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Críston Pereira de Souza

Métodos Formais para Engenharia de Software; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Silvio Vanderley Araujo Souza

Especificação Formal do Modelo essencial de Sistemas; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Yuri Araújo

Aplicações em Lógica com ´planning´; 1997; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Caio Wallison dos Santos Rocha

Geração de Diagramas de Sequências Anotados com OCL a partir de Modelos KMTS; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Miguel Breno de Carvalho Dias

Implementação de refinamento de modelos KMTS; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Marino Souza dos Santos

Automação do processo de desenvolvimento de transformações; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Caique Santos Lemos Lima

Especificação e Verificação de funções de sistemas de arquivos no padrão POSIX em Z e Z-Eves; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Flávio Oliveira Escobar

Especificação e verificação formal de funcionalidades básicas de sistema de arquivos baseado no padrão POSIX; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Felipe Augusto de Queiroz de Cerqueira

Especificação e verificação formal das funcionalidades relacionadas ao gerenciamento de diretórios de sistema de arquivos baseado no padrão POSIX; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Paulo Henrique de Oliveira Souza

Implementação do Mapeamento de Diagramas da UML 2; 0 para UPPAAL; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Aline Maria Santos Andrade;

Isaque Dias Bressy dos Santos

Especificação e verificação do protocolo DoRiS em RT-Promela; 2007; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Moizés Correia Santos Ferreira

Aplicação de técnicas de verificação de modelos na especificação e verificação de sistemas mecatrônicos; 2005; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Aline Maria Santos Andrade;

André Luís Nunes Muniz

Mapeamento de Diagramas da UML 2; 0 em UPPAAL; 2005; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Liliane Teixeira Santos

Geração automática de código Promea para Voyager; 2004; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Felipe Menezes de Moraes

Métodos Formais para Especificação e Verificação de Sistemas baseados em Agentes Móveis; ; 2003; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Kiev Damasceno de Lima

Especificação e Verificação de Sistemas Móveis; 2001; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

André Gama Rebouças

Especificação e Verificação de Propriedades de Sistemas Dinâmicos; 2001; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Silvio Araujo Souza

Especificação Formal de Sistemas Distribuídos e Verificação de Modelos; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Silvio Araujo Souza

Formalização de DFD em Lógica; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Aline Maria Santos Andrade;

Lorena de Almeida Santiago

Especificação Formal em Sistemas Distribuídos utilizando CSP e LOTOS; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Debora Abdala e Paulo Adelino

Um estudo sobre Orientação à Objetos; 1989; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Aline Maria Santos Andrade;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • MAGALHAES, ANA PATRÍCIA FONTES ; ANDRADE, ALINE MARIA SANTOS ; MACIEL, RITA SUZANA PITANGUEIRA . Model driven transformation development (MDTD): An approach for developing model to model transformation. INFORMATION AND SOFTWARE TECHNOLOGY , v. 114, p. 55-76, 2019.

  • Barreto, Luciano ; Andrade, Aline ; Duran, Adolfo ; Lima, Caique ; Lima, Ademilson . Abstract specification and formalization of an operating system kernel in Z. Operating Systems Review , v. 45, p. 156, 2011.

  • Muniz, André L. N. ; Andrade, Aline M. S. ; LIMA, George . Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. Innovations in Systems and Software Engineering (Internet) , v. 6, p. 29-37, 2010.

  • Regnier, Paul ; LIMA, George ; ANDRADE, A. M. S. . A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electronic Notes in Theoretical Computer Science , v. 240, p. 221-238, 2009.

  • BARBOZA, F ; ANDRADE, A ; SILVA, F ; LIMA, G . Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electronic Notes in Theoretical Computer Science , v. 195, p. 3-20, 2008.

  • Patrícia Machado (Org.) ; ANDRADE, A. M. S. (Org.) ; DURAN, A. A. (Org.) . Brazilian Symposium on Formal Methods. Salvador: Editora Gráfica da UFBA - EDUFBA, 2008. v. 01.

  • MAZIERO, Carlos Alberto (Org.) ; SILVA, João Gabriel (Org.) ; ANDRADE, A. M. S. (Org.) ; SILVA, Flávio Assis (Org.) . Dependable Computing Second Latin-American Symposium, LADC 2005 Proceedings. Alemanha: Springer LNCS 3474, 2005.

  • BECKER, L. B. ; FARINES, J. M. ; ANDRADE, A. M. S. ; MAGALHAES, A. P. . Desenvolvimento de Sistemas de Controle e Automação na Abordagem de Engenharia Dirigida por Modelos.. Projeto de Sistemas Distribuídos e de Tempo Real para Automação. 1ed.Salvador: Edufba, 2018, v. 1, p. 193-224.

  • MACÊDO, Raimundo José de Araújo ; LIMA, G. M. A. ; BARRETO, L. P. ; ANDRADE, A. M. S. ; SÁ, A. ; BARBOZA, F. J. ; ALBUQUERQUE, R. ; ANDRADE, S. S. . Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação, Linguagens, Middleware e Mecanismos Básicos. In: Edmundo Roberto Mauro. (Org.). Livro Texto dos Minicusros do SBRC2004. Campinas: Madeira, 2004, v. 1, p. 105-163.

  • BOSS, SILVIO ; MATOS, ECIVALDO ; Andrade, Aline . Soluções Computacionais para Avaliação da Aprendizagem por Mapas Conceituais: um Mapeamento Sistemático. 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. 399.

  • MAGALHÃES, A. P. ; ANDRADE, A. ; MACIEL, R. S. . A Model Driven Transformation Development Process for Model to Model Transformation. In: the 30th Brazilian Symposium, 2016, Maringá. Proceedings of the 30th Brazilian Symposium on Software Engineering - SBES '16, 2016. p. 3.

  • MACHADO, E. ; ANDRADE, A. M. S. . A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. In: Brazilian Symposium on Formal Methods, 2016, Natal. Lecture Notes of Computer Science, 2016. v. 10090. p. 161-178.

  • SANTOS, J. S. ; ANDRADE, A. M. S. . A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. In: 17th International Conference on Formal Engineering Methods, ICFEM 2015, 2015, Paris. 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, 2015. v. 9407. p. 84-99.

  • FIGUEIREDO, R. ; Claro, Daniela ; MACÊDO, Raimundo José de Araújo ; ANDRADE, A. M. S. . Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário. In: X Simpósio Brasileiro de Sistemas de Informação (SBSI), 2014, Londrina. Anais do X Simpósio Brasileiro de Sistemas de Informação, 2014.

  • MASCARENHAS, ANA PATRICIA FONTES MAGALHAES ; ANDRADE, ALINE MARIA SANTOS ; MACIEL, RITA SUZANA PITANGUEIRA . MTP: Model Transformation Profile. In: 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2013, Brasília. 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, 2013. p. 109.

  • SILVA, R. C. B. A. ; Andrade, Aline M. S. ; COSTA, A. L. ; BARBOZA, F. J. R. . An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking. In: VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2013, São Paulo. Anais do VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e aplicações - WESAAC 2013, 2013.

  • GUERRA, P. T. ; Andrade, Aline M. S. ; WASSERMANN, R. . Toward the Revision of CTL Models through Kripke Modal Transition Systems. In: 16th Brazilian Symposium, SBMF 2013, 2013, Brasilia. Formal Methods: Foundations and Applications Lecture Notes in Computer Science. Berlin Heidelberg: Springer, 2013. v. 8195. p. 115.

  • Claro, Daniela ; MACHADO, E. Z. A. ; ANDRADE, A. M. S. . Generating correct compositions of semantic web services with respect to temporal constraints. In: 18th Brazilian Symposium on Multimedia and the Web, 2012, São Paulo. Proceedings of the 18th Brazilian Symposium on Multimedia and the Web, 2012.

  • Claro, Daniela ; AMORIM, R. ; Denivaldo Lopes ; Patrick Albers ; ANDRADE, A. M. S. . Improving Web Service Discovery by a Functional and Structural Approach. In: The 9th International Conference of Web Services, 2011, Washington D.C.. Proceedings of the 9th International Conference of Web Services, 2011. v. 1. p. 411-418.

  • MAGALHÃES, Ana Patrícia ; Andrade, Aline ; MACIEL, R. S. ; FARINES, J. M. . An MDA Approach to Model Transformation Development. In: II Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos, 2011, São Paulo. Anais do II Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos, 2011.

  • BARRETO, L. P. ; Andrade, Aline M. S. ; DURAN, A. A. ; Lima, C. S. L. ; Lima, A. S. . Especificação Abstrata do Núcleo de um Sistema Operacional e sua formalização na linguagem Z. In: VII Workshop de Sistemas Operacionais, 2010, Belo Horizonte. Anais do VII Workshop de Sistemas Operacionais, 2010.

  • MACHADO, E. Z. A. ; Vasconcelos, I. R. S. ; Amorim, K. M. ; ANDRADE, A. M. S. ; BARRETO, L. P. . Trabalhando com alunos de ensino fundamental e médio para a descoberta de talentos em computação: um relato de experiências. In: Worksop de Inclusão Digital (WIND), 2010, Maceió. Anais do WIND 2010, 2010.

  • MACHADO, E. Z. A. ; Vasconcelos, I. R. S. ; Amorim, K. M. ; ANDRADE, A. M. S. ; BARRETO, L. P. ; ABDALLA, Débora . Uma Experiência em Escolas de Ensino Médio e Fundamental para a Descoberta de Jovens Talentos em Computação. In: Workshop de Educação em Informática (WEI), 2010, Belo Horizonte. Anais do WEI 2010, 2010.

  • SOUZA, P. H. O. ; MUNIZ, André Luis Nunes ; ANDRADE, A. M. S. . Uma Ferramenta para Verificação Formal de Sistemas de Tempo Real Baseados em Componentes a partir de Diagramas UML. In: Workshop de Trabalhos de Iniciação Científica e de Graduação, 2009, Ilhéus. Anais do WTICG, 2009.

  • Muniz, André L. N. ; ANDRADE, A. M. S. ; LIMA, G. M. A. . Integrating UML and UPPAAL for Designing, Specifying and Verifying Component-Based Real-Time Systems. In: Second IEEE International workshop UML and Formal Methods, 2009, Rio de Janeiro. Proceedings of the Second IEEE International workshop UML and Formal Methods, 2009, 2009. p. 1-6.

  • Paul Regnier ; LIMA, George ; ANDRADE, A. M. S. . A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. In: Brazilian Symposium on Formal Methods, 2008, Salvador. Proceedings of the Brazilian Symposium on Formal Methods. Salvador: Editora Gráfica da UFBA - EDUFBA, 2008. p. 209-224.

  • MUNIZ, André Luis Nunes ; ANDRADE, A. M. S. ; LIMA, George . Automatic Translation Approach for Component-Based Real-Time Systems Verification. In: Simpósio Brasileiro de Métodos Formais, 2008, Salvador. Brazilian Symposium on Formal Methods Special Tracks Proceedings, 2008. p. 1-8.

  • MAGALHÃES, Ana Patrícia ; ANDRADE, A. M. S. ; SILVA, Leila ; LEPKSON, Herman . A Development Process for Mechatronic Products: Integrating Software Engineering and Product Engineering. In: 12 th IEEE International Conference on Emerging Technologies and Factory Automation, 2007, Patras. Proceedings of the 12 th IEEE International Conference on Emerging Technologies and Factory Automation, 2007.

  • BARBOZA, Frederico ; ANDRADE, A. M. S. ; SILVA, Flávio Assis ; LIMA, George . Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysys of its Applicability to Real-Time Systems. In: Brazilian Symposium on Formal Methods, 2006, Natal - Rio Grande do Norte. Proceedings of the Brazilian Syposium on Formal Methods, 2006. p. 9-26.

  • MAGALHÃES, Ana Patrícia ; ANDRADE, A. M. S. ; SILVA, Leila ; LEPKSON, Herman . Uma metodologia para o desenvolvimento de produtos mecatrônicos integrando engenharia de software e engenharia de produtos. In: XXVI Encontro Nacional de Engenharia de Produção, 2006, Fortaleza. Anais do XXVI Encontro Nacional de Engenharia de Produção, 2006.

  • ANDRADE, A. M. S. ; MUNIZ, André Luís Nunes . Mapeamento de Diagramas da UML 2.0 em UPPAAL. In: Workshop de Trabalhos de Iniciação Científica e de Graduação - IV WTICG, 2006, Aracaju. Anais do IV WTICG, 2006.

  • SILVA, Daniel Aguiar da ; ANDRADE, A. M. S. ; SILVA, Flávio Morais Assis . Extensão de Promela para Especificação de Falhas em Sistemas Baseados em Agentes Móveis. In: IV Escola Regional de Computação Bahia Segipe, 2004, Feira de Santana - BA. Anais da IV ERBASE, 2004. v. 1.

  • MENEZES, Felipe ; ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis . Geração de Protótipos Confiáveis em Java a partir de Promela. In: IV Escola Regional de Computação Bahia Segipe, 2004, Feira de Santana - BA. Anais da I Workshop de Trabalhos de Iniciação Científica e Graduação Bahia-Sergipe, 2004. v. 1.

  • ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis ; BARBOZA, Frederico Jorge Ribeiro ; OLIVEIRA, Rafael A R . Uma abordagem para especificação e verificação automática de aplicações móveis. In: Simpósio Brasileiro de Redes de Computadores, 2004, Gramado. Anais do XXII Simpósio Brasileiro de Redes de Computadores, 2004. v. 1. p. 807-820.

  • DOTTI, F. L. ; DUARTE, L. M. ; SILVA, F. M. A. ; ANDRADE, A. M. S. . A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars. In: Sixth World Conference on Integrated Design & Process Tecnology, 2002, Pasadena. Proceedings of the Sixth World Conference on Integrated Design & Process Tecnology, 2002.

  • ANDRADE, A. M. S. ; SILVA, F. M. A. ; BARBOZA, F. J. R. . Extensão da Linguagem Promela para Espcificação de Sistemas baseados em Agentes Móveis. In: IV workshop de Comunicação sem Fio e Computação Móvel, 2002, São Paulo. Anais do IW Workshop de Comunicação sem fio e Computação Móvel, 2002.

  • MAGALHAES, ANA PATRICIA ; MACIEL, RITA SUZANA PITANGUEIRA ; Andrade, Aline . Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design. In: The 27th International Conference on Software Engineering and Knowledge Engineering, 2015. p. 625.

  • MAGALHAES, ANA PATRICIA ; Andrade, Aline ; MACIEL, RITA SUZANA PITANGUEIRA . On the Specification of Model Transformations through a Platform Independent Approach. In: The 27th International Conference on Software Engineering and Knowledge Engineering, 2015. p. 558.

  • ANDRADE, A. M. S. . Iniciação Científica: Importância na Formação Profissional. 2005. (Apresentação de Trabalho/Conferência ou palestra).

  • ANDRADE, A. M. S. . Especificação e Verificação de Sistemas Utilizando Verificação de Modelos. 2004. (Apresentação de Trabalho/Conferência ou palestra).

  • ANDRADE, A. M. S. . Utilização de Métodos Formais no Desenvolvimento de Sistemas Confiáveis. 2003. (Apresentação de Trabalho/Conferência ou palestra).

  • ANDRADE, A. M. S. . Caracterização do Curso de Bacharelado em Sistemas de Informação. 2003. (Apresentação de Trabalho/Conferência ou palestra).

  • Patrícia Machado ; ANDRADE, A. M. S. ; DURAN, A. A. . Proceedings of the Brazilian Symposium on Formal Methods. Salvador: Editora da UFBA, 2008 (Edição de Anais).

  • MAZIERO, Carlos Alberto ; SILVA, João Gabriel ; ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis . Dependable Computing. Second Latin-American Syposium, LADC2005. Proceedings.. Alemanha: Springer, 2005 (Edição de Anais).

  • ANDRADE, A. M. S. . Anais da XX III Jornada de Atualização em Informática. Salvador: Sociedade Brasileira de Computação, 2004 (Edição de Anais).

  • ANDRADE, A. M. S. ; MARTINS, Ana Tereza ; MACÊDO, Raimundo José de Araújo . Anais da Jornada de Atualização em Informática. Porto Alegre: SBC, 2004 (Edição de Anais).

Seção coletada automaticamente pelo Escavador

Outras produções

ANDRADE, A. M. S. . Coordenadora e membro do comitê de programa da XXIII Jornada de Atualização em Informática. 2004.

ANDRADE, A. M. S. . Membro do Comitê de Programa do II WTICG. 2004.

ANDRADE, A. M. S. . Membro de Comite de Programa do I WTICG-Base. 2003.

ANDRADE, A. M. S. . Membro de Comitê do I WEIBASE. 2003.

ANDRADE, A. M. S. . Comité de Programa del Concurso Latinomericano de Tesis de Maestría en Computación. 2014.

ANDRADE, A. M. S. . 17th Brazilian Symposium on Formal Methods (SBMF) (Comitê de programa). 2014.

ANDRADE, A. M. S. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2011.

Andrade, Aline M. S. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2010.

Andrade, Aline M. S. . Membro do Comitê de Programa do XXXVI LATIN-AMERICAN CONFERENCE ON INFORMATICS (CLEI). 2010.

ANDRADE, A. M. S. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2009.

ANDRADE, A. M. S. . Membro do Comitê de Programa do XXXV LATIN-AMERICAN CONFERENCE ON INFORMATICS (CLEI). 2009.

ANDRADE, A. M. S. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2008.

ANDRADE, A. M. S. . Membro de Comitê de programa do 9th Real-Time Workshop (WTR-2007. 2007.

ANDRADE, A. M. S. . Membro do Comitê do Concurso de Trabalhos de Iniciação Científica - CTIC. 2007.

ANDRADE, A. M. S. . Membro do Comitê da XXIV Jornada de Atualização em Informática. 2005.

ANDRADE, A. M. S. . Um projeto de Reestruturação da Área Acadêmica de Ciência da Computação no Âmbito do Instituto de Matemática. 2001.

ANDRADE, A. M. S. . Membro do Comitê de programa da VIII Seminfo. 2000.

ANDRADE, A. M. S. . Membro do Comitê de Programa do JAI/SBC. 1999.

ANDRADE, A. M. S. . Membro do Comitê de Programa da VII Seminfo. 1998.

ANDRADE, A. M. S. ; VELOSO, P. A. S. . Uma Modelagem Lógica do Processo de Desenvolvimento de Software. 1997.

ANDRADE, A. M. S. . 21th Brazilian Symposium on Formal Methods (SBMF). 2018. (Comitê de Programa).

ANDRADE, A. M. S. . 20th Brazilian Symposium on Formal Methods (SBMF). 2017. (Comitê de Programa).

ANDRADE, A. M. S. . 19th Brazilian Symposium on Formal Methods. 2016. (Comitê de Programa).

ANDRADE, A. M. S. . XXIII Concurso Latinoamericano de Tesis de Maestría. 2016. (Comitê de Programa).

ANDRADE, A. M. S. . 18th Brazilian Symposium on Formal Methods (SBMF). 2015. (Comitê de Programa).

ANDRADE, A. M. S. . XXII Concurso Latinoamericano de Tesis de Maestría. 2015. (Comitê de Programa).

ANDRADE, A. M. S. . Thematic Issue on Journal Computación y Sistemas: Developments on Logic-based Methods for Intelligent Systems. 2015. (Comitê de Programa).

ANDRADE, A. M. S. . Comité de Programa del Concurso Latinomericano de Tesis de Maestría en Computación. 2014. (Comitê de Programa).

ANDRADE, A. M. S. . 17th Brazilian Symposium on Formal Methods (SBMF) (Comitê de Programa). 2014. (Comitê de Programa).

ANDRADE, A. M. S. . 16th Brazilian Symposium on Formal Methods (SBMF). 2013. (Comitê de Programa).

ANDRADE, A. M. S. . Comité de Programa del Concurso Latinoamericano de Tesis de Maestría. 2013. (Comitê de Programa).

ANDRADE, A. M. S. . 15th Brazilian Symposium on Formal Methods (SBMF). 2012. (Comitê de Programa).

Andrade, Aline M. S. ; Silva, R. S. ; Dias, D. M. . Métodos Formais: Especificação e Verificação Automática em Z. 2010. (Curso de curta duração ministrado/Extensão).

ANDRADE, A. M. S. ; BARRETO, L. P. ; ABDALLA, Débora . Oficinas do projeto Onda Digital. 2010. (Curso de curta duração ministrado/Extensão).

ANDRADE, A. M. S. ; BARBOZA, Frederico . Ferramentas de Apoio à Construção de Software de Tempo Real Confiáveis. 2006. (Curso de curta duração ministrado/Extensão).

ANDRADE, A. M. S. ; BARBOZA, Frederico . Ferramentas de Apoio à Cosntrução de Software Concorrentes e de Tempo Real Confiáveis. 2006. (Curso de curta duração ministrado/Extensão).

Claro, Daniela ; ANDRADE, A. M. S. ; MENDONÇA NETO, Manoel Gomes de ; Celso Alberto Seibel Santos . Bacharelado em Sistemas de Informação da UFBA. 2009 (Plano pedagógico) .

ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis ; ABDALLA, Débora ; SCHWARZELMULLER, Anna Friedericka . Projeto de Reformulação Curricular. 2005 (Plano pedagógico) .

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2019 - Atual

    Uma Análise dos Sistemas de Transições Modais de Kripke (KMTS) para Representação do Espaço de Modelos na Revisão de Especificações, Descrição: Projeto aprovado pelo DCC para realização de estagio pos-doutoral, no IME/USP a partir de 18/02/2109.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Aline Maria Santos Andrade - Coordenador / Renata Wassermann - Integrante.

  • 2014 - 2017

    Revisão de Modelos, Descrição: A interpretação modelo-teórica de Grove para sistemas de crenças considera modelos (mundos possíveis) para representar as crenças e esta interpretação pode ser utilizada para definir as operações de revisão sobre modelos, considerando o princípio de mudanças mínimas da teoria clássica de revisão de crenças. Tomar um conjunto de crenças através de seus modelos, requer que a operação de revisão seja aplicada sobre os modelos para que satisfaçam determinada propriedade mesmo quando esta ´e inconsistente com os mesmos. Estamos interessados na revisão de modelos no contexto de especificação de sistemas de software. Particularmente, estamos interessados em modelos que representem informação incompleta explicitamente, de forma a considerar uma possibilidade de modelos como candidatos do sistema. Definimos revisão de estruturas modais de Kripke (KMTS), interpretada como um conjunto de estruturas de Kripke, utilizando a lógica CTL, e propomos algoritmos para implementar a revisão combinados com verificação de modelos. Neste projeto propomos continuar os trabalhos iniciados sobre revisão de estruturas KMTS, definindo um revisor destes modelos e investigar estas estruturas na presença de ações, que foram abstraídas para raciocinar com CTL. Além disso, planejamos fundamentar melhor a revisão de modelos sobre a ótica da interpretação modelo-teórica de revisão de modelos, tratando de conjuntos finitos de modelos representados como um KMTS.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Aline Maria Santos Andrade - Integrante / Renata Wassermann - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2014 - 2016

    Revisor de Modelos KMTS, Descrição: Este projeto trata do reparo automático de modelos KMTS (Kripke Modal Transitions Systems) baseado em revisão de modelos e verificação de modelos (Model Checking). Especificamente, propõe a construção de um revisor para modelos KMTS. Os KMTS se aplicam a especificação formal de sistemas com informação parcial. Este projeto dá continuidade a pesquisa desenvolvida em estágio posdoc da proponente no IME/USP... , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Aline Maria Santos Andrade - Coordenador / Efraim Zalmoxis de A. Machado - Integrante / Jandson Santos dos santos - Integrante / Pedro Dumont Marques - Integrante / Miguel Breno de Carvalho Dias - Integrante / Marino Souza dos Santos - Integrante.

  • 2012 - 2013

    Revisão de Modelos KMTS, Descrição: Projeto de pesquisa em cooperação com o LIAMF/ IME/ USP, sob coordenação geral da Dra. Renata Wassermann Este projeto trata da investigação do problema de revisão de modelos de lógicas temporais, baseado na teoria de revisão de crenças. Estamos investigando especificamente os sistemas de transições modais de Kripke (KMTS) que são modelos para o Mu-calculus modal. As estruturas modais de Kripke são modelos adequados para representar sistemas com informações parciais, como especificações de software com requisitos ainda não elicitados, abstração de modelos CTL, e representação de um conjunto de modelos CTL. Existem algumas propostas para alteração de modelos CTL baseadas em revisão e atualização de crenças, mas a revisão de modelos KMTS é um tema novo de pesquisa. Este projeto parte de resultados obtidos sobre revisão de modelos CTL pelo LIAM/IME/USP. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Aline Maria Santos Andrade - Integrante / Renata Wassermann - Coordenador / Paulo de Tarso Guerra - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

  • 2011 - Atual

    Transformação de Modelos, Descrição: A engenharia de software utiliza modelos no ciclo de desenvolvimento que permitem especificar um sistema em níveis de abstrações diferentes, relativos à fase de desenvolvimento do mesmo. Neste projeto tratamos da automatização de transformações entre modelos através da proposta de um framework que trata transformações em diversos níveis de abstrações em que as próprias transformações são tratadas como modelos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Doutorado: (1) . , Integrantes: Aline Maria Santos Andrade - Coordenador / Ana Patrícia Fontes Magalhães - Integrante / Rita Suzana Maciel - Integrante / Jean Carlos Novaes - Integrante / Daniel Conceicao do Nascimento - Integrante.

  • 2008 - 2010

    Especificando Formalmente um Sistema de Arquivos Verificável para o Padrão POSIX (LINUX), Descrição: Projeto Universal CNPq. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) . , Integrantes: Aline Maria Santos Andrade - Coordenador / Luciano Porto Barreto - Integrante / Adolfo Almeida Duran - Integrante / Leonardo Freitas - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2007 - 2010

    Desenvolvimento de software voltado à correção no contexto de sistemas mecatrônicos, Descrição: Este projeto de pesquisa trata de problemas relacionadas ao projeto de sistemas, buscando soluções para o desenvolvimento de software corretos, no contexto de aplicações mecatrônicas. Neste sentido, estamos interessados no tratamento do desenvolvimento de sistemas, levando em consideração o processo de desenvolvimento e aplicação de técnicas de especificação e verificação formal de software. A pesquisa foca em torno de aplicações distribuídas de tempo real, aplicações baseadas em sistemas multi-agentes e baseadas em componentes. Dentro deste escopo, este projeto investigará a utilização de técnicas da engenharia de software orientada a modelos através do framework conceitual MDA (Model Driven Architecture), e da técnica de métodos formais Verificação de Modelos (Model Checking) no projeto de aplicações de software distribuídos de tempo real, software de controle para sistemas de manufatura e problema de planejamentos em aplicações de sistemas multi-agentes. Estes problemas estão sendo tratados no âmbito do Mestrado em Mecatrônica na UFBA e envolve 3 dissertações de mestrado.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) . , Integrantes: Aline Maria Santos Andrade - Coordenador / Rosemary Silveira Filgueiras - Integrante / André Luis Nunes Muniz - Integrante / Rui Carlos Botelho Almeida da Silva - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.

  • 2005 - 2011

    AST - Cooperação Acadêmica em Automação e Sistemas de Tempo Real, Descrição: O principal objetivo deste projeto é o fortalecimento das relações existentes entre os dois programas de pós-graduação, através do desenvolvimento conjunto de pesquisas e orientações de dissertações e teses, com vistas à consolidação do programa de pós-graduação em Mecatrônica da UFBA. Em outras palavras, os objetivos principais deste projeto são: · estabelecimento de programas de pesquisa conjuntos em automação e tempo-real; · incrementar a formação de recursos humanos, através da realização de orientações conjuntas envolvendo professores e alunos dos dois programas, em nível de mestrado e doutorado; · possibilitar a troca de conhecimentos entre as equipes participantes, a partir de reuniões, seminários, estágios e disciplinas a serem ministradas; · possibilitar a consolidação do programa de pós-graduação em Mecatrônica da UFBA, com vistas a futura implantação do Doutorado no contexto deste programa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Aline Maria Santos Andrade - Integrante / Flávio Morais de Assis Silva - Integrante / Raimundo José de Araújo Macêdo - Coordenador / Luciano Porto Barreto - Integrante / George Marconi Lima - Integrante / Leizer Schnitman - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Universidade Federal da Bahia - Cooperação / Universidade Federal de Santa Catarina - Cooperação.

  • 2001 - 2003

    FORMOS - Métodos Formais para Código Móvel em Sistemas Abertos, Descrição: O objetivo geral do projeto é melhorar a qualidade de software, em especial aplicações móveis e algoritmos/protocolos distribuídos, considerando o contexto de ambientes abertos, onde enquadra-se a atual Internet. Dado que a Internet tem sido utilizada como ferramenta de suporte em vários setores da economia (indústria, comércio, serviços, educação) os resultados atingidos no escopo do projeto contribuirão em vários dos itens considerados prioritários no edital, sempre que puderem envolver a concepção de aplicações distribuídas, tais como: - inovação tecnológica em informática e microeletrônica, aplicada à produção industrial, agro-pecuária e serviços; - informática aplicada à educação e educação à distância; - tecnologias de informação aplicadas à gestão de sistemas; - tecnologias de informação aplicadas à comunicação humana. Além disso, considerando aplicações distribuídas com mobilidade como produto a ser alcançado, o projeto propõe uma metodologia apoiada por técnicas formais e ferramentas para o "design" de tais aplicações. Desta forma, o item abaixo passa a ser considerado: - informática aplicada ao "design" e desenvolvimento de produtos e processos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (2) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Aline Maria Santos Andrade - Integrante / Frederico Jorge Ribeiro Barboza - Integrante / Flávio Morais de Assis Silva - Coordenador / Rafael Ângelo Ribeiro de Oliveira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3 / Número de orientações: 4

  • 2001 - 2003

    IQ-Mobile - Improving the Quality of Open Systems with Code Mobility through Rigorous Development, Descrição: O objetivo geral do projeto é melhorar a qualidade de software, em especial aplicações móveis e algoritmos/protocolos distribuídos, considerando o contexto de ambientes abertos, onde enquadra-se a atual Internet. Dado que a Internet tem sido utilizada como ferramenta de suporte em vários setores da economia (indústria, comércio, serviços, educação) os resultados atingidos no escopo do projeto contribuirão em vários dos itens considerados prioritários no edital, sempre que puderem envolver a concepção de aplicações distribuídas, tais como: - inovação tecnológica em informática e microeletrônica, aplicada à produção industrial, agro-pecuária e serviços; - informática aplicada à educação e educação à distância; - tecnologias de informação aplicadas à gestão de sistemas; - tecnologias de informação aplicadas à comunicação humana. Além disso, considerando aplicações distribuídas com mobilidade como produto a ser alcançado, o projeto propõe uma metodologia apoiada por técnicas formais e ferramentas para o "design" de tais aplicações. Desta forma, o item abaixo passa a ser considerado: - informática aplicada ao "design" e desenvolvimento de produtos e processos. Este profeto foi integrado ao FORMOS, sendo que ele financiou passagens e hospegagens.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (2) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Aline Maria Santos Andrade - Integrante / Frederico Jorge Ribeiro Barboza - Integrante / Flávio Morais de Assis Silva - Coordenador / Rafael Ângelo Ribeiro de Oliveira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação., Número de produções C, T & A: 3 / Número de orientações: 4

  • 2000 - 2002

    ARGO - Tolerância a Falhas em Sistemas Distribuídos Assíncronos, Descrição: Mecanismos de tolerância a falhas são fundamentais para que aplicações em sistemas distribuídos, principalmente àquelas de segurança crítica ? controle de tráfego aéreo, saúde pública, gerenciamento ambiental, etc. -, garantam operações seguras e previsíveis mesmo na ocorrência de falhas, evitando-se catástrofes ou prejuízos importantes. Os mecanismos de replicação ativa, usualmente utilizados para assegurar tolerância a falhas nos sistemas distribuídos, são baseados no conceito de comunicação em grupo. O objetivo do projeto ARGO é conceber e desenvolver serviços de comunicação em grupo (difusão ordenada, gerenciamento de formação de grupos, sincronização nas mudanças da composição dos grupos, etc.), a partir de uma abordagem inovadora que permita limitar e controlar as disfunções típicas dos sistemas assíncronos (sem limites de tempo conhecidos para transferência de mensagens e velocidade relativa dos processos). A originalidade de nossa abordagem reside no fato de todos os serviços de comunicação em grupo serem considerados como extensões de um problema de concordância mais elementar: o consenso distribuído. Ou seja, cada serviço em algum momento dependerá de uma decisão unânime (o consenso). Este projeto visa obter como resultado principal a implementação de um protótipo capaz de garantir requisitos de confiabilidade num sistema distribuído assíncrono. Adicionalmente, adotaremos técnicas que levem requisitos temporais em consideração, permitindo, portanto, garantias de qualidade de serviço (QoS). Nosso objetivo é associar propriedades QoS orientadas para o tempo ao nosso serviço de comunicação baseado em grupo. A incorporação de tais requisitos não é simplesmente uma questão de performance. De fato, aspectos temporais e de prognóstico são os requisitos não-funcionais fundamentais a serem alcançados. Pretende-se atacar, no mínimo, a questão geral de garantias probabilísticas dos aspectos temporais, cobrindo assim um aspecto fundamental ainda não exp. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Aline Maria Santos Andrade - Integrante / Flávio Morais de Assis Silva - Integrante / Raimundo José de Araújo Macêdo - Coordenador / Níveia de Carvalho Ferreira - Integrante / Deise da Silva Côrtes - Integrante / Críston Pereira de Souza - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal da Bahia, Instituto de Matemática, Departamento de Ciências da Computação. , Av. Ademar de Barros, S/N Campus Universitário de Ondina, Ondina, 40170-110 - Salvador, BA - Brasil, Telefone: (71) 32836142, Ramal: 6500, Fax: (71) 32836145, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2012 - Atual

Universidade de São Paulo

Vínculo: , Enquadramento Funcional:

1987 - Atual

Universidade Federal da Bahia

Vínculo: Servidor Público, Enquadramento Funcional: Professor associado, Regime: Dedicação exclusiva.

Atividades

  • 03/2010

    Ensino, Doutorado em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Lógica e Métodos Formais

  • 09/2009

    Direção e administração, Departamento de Ciência da Computação, .,Cargo ou função, Vice- coordenadora do Mestrado em Mecatrônica.

  • 03/2003

    Ensino, Mestrado em Mecatronica, Nível: Pós-Graduação,Disciplinas ministradas, Introdução aos Métodos Formais

  • 01/1997

    Pesquisa e desenvolvimento , Departamento de Ciência da Computação, .,Linhas de pesquisa

  • 11/2013 - 11/2017

    Direção e administração, Departamento de Ciência da Computação, Instituto de Matemática.,Cargo ou função, Coordenadora do Programa de Pós-graduação em Mecatronica.

  • 03/2005 - 12/2010

    Direção e administração, Laboratório de Sistemas Distribuídos, Instituto de Matemática.,Cargo ou função, Coordenação da Especialização Acançada em Sistemas Distribuídos.

  • 04/2008 - 04/2009

    Direção e administração, Departamento de Ciência da Computação, Instituto de Matemática.,Cargo ou função, Vice-chefia do Departamento de Ciência da Computação.

  • 03/1998 - 12/2006

    Ensino, Especialização Avançada Em Sistemas Distribuídos, Nível: Pós-Graduação,Disciplinas ministradas, Especificação Formal de Sistemas Distribuídos

  • 03/2006 - 07/2006

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica Aplicada a Computação, Inteligência Artificial, Linguagens Formais e Teoria da Compilação, Lógica Aplicada à Computação, Organização de Computadores, Paradigmas de Linguagens de Programação, Teoria da Computação

  • 06/2003 - 03/2005

    Direção e administração, Laboratório de Sistemas Distribuídos, Instituto de Matemática.,Cargo ou função, Vice-coordenadora do Curso de Especialização Avançada em Sistemas Distribuídos.

  • 06/2002 - 06/2004

    Direção e administração, Departamento de Ciência da Computação, Instituto de Matemática.,Cargo ou função, Vice-chefe do Departamento de Ciência da Computação.

  • 04/1997 - 06/2001

    Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.,Cargo ou função, Coordenador do Curso de Bacharelado em Ciência da Computação.

2005 - 2009

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Diretora das Secretarias Regionais

1981 - 1983

Telecomunicações da Bahia S A

Vínculo: Outro, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

  • 11/1981 - 11/1983

    Serviços técnicos especializados , Centro de Processamento de Dados, .,Serviço realizado, Analista de Suporte Técnico.