Rede de Colaboração
Diretório de grupos de pesquisa |
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 é Professor associado
da
Universidade Federal da Bahia e Revisor de periódico
da
Journal Science of Computer Programming. Tem experiência
na área de
Ciência da Computação.
Última
atualização do currículo em 18/11/2011
Endereço para acessar este CV: http://lattes.cnpq.br/0612005197639506 |
Dados pessoais
| Nome | Aline Maria Santos Andrade |
| Nome em citações bibliográficas | ANDRADE, A. M. S.;Andrade, Aline;ANDRADE, A;Andrade, Aline M. S. |
| Sexo | Feminino |
| 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: http:// |
Formação acadêmica/Titulação
| 1991 - 1997 | Doutorado em Informática
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. Título: O Processo de Desenvolvimento de Software à Luz da Visão Estruturalista das Teorias da Ciência Natural, Ano de Obtenção: 1997. 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 / Área: Ciência da Computação / Subárea: Teoria da Computação. |
| 1984 - 1986 | Mestrado em Informática
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. 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 / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. |
| 1977 - 1981 | Graduação em Processamento de Dados
.
Universidade Federal da Bahia, UFBA, Brasil. |
Atuação profissional
| Universidade Federal da Bahia, UFBA, Brasil. |
| Vínculo institucional |
| 1987 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor associado, Regime: Dedicação exclusiva. |
| Atividades |
| 03/2010 - Atual | Ensino, Doutorado em Ciência da Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas Lógica e Métodos Formais |
| 09/2009 - Atual | Direção e administração, Departamento de Ciência da Computação, . |
| Cargo ou função Vice- coordenadora do Mestrado em Mecatrônica. |
| 02/2008 - Atual | Atividades de Participação em Projeto, Departamento de Ciência da Computação, . |
|
Projetos de pesquisa Especificando Formalmente um Sistema de Arquivos Verificável para o Padrão POSIX (LINUX) |
| 5/2005 - Atual | Atividades de Participação em Projeto, Laboratório de Sistemas Distribuídos, Instituto de Matemática. |
|
Projetos de pesquisa AST - Cooperação Acadêmica em Automação e Sistemas de Tempo Real |
| 2004 - Atual | Atividades de Participação em Projeto, Departamento de Ciência da Computação, . |
|
Projetos de pesquisa ProCC: Pró-doutorado Multiinstitucional em Ciência da Computação na Bahia |
| 3/2003 - Atual | Ensino, Mestrado em Mecatronica, Nível: Pós-Graduação. |
| Disciplinas ministradas Introdução aos Métodos Formais |
| 1997 - Atual | Pesquisa e desenvolvimento , Departamento de Ciência da Computação, . |
|
Linhas de pesquisa Métods Formais Engenharia de Software Sistemas Distribuídos |
| 3/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. |
| 2008 - 2010 | Atividades de Participação em Projeto, Departamento de Ciência da Computação, . |
|
Projetos de pesquisa Descoberta e Formação de Novos Talentos em Computação em Escolas de Ensino Médio e Fundamental do Estado da Bahia |
| 4/2008 - 4/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. |
| 2007 - 2009 | Atividades de Participação em Projeto, Departamento de Ciência da Computação, . |
|
Projetos de pesquisa Desenvolvimento de software voltado à correção no contexto de sistemas mecatrônicos |
| 3/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 |
| 3/2006 - 7/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 |
| 6/2003 - 3/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. |
| 6/2002 - 6/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. |
| 5/2001 - 5/2003 | Atividades de Participação em Projeto, Departamento de Ciência da Computação, Instituto de Matemática. |
|
Projetos de pesquisa FORMOS - Métodos Formais para Código Móvel em Sistemas Abertos IQ-Mobile - Improving the Quality of Open Systems with Code Mobility through Rigorous Development |
| 12/2000 - 12/2002 | Atividades de Participação em Projeto, Laboratório de Sistemas Distribuídos, Instituto de Matemática. |
|
Projetos de pesquisa ARGO - Tolerância a Falhas em Sistemas Distribuídos Assíncronos |
| 4/1997 - 6/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. |
| 1997 - 1998 | Atividades de Participação em Projeto, Departamento de Ciência da Computação, Instituto de Matemática. |
| Sociedade Brasileira de Computação, SBC, Brasil. |
| Vínculo institucional |
| 2005 - 2009 | Vínculo: Colaborador, Enquadramento Funcional: Diretora das Secretarias Regionais |
| Telecomunicações da Bahia S A, TELEBAHIA, Brasil. |
| Vínculo institucional |
| 1981 - 1983 | 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. |
Projetos de Pesquisa
| 2008 - 2010 | Especificando Formalmente um Sistema de Arquivos Verificável para o Padrão POSIX (LINUX) |
| Descrição: Projeto Universal CNPq. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 6) / Mestrado acadêmico ( 1) . Integrantes: Luciano Porto Barreto - Integrante / Adolfo Almeida Duran - Integrante / Leonardo Freitas - Integrante / Aline Maria Santos Andrade - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2008 - 2010 | Descoberta e Formação de Novos Talentos em Computação em Escolas de Ensino Médio e Fundamental do Estado da Bahia |
| Descrição: A expansão da utilização dos computadores nos mais diversos segmentos da vida humana faz com que a área de Informática se expanda de forma muito acelerada. Embora existam muitos cursos para preparação de profissionais nesta área, o que se observa é que o mercado se ressente da falta de profissionais bem qualificados. Existe um desconhecimento entre os jovens em torno das habilidades e competências necessárias para um profissional da área de computação, o fato dos computadores terem se tornado populares, se por um lado se tornou uma necessidade na
nossa realidade, isto faz com que seja criado uma idéia equivocada, que confunde a profissão de computação com a habilidade em usar ferramentas computacionais. Acreditamos que esta realidade, dentre outras causas, vem afastando
alunos com potencial para a área. Neste contexto, este projeto vem trabalhar com alunos de ensino fundamental e médio no sentido de despertar interesse para a área de computação. Estes alunos irão trabalhar com conceitos matemáticos importantes para o desenvolvimento da base de raciocínio para o desenvolvimento de algoritmos, e
implementação de algoritmos em uma linguagem de programação. Pretende-se com esta iniciativa descobrir talentos para a área, principalmente entre alunos que estudam em escolas públicas que muitas vezes não tem a oportunidade desta descoberta. Para complementar as atividades deste projeto, está prevista a participação dos alunos na Olimpíada Brasileira de Informática.
Contamos com 3 bolsistas de graduação da UFBA e 6 bosistas juniores do Colégio Central.
. Situação: Em andamento; Natureza: Extensão. Alunos envolvidos: Graduação ( 3) . Integrantes: Luciano Porto Barreto - Integrante / Aline Maria Santos Andrade - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa.. |
| 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: Rosemary Silveira Filgueiras - Integrante / André Luis Nunes Muniz - Integrante / Rui Carlos Botelho Almeida da Silva - Integrante / Aline Maria Santos Andrade - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.. |
| 2005 - Atual | 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: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: 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 / Aline Maria Santos Andrade - Integrante. Financiador(es): Universidade Federal da Bahia - Cooperação / Universidade Federal de Santa Catarina - Cooperação / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.. |
| 2004 - Atual | ProCC: Pró-doutorado Multiinstitucional em Ciência da Computação na Bahia |
| Descrição: O objetivo geral do ProCC é apoiar parcialmente a criação de um Doutorado Multi-institucional em Ciência da Computação na Bahia, envolvendo a UEFS, a UFBa e a UNIFACS. Para tanto, este projeto visa: 1) Identificar áreas de concentração e linhas de pesquisa comuns aos grupos de pesquisa participantes com vistas ao projeto de Doutorado Multi-institucional em Ciência da Computação (DMCC) a ser submetido futuramente à CAPES; 2) Integrar trabalhos de pesquisa e de orientação de dissertações de mestrado dos grupos de pesquisa e dos programas de mestrado envolvidos neste projeto; 3) Ampliar o quadro de doutores e fortalecimento das infra-estruturas dos grupos de pesquisa participantes de modo a consolidar uma produção técnico-científica adequada ao projeto DMCC; 4) Desenvolver atividades de cooperação com grupos de pesquisa fora da Bahia, participantes de programas de pós-graduação em CC nível 5 ou superior na CAPES; 5) Elaborar, submeter e acompanhar o projeto DMCC junto à CAPES.. Situação: Em andamento; Natureza: Outra. Integrantes: George Marconi de A Lima - Integrante / Luciano Porto Barreto - Integrante / Flávio Morais Assis Silva - Integrante / Raimundo José de Araújo Macêdo - Coordenador / Chrsitina von Flach Chavez - Integrante / Fabíola Gonçalves Greve - Integrante / Sérgio Gorender - Integrante / Aline Maria Santos Andrade - Integrante. . |
| 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Frederico Jorge Ribeiro Barboza - Integrante / Flávio Morais de Assis Silva - Coordenador / Rafael Ângelo Ribeiro de Oliveira - Integrante / Aline Maria Santos Andrade - 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Frederico Jorge Ribeiro Barboza - Integrante / Flávio Morais de Assis Silva - Coordenador / Rafael Ângelo Ribeiro de Oliveira - Integrante / Aline Maria Santos Andrade - 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: 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 / Aline Maria Santos Andrade - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 1. |
Revisor de periódico
| 2009 - Atual | Periódico: Journal Science of Computer Programming |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Métodos Formais. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
Idiomas
| Inglês | Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  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. |
| 2. | 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. |
| 3. | 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 (Print), p. 1-8, 2009. |
| 4. | 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. |
| Livros publicados/organizados ou edições |
| 1. | 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. |
| 2. | 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. |
| Capítulos de livros publicados |
| 1. | 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. |
| Trabalhos completos publicados em anais de congressos |
| 1. | 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. |
| 2. | 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. |
| 3. | 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, Maceio. Anais do WIND 2010, 2010. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| Apresentações de Trabalho |
| 1. | ANDRADE, A. M. S. . Iniciação Científica: Importância na Formação Profissional. 2005. (Apresentação de Trabalho/Conferência ou palestra). |
| 2. | 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). |
| 3. | 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). |
| 4. | ANDRADE, A. M. S. . Caracterização do Curso de Bacharelado em Sistemas de Informação. 2003. (Apresentação de Trabalho/Conferência ou palestra). |
| Demais tipos de produção bibliográfica |
| 1. | 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). |
| 2. | 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). |
| 3. | 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). |
| 4. | 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). |
| Produção técnica |
| Trabalhos técnicos |
| 1. | ANDRADE, A. M. S. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2011. |
| 2. | Andrade, Aline M. S. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2010. |
| 3. | Andrade, Aline M. S. . Membro do Comitê de Programa do XXXVI LATIN-AMERICAN CONFERENCE ON INFORMATICS (CLEI). 2010. |
| 4. | ANDRADE, A. M. S. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2009. |
| 5. | ANDRADE, A. M. S. . Membro do Comitê de Programa do XXXV LATIN-AMERICAN CONFERENCE ON INFORMATICS (CLEI). 2009. |
| 6. | ANDRADE, A. M. S. . Membro do Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2008. |
| 7. | ANDRADE, A. M. S. . Membro de Comitê de programa do 9th Real-Time Workshop (WTR-2007. 2007. |
| 8. | ANDRADE, A. M. S. . Membro do Comitê do Concurso de Trabalhos de Iniciação Científica - CTIC. 2007. |
| 9. | ANDRADE, A. M. S. . Membro do Comitê da XXIV Jornada de Atualização em Informática. 2005. |
| 10. | ANDRADE, A. M. S. . Coordenadora e membro do comitê de programa da XXIII Jornada de Atualização em Informática. 2004. |
| 11. | ANDRADE, A. M. S. . Membro do Comitê de Programa do II WTICG. 2004. |
| 12. | ANDRADE, A. M. S. . Membro de Comite de Programa do I WTICG-Base. 2003. |
| 13. | ANDRADE, A. M. S. . Membro de Comitê do I WEIBASE. 2003. |
| 14. | 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. |
| 15. | ANDRADE, A. M. S. . Membro do Comitê de programa da VIII Seminfo. 2000. |
| 16. | ANDRADE, A. M. S. . Membro do Comitê de Programa do JAI/SBC . 1999. |
| 17. | ANDRADE, A. M. S. . Membro do Comitê de Programa da VII Seminfo. 1998. |
| 18. | ANDRADE, A. M. S. ; VELOSO, P. A. S. . Uma Modelagem Lógica do Processo de Desenvolvimento de Software. 1997. |
| Demais tipos de produção técnica |
| 1. | 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). |
| 2. | 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). |
| 3. | 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). |
| Demais trabalhos |
| 1. | 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). |
| 2. | 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). |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | Andrade, Aline M. S.; Deharbe, D.; Oliveira, M.. Participação em banca de Stephenson Sousa de Lima. Modelagem formal do sistema operacional de tempo-real FreeRTOS usando o método B. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. |
| 2. | ANDRADE, A. M. S.. Participação em banca de Rodrigo Saad. 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. |
| 3. | ANDRADE, A. M. S.; SILVA, P. V.; ALMEIDA, Eliana Silva de. Participação em banca de Alexandre Paes dos Santos. 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. |
| 4. | ANDRADE, A. M. S.; MENDONÇA NETO, Manoel Gomes de; TAVARES, Tatiana Aires. Participação em banca de Luciana Farias do Nascimento. Uma Metodologia para melhoria da Infra-estrutura de Medições. 2006. Dissertação (Mestrado em Mestrado Profissional Em Redes de Computadores) - Universidade Salvador. |
| 5. | ANDRADE, G. M.; ANDRADE, A. M. S.. Participação em banca de Gabryela Melo de Andrade. 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. |
| Monografias de cursos de aperfeiçoamento/especialização |
| 1. | BARBOZA, Frederico Jorge Ribeiro; ANDRADE, A. M. S.; SILVA, Flávio Morais de Assis. Participação em banca de Frederico Jorge Ribeiro Barboza. 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. |
| 2. | ANÍBAL, S.; ANDRADE, A. M. S.; MACÊDO, Raimundo José de Araújo. Participação em banca de Sérgio Aníbal. Uma Máquina de Busca Paralela. 2002. Monografia (Aperfeiçoamento/Especialização em Ciência da Computação) - Universidade Federal da Bahia. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | ANDRADE, A. M. S.; ABDALLA, Débora; Claro, Daniela. Participação em banca de Vanessa Aline dos Santos Sena. 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. |
| 2. | ANDRADE, A. M. S.; ABDALLA, Débora; SALVADOR, L.. Participação em banca de Amon Pedrozo. 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. |
| 3. | ANDRADE, A. M. S.; BARBOZA, F. J. R.; DURAN, A. A.. Participação em banca de Diego Machado Dias. 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. |
| 4. | ANDRADE, A. M. S.; ANDRADE, S. S.; DURAN, A. A.. Participação em banca de Antônio Lucas. 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. |
| 5. | ANDRADE, A. M. S.; ABDALLA, Débora; BARRETO, L. P.. Participação em banca de Raniere Viana de Souza. 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. |
| 6. | ANDRADE, A. M. S.; Pretto, Nelson; SCHWARZELMULLER, Anna Friedericka. Participação em banca de Tasso Lapa Dourado. 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. |
| 7. | ANDRADE, A. M. S.; MACÊDO, Raimundo José de Araújo; Claro, Daniela. Participação em banca de Antônio Santos Vasconcelos. 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. |
| 8. | ANDRADE, A. M. S.; ABDALLA, Débora; GORENDER, S.. Participação em banca de Joelama 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. |
| 9. | ANDRADE, A. M. S.; SCHWARZELMULLER, Anna Friedericka; ABDALLA, Débora. Participação em banca de Eduardo Pedreira. 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. |
| 10. | ANDRADE, A. M. S.; MACÊDO, Raimundo José de Araújo; GORENDER, S.. Participação em banca de Autran G. 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. |
| 11. | SENA, I. S.; ANDRADE, A. M. S.; SILVA, Flávio Morais de Assis. Participação em banca de Izi Silva Sena. 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. |
| Outros tipos |
| 1. | ANDRADE, A. M. S.; SCHNITMAN, Leizer; LEPKSON, Herman. Participação em banca de José Antônio Soares Santana. Banca de exame de qualificação de mestrado. 2005. Outra participação, Universidade Federal da Bahia. |
| 2. | ANDRADE, A. M. S.; ABDALLA, Débora; SCHNITMAN, Leizer. Participação em banca de Joselino Rocha de Souza. Banca de avaliação de exame de qualificação de mestrado. 2005. Outra participação, Universidade Federal da Bahia. |
| 3. | ANDRADE, A. M. S.; LEPKSON, Herman; SCHNITMAN, Leizer. Participação em banca de João Bosco. Banca de exame de qualificação de mestrado. 2005. Outra participação, Universidade Federal da Bahia. |
| 4. | ANDRADE, A. M. S.; MACÊDO, Raimundo José de Araújo; LIMA, George Marconi. Participação em banca de Ana Patrícia Magalhães. Banca de exame de qualificação de mestrado. 2005. Outra participação, Universidade Federal da Bahia. |
| 5. | ANDRADE, A. M. S.; SILVA, Flávio Morais de Assis; GREVE, Fabíola Gonçalves. Participação em banca de Ivo Peixinho. Banca de exame de qualificação de mestrado. 2004. Outra participação, Universidade Federal da Bahia. |
| 6. | ANDRADE, A. M. S.; ABDALLA, Débora; GREVE, Fabíola Gonçalves. Participação em banca de Frederodo Jorge Ribeiro Barboza. Banca de exame de qualificação de mestrado . 2004. Outra participação, Universidade Federal da Bahia. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | ANDRADE, A. M. S.; ALMEIDA, Eliana Silva de; BENVIDES, M.. Concurso público para professor adjunto. 2010. Universidade Federal da Bahia. |
| 2. | ANDRADE, A. M. S.; HAEUSLER, Edward Hermann; CORREA, M. S.. Concurso para professor adjunto. 2008. Universidade Federal da Bahia. |
| 3. | 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. |
| 4. | ANDRADE, A. M. S.; GREVE, Fabíola Gonçalves Prereira; CHAVEZ, Chrsitina Von Flach. Participação em banca de concurso para professor adjunto . 2004. Universidade Estadual de Feira de Santana. |
| 5. | ANDRADE, A. M. S.. Banca de concurso para professor assistente. 2001. Universidade Estadual de Feira de Santana. |
| 6. | ANDRADE, A. M. S.. Participação em banca examinadora de concurso para professor adjunto. 2001. Universidade Federal da Bahia. |
| 7. | ANDRADE, A. M. S.. Participação em banca de concurso para professor adjunto. 1998. Universidade Federal da Bahia. |
| Avaliação de cursos |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| Outras participações |
| 1. | ANDRADE, A. M. S.. Banca examinadora para seleção de professor substituto da disciplina Mat155 Programação matemática. 2003. Universidade Federal da Bahia. |
| 2. | 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. |
| 3. | ANDRADE, A. M. S.. Participação na banca de avaliação da disciplina Mat161 - Engenharia de Software. 2003. Universidade Federal da Bahia. |
| 4. | ANDRADE, A. M. S.. Participação na banca de seleção da disciplina MAT65 - Banco de Dados. 2003. Universidade Federal da Bahia. |
| 5. | ANDRADE, A. M. S.. Participação na banca de seleção da disciplina Mat045 - Processamento de Dados. 2003. Universidade Federal da Bahia. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | ANDRADE, A. M. S.. Progressão funcional da professora Jodália dos Santos Arlego. 2002. Universidade Federal da Bahia. |
| 11. | ANDRADE, A. M. S.. Progressão funcional da professora Glória Márcia Fernandes Costa. 2002. Universidade Federal da Bahia. |
| 12. | ANDRADE, A. M. S.. Progressão funcional da professora Maristela Dias de Oliveira. 2002. Universidade Federal da Bahia. |
| 13. | ANDRADE, A. M. S.. Progressão funcional da professora Tereza Nadya Lima dos Santos. 2002. Universidade Federal da Bahia. |
| 14. | ANDRADE, A. M. S.. Progressão funcional do professor Gilênio Borges Fernandes. 2002. Universidade Federal da Bahia. |
| 15. | 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. |
| 16. | 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. |
Eventos
| Participação em eventos |
| 1. | Escola Regional de Computação Bahia, Alagoas e Sergipe - IX ERBASE.Verificação de Software: contexto atual e desafios. 2008. (Congresso). |
| 2. | Simpósio Brasileiro de Métodos Formais.II Simpõsio Brasileiro de Métodos Formais. 2006. (Simpósio). |
| 3. | Escola Regional de Computação Bahia-Sergipe.V Escola Regional de Computação Bahia-Sergipe. 2005. (Congresso). |
| 4. | XXIV Congresso da Sociedade Brasileira de Computação.XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso). |
| 5. | I Simpósio Brasileiro de Métodos Formais.I Simpósio Brasileiro de Métodos Formais. 2004. (Congresso). |
| 6. | III Escola Regional de Computação Bahia-Sergipe.III Escola Regional de Computação Bahia-sergipe. 2003. (Congresso). |
| 7. | Congresso Brasileiro da sociedade Brasileira de Computação.XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso). |
| 8. | VI Workshop de Métodos Formais.Workshop de Métodos Formais (WMF). 2003. (Outra). |
| 9. | II Escola Regional de Computação Bahia-Sergipe.II Escola Regional de Computação. 2002. (Congresso). |
| 10. | I Escola Regional de Computação Bahia-Sergipe.I Escola Regional de Computação Bahia-Sergipe. 2001. (Congresso). |
| Organização de eventos |
| 1. | ANDRADE, A. M. S. ; Claro, Daniela ; BARRETO, L. P. ; VALCY, I. ; MARTINIANO, A. ; AGUIAR, C. . Maratona de Programação. 2009. (Outro). |
| 2. | 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). |
| 3. | ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis . Second Latin-American Symposium on Dependable Computing. 2005. (Congresso). |
| 4. | ANDRADE, A. M. S. . V Escola Regional de Computaçâo Bahia-Sergipe. 2005. (Congresso). |
| 5. | ANDRADE, A. M. S. . III Workshop de Iniciaçao de Científica e Trabalhos de Graduação Bahia-Sergipe (III WTICG). 2005. (Congresso). |
| 6. | ANDRADE, A. M. S. ; MARTINS, Ana Tereza . XXIII Jornada de Atualização em Informática. 2004. (Congresso). |
| 7. | ANDRADE, A. M. S. . III Escola Regional de Computação Bahia-Sergipe. 2003. (Congresso). |
| 8. | ANDRADE, A. M. S. . II Escola Regional de Computaçao Bahia-Sergipe. 2002. (Concerto). |
| 9. | ANDRADE, A. M. S. . I Escola Regional de Computação Bahia-Sergipe. 2001. (Congresso). |
| 10. | ANDRADE, A. M. S. . VIII Semana de Informática. 2000. (Congresso). |
| 11. | ANDRADE, A. M. S. . VII Semana de Informática da UFBA. 1998. (Congresso). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | Rosemary Silveira Filgueiras. Um Framework Conceitual para Especificação de Sistema de Manufatura Flexível Baseado em Agentes Utilizando UML e Extensões. Início: 2006. Dissertação (Mestrado em Mestrado em Mecatronica) - Universidade Federal da Bahia. (Orientador). |
| 2. | Rui Carlos Botelho Almeida da Silva. Especificação de Sistemas Multiagentes Autônomos Utilizando Métodos Formais. Início: 2006. Dissertação (Mestrado em Mestrado em Mecatronica) - Universidade Federal da Bahia. (Orientador). |
| Tese de doutorado |
| 1. | Ana Patrícia Fontes Magalhães Mascarenhas. CORREÇÃO DE MODELOS E DE TRANSFORMAÇÃO DE MODELOS. Início: 2010. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia. (Orientador). |
| Trabalho de conclusão de curso de graduação |
| 1. | Flávio Oliveira Escobar. Especificação e Verificação Formal de um Sistema de Arquivos no Padrão POSIX para Dispositivos NAND Flash. Início: 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia. (Orientador). |
| 2. | Fabio de Almeida Knoedt. Um estudo sobre especificação de aplicações reconfiguráveis com serviços web. Início: 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia. (Orientador). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. |  André Luis 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. |
| 2. | 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. |
| 3. | 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. |
| Monografia de conclusão de curso de aperfeiçoamento/especialização |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | Rafael Angelo 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. |
| 5. | 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. |
| 6. | 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. |
| Trabalho de conclusão de curso de graduação |
| 1. | André Luis 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | Criston 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. |
| 7. | 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. |
| 8. | 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. |
| Iniciação Científica |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | Moizes 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. |
| 6. | André Luis 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 18:37:09 |