Adolfo Almeida Duran

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


Possui graduação em Processamento de Dados pela Universidade Federal da Bahia (1986), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1995) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2005). Atualmente é outro (técnico administrativo) da Universidade Federal da Bahia. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: engenharia de software, jogos eletrônicos, ferramentas de apoio ao ensino, métodos formais e convergência tecnológica. (Texto informado pelo autor)


Identificação


Nome
Adolfo Almeida Duran
Nome em citações bibliográficas
DURAN, Adolfo Almeida;Duran, Adolfo

Endereço


Endereço Profissional
Universidade Federal da Bahia, Centro de Processamento de Dados.
Avenida Ademar de Barros s/n
Ondina
40170110 - Salvador, BA - Brasil
Telefone: (71) 32836135
Ramal: 6135
Fax: (71) 32636123
URL da Homepage: www.ufba.br


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


2000 - 2005
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: An algebraic approach to the design of compilers for object-oriented languages, Ano de obtenção: 2005.
Orientador: Augusto César Alves Sampaio.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1993 - 1995
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Semântica via Jogos para a Dedução Natural Rotulada,Ano de Obtenção: 1995.
Orientador: Ruy de Queiroz.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1982 - 1986
Graduação em Processamento de Dados.
Universidade Federal da Bahia, UFBA, Brasil.




Atuação Profissional



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

1983 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Outro (Técnico administrativo), Carga horária: 40

Atividades

5/2005 - Atual
Pesquisa e desenvolvimento , Centro de Processamento de Dados, .

1/1986 - Atual
Serviços técnicos especializados , Centro de Processamento de Dados, .

Serviço realizado
Desenvolvimento de atividades técnicas como Analista de Sistemas.
9/1983 - 12/1985
Serviços técnicos especializados , Centro de Processamento de Dados, .

Serviço realizado
Desenvolvimento de atividades técnicas como programador de computador.

Faculdade Ruy Barbosa, FRB, Brasil.
Vínculo institucional

2004 - 2009
Vínculo: Celetista, Enquadramento Funcional: Professor horista, Carga horária: 12

Vínculo institucional

1999 - 1999
Vínculo: Celetista, Enquadramento Funcional: Outro (Professor horista), Carga horária: 8

Atividades

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

Disciplinas ministradas
Teoria dos grafos
10/2006 - 07/2007
Extensão universitária , Departamento de Ciência da Computação, .

Atividade de extensão realizada
Projeto Nascente Digital (ND) - Utilização dos Infocentros para Formação de Pessoal em Tecnologia da Informação Utilizando Educação a Distância.
8/1999 - 12/1999
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens formais

Universidade Salvador, UNIFACS, Brasil.
Vínculo institucional

1996 - 1999
Vínculo: Celetista, Enquadramento Funcional: Outro (professor horista), Carga horária: 8

Vínculo institucional

1992 - 1992
Vínculo: Celetista, Enquadramento Funcional: Outro (professor horista), Carga horária: 8

Vínculo institucional

1990 - 1990
Vínculo: Celetista, Enquadramento Funcional: Outro (professor horista), Carga horária: 8

Atividades

1/1996 - 12/1999
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
Compiladores e Organização de Computadores
1/1992 - 12/1992
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores e Organização de Computadores
1/1990 - 12/1990
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Ciência da Computação


Linhas de pesquisa


1.
Métodos Formais em Engenharia de Software


Projetos de pesquisa


2008 - 2010
FLASH-POSIX: DESENVOLVIMENTO FORMAL DE UM SISTEMA DE ARQUIVOS POSIX BASEADO EM MEMÓRIAS FLASH
Descrição: Este projeto endereça este mini desafio e propõe o desenvolvimento formal de um sistema de arquivo verificável baseado em memórias flash, compatível com o padrão POSIX. O desafio aqui é gerar: (i) a especificação formal do comportamento das funcionalidades oferecidas pelo sistema de arquivos; (ii) a lista de suposições inerentes ao hardware escolhido; (iii) e o conjunto invariantes, assertions, e propriedades relativas às estruturas de dados e algoritmos utilizados na implementação do sistema de arquivos. Esta iniciativa visa potencializar a participação da UFBA no circuito de Métodos Formais. Com o desenvolvimento desse projeto, a UFBA passa a integrar uma comunidade de instituições de excelência que atuam em Métodos Formais..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) .
Integrantes: Adolfo Almeida Duran - Coordenador / Aline Maria Santos Andrade - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
2007 - 2010
Especificando Formalmente um Sistema de Arquivos Verificável para o Padrão POSIX (LINUX)
Descrição: Este projeto visa a especificação formal de um sistema de arquivo verificável baseado em memórias flash. O desafio aqui é gerar: (i) a especificação formal do comportamento das funcionalidades oferecidas pelo sistema de arquivos; (ii) a lista de suposições inerentes ao hardware escolhido; (iii) e o conjunto invariantes, assertions, e propriedades relativas às estruturas de dados e algoritmos utilizados na implementação do sistema de arquivos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) .
Integrantes: Adolfo Almeida Duran - Coordenador / Aline Maria Santos Andrade - Integrante / Leo Freitas - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2007 - 2009
WGWSOA: UMA ARQUITETURA ORIENTADA A SERVIÇOS DE MIDDLEWARE PARA APOIAR O DESENVOLVIMENTO DE SISTEMAS COLABORATIVOS
Descrição: Aplicações distribuídas de groupware requerem um suporte à interoperabilidade entre plataformas com o intuito de potencializar o projeto, a implementação e a evolução de suas funcionalidades. Groupware distribuído, necessitam de requisitos difíceis de serem atendidos por uma única aplicação (DAVID e BORGES 2002). Essa dificuldade está relacionada tanto à quantidade de requisitos funcionais como à diversidade de requisitos não-funcionais que tais aplicações demandam. Aplicações distribuídas de groupware são comumente construídas em plataformas de middleware (MACIEL et al 2005). Apesar de manipularem objetos (documentos, reuniões, agenda, listas de discussões, etc.) com a mesma semântica, não é possível para essas aplicações acessarem objetos e dados de uma outra aplicação, mesmo que elas sejam construídas sob uma mesma plataforma de middleware. A complexidade desse cenário se torna mais intensa quando necessitamos interoperar aplicações colaborativas construídas sob middlewares distintos, por exemplo, J2EE, CORBA e .NET. Conseqüentemente, devido ao número e à diversidade de soluções, groupware distintos não são comumente interoperáveis. A ausência de interoperabilidade é um problema tanto para os usuários como para os projetistas de groupware. A WGWSOA (Web-based Groupware Service-Oriented Architecture) é uma arquitetura orientada a serviços de middleware cujo objetivo é apoiar a reutilização e a interoperabilidade entre sistemas colaborativos (MACIEL e DAVID, 2007)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) .
Integrantes: Adolfo Almeida Duran - Integrante / José Maria Nazar David - Integrante / Rita Suzana Pitangueira Maciel - Coordenador / Ana Patrícia Fontes Magalhães - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
2006 - 2009
Melhoria da Infra-estrutura do Grupo de Pesquisa em Métodos Formais em Engenharia de Software (MEFES@UFBA).
Descrição: Este projeto visa o fortalecimento do grupo de pesquisa MEFES@UFBA (Métodos Formais em Engenharia de Software), em forma de melhoria da infra-estrutura básica para a realização de atividades de pesquisa, difusão tecnológica, e gerenciamento de projetos. O MEFES@UFBA está cadastrado como Grupo de Pesquisa do CNPq deste 2005, e é sediado na Universidade Federal da Bahia. Com este projeto pretendemos potencializar a participação da Bahia no circuito de pesquisa em Métodos Formais, consolidando o grupo de pesquisa e fazendo parte da comunidade colaborativa que atua nesta área, contribuindo para solucionar os problemas relativos à construção de sistemas críticos verificáveis. Com a melhoria da infra-estrutura do MEFES@UFBA, será possível a articulação de uma rede cooperativa que agregue outros grupos, instituições de pesquisa e ensino, centros tecnológicos e empresas, com o intuito de aumentar a competência do Estado nesta área, além de estarmos colaborando para a construção de um cenário mais favorável à captação e fixação de novos doutores em Engenharia de Software para atuar em futuros programas de pós-graduação em Ciência da Computação na Bahia..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) .
Integrantes: Adolfo Almeida Duran - Coordenador / Antonio Lucas de Oliveira Barros - Integrante / Daniel Coelho Cunha - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.Número de orientações: 3


Projetos de desenvolvimento


2012 - Atual
Evolução da plataforma tecnológica do sistema nacional de transplante
Descrição: Análise (estudo do cenário atual), modelagem (especificação do projeto da solução), implementação (re-engenharia, prototipação e teste) do novo SIG para gestão de transplantes no Brasil..
Situação: Em andamento; Natureza: Desenvolvimento.
2009 - 2011
MDAPSEE - UM AMBIENTE PARA ESPECIFICAÇÃO E EXECUÇÃO DE PROCESSOS DE SOFTWARE DIRIGIDO A MODELOS
Descrição: Este projeto tem como objetivo especificar uma abordagem, denominada MDA-PSEE, para engenharia de software centrado em processos (PSEE Process Center Software Engineering Environment) para desenvolvimento de aplicações dirigido a modelos (DDM) através da MDA (Model Driven Achitecture) utilizando também teste dirigido a modelos (TDM). Além da MDA-PSEE, implementar um ambiente que apóie esta abordagem, compreendendo as atividades de modelagem de processos de software e as atividades de desenvolvimento de uma aplicação através deste modelo nas diversas fases do ciclo de vida de uma aplicação (concepção, análise, projeto, codificação, testes, gerencia, etc). Alguns ambientes PSEE têm sido propostos tanto no âmbito acadêmico quanto no comercial (ex.: WebAPSEE e Process Weaver). Ferramentas MDA também têm propostas (ex.: AndroMDA, OptimalJ) porém focadas apenas nas transformações dos modelos ou geração de código. Até o presente momento da escrita deste projeto, não foi possível achar na literatura uma proposta com objetivo semelhante. Espera-se construir um ambiente onde os desenvolvedores possam especificar o seu modelo de processo, aplicá-los no desenvolvimento de diversas aplicações, gerenciar todo o processo, potencializando assim a produtividade deste e qualidade dos software gerados. Além disso, busca-se intensificar as interações com os grupos de pesquisa já existentes do curso de Bacharelado deSistemas de Informação (BSI) da UNEB e grupos de pesquisa da UFBA..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) .
Integrantes: Adolfo Almeida Duran - Integrante / José Maria Nazar David - Integrante / Josemar Rodirgues de Souza - Integrante / Rita Suzana Pitangueira Maciel - Coordenador / Luciano Porto - Integrante / Aline Maria Santos Andrade - Integrante / marcos simões - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
2009 - 2010
OS QUATRO CANTOS DA SALVADOR DE TOMÉ DE SOUZA
Descrição: Este projeto visa desenvolver, testar, validar e disseminar um software de um ambiente tridimensional interativo que recrie a Cidade de Salvador do século XVI fundada por Tomé de Souza , a primeira cidade brasileira, baseando-se na literatura e nos documentos existentes. Utilizando-se da realidade virtual e das tecnologias digitais, objetiva-se que este software funcione como um objeto interativo de aprendizagem onde professor e aluno poderão ter uma experiência imersiva nos primeiros traços urbanísticos e arquitetônicos de Salvador, possibilitando ? assim - uma melhor compreensão de nosso atual Centro Histórico. A proposta é que a cidade recriada seja um espaço virtual aberto, minimamente restritivo e estimulante à livre navegação dos usuários. Um espaço a ser abordado de formas múltiplas por professores e alunos tal como o labirinto sem fio de Ariadne. Queremos interatores que "se percam" no labirinto e que desejem não sair dele. Trata-se da virtualização da Salvador histórica como um "jardim de veredas que se bifurcam" (J. L. Borges, 1998), metáfora excessivamente usada pelos teóricos do ciberespaço, mas ainda bastante efetiva para descrever uma cidade colonial portuguesa..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (6) .
Integrantes: Adolfo Almeida Duran - Coordenador / Marcelo Oliveira - Integrante / Rosara Lopes - Integrante / Victor Cayres - Integrante / Marilene Macedo - Integrante / Elderlan Souza - Integrante / João Costa - Integrante / Jandson Nunes - Integrante / Dilton Araújo - Integrante / Teresinha Fróes Burnham - Integrante / Arivaldo Amorim - Integrante.Financiador(es): Fundação Cultural do Estado da Bahia - Auxílio financeiro.
2008 - 2010
Kirimurê
Descrição: "E no começo tudo era Kirimurê, grande mar interior dos Tupinambá" (ARAUJO, 2000). Kirimurê significa 'Baía de Todos os Santos' em Tupi. Durante a colonização, a região gradativamente passa de Kirimurê à Baía de Todos os Santos, em uma transição marcada por violência e grande intercâmbio cultural. Certamente, este momento histórico é muito relevante para a identidade brasileira, que, em particular naquele momento, começava a se delinear. Dada a importância desta região, ora Kirimurê, ora Baía de Todos os Santos, nesta época da História do Brasil, se propõe a criação de um objeto interativo de aprendizagem que, utilizando Realidade Virtual e Info-Educação, trate esta temática em seus detalhes históricos e sociais. Com isto, o projeto visa a suprir o hiato, em termos de ferramentas educacionais, que existe em torno deste momento histórico - tão importante, em particular, para nosso estado..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (1) .
Integrantes: Adolfo Almeida Duran - Integrante / Marcelo Oliveira - Integrante / Rosara Lopes - Integrante / Marise Sanches - Integrante / Victor Cayres - Integrante / Marilene Macedo - Integrante / Elderlan Souza - Integrante / João Costa - Integrante / Jandson Nunes - Integrante / Dilton Araújo - Integrante / Teresinha Fróes Burnham - Coordenador / Suelem Nunes - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
Número de produções C, T & A: 5


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.


Idiomas


Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2009
Terceiro Lugar na Classificação Geral do Workshop de Iniciação Científica e Graduação da IX Escola Regional de Computação Bahia-Alagoas-Sergipe, SBC - Sociedade Brasileira de Computação.
2007
Melhor Ferramenta, V Workshop de Trabalhos de Iniciação Científica da VII Erbase.


Produções



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

1.
Victor Cayres2016Victor Cayres ; Duran, Adolfo . World of Warcraft dramaturgical approach: a drama that plays with its own limits. Kinephanos - Journal of media studies and popular culture, v. 01, p. 153-170, 2016.

2.
Santos, David Moises Barreto dos2012 Santos, David Moises Barreto dos ; DURAN, Adolfo Almeida ; BURNHAM, TERESINHA FROES . Processos de construção do conheci-mento em sala de aula mediados pela convergência tecnológica: reflexões deste cenário emergente. Revista Brasileira de Informática na Educação, v. 20, p. 100-115, 2012.

3.
Barreto, Luciano2011Barreto, 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.

4.
Duran, Adolfo2009Duran, Adolfo; CAVALCANTI, Ana ; SAMPAIO, Augusto . An algebraic approach to the design of compilers for object-oriented languages. Formal Aspects of Computing, p. 1-46, 2009.

Trabalhos completos publicados em anais de congressos
1.
BRITO JR, JAILSON A. DE ; Duran, Adolfo ; SANTOS, V. V. . Towards a framework for gamification design on crowdsourcing systems: The G.A.M.E. Approach. In: ITNG 2015 - 12th The International Conference on Information Technology, 2015, Las Vegas. Proceedings of 12th The International Conference on Information Technology. Los Alamitos: THE COMPUTER SOCIETY-CPS, 2015.

2.
Souza, Adriana ; Duran, Adolfo ; SANTOS, V. V. . Uma Ontologia de Domínio para a Metodologia de Aprendizagem Baseada em Problemas. In: XXV Simpósio Brasileiro de Informática em Educação, 2014, Dourados-MS. Anais do XXV Simpósio Brasileiro de Informática na Educação- SBIE 2014, 2014. p. 1253-1261.

3.
Souza, Adriana ; Duran, Adolfo ; SANTOS, V. V. . Um Estudo de Mapeamento Sistemático sobre Ontologias para a Metodologia de Aprendizagem Baseada em Problemas. In: XXV Simpósio Brasileiro de Informática em Educação, 2014, Dourados-MS. Anais do XXV Simpósio Brasileiro de Informática em Educação, 2014. p. 1103-1112.

4.
David Moises ; Duran, Adolfo ; Teresinha Fróes . Uso de dispositivos móveis em sala de aula: uma análise qualitativa de um recorte do ensino superior baiano. In: 7th Euro American Conference on Telematics and Information Systems - EATIS 2014, 2014, Valparaíso. Proceedings of the 7th Euro American Conference on Telematics and Information Systems, 2014.

5.
MASCARENHAS JUNIOR, M. M. ; MARTINS, M. A. M. ; BRITO JR, JAILSON A. DE ; BULCAO, L. ; SANTOS, V. V. ; Duran, Adolfo . Um estudo de caso com análise comparativa entre plataformas para aplicações móveis aberta e proprietária: Android e iOS. In: ERBASE 2013 - XIII Escola Regional de Computação Bahia Alagoas Sergipe, 2013, 2013, Itabaiana - SE. Anais da ERBASE 2013 - XIII Escola Regional de Computação Bahia Alagoas Sergipe, 2013.

6.
Santos, David Moises Barreto dos ; Duran, Adolfo ; Teresinha Fróes . O uso de dispositivos móveis durante a aula: análise de um recorte da realidade de universidades públicas do Brasil. In: II Congresso Internacional TIC e Educação, 2012, 2012, Lisboa. Anais do II Congresso Internacional TIC e Educação, 2012. Lisboa, 2012. p. 3537-3558.

7.
Santos, David Moises Barreto dos ; DURAN, Adolfo Almeida ; Teresinha Fróes . Dispositivos móveis em sala de aula: uma revisão bibliográfica.. In: II Congresso Internacional TIC e Educação, 2012, Lisboa. Anais do II Congresso Internacional TIC e Educação. Lisboa, 2012. p. 3222-3233.

8.
SANTOS, V. V. ; FIALHO, A. ; MARTINEZ, V. ; Duran, Adolfo . Um Estudo Exploratório sobre o Uso de Carona Colaborativa com Gamificação como Suporte ao Transporte Público Urbano. In: IX Simpósio Brasileiro de Sistemas Colaborativos, 2012, São Paulo. Anais do IX Simpósio Brasileiro de Sistemas Colaborativos, 2012.

9.
Victor Cayres ; Duran, Adolfo . Videogames desenvolvidos para consoles: produtos de entretenimento digital que descendem do drama moderno. In: VI Simpósio Nacional da Associação Brasileira de Pequisadores em Cibercultura (ABCIBER), 2012, Novo Hamburgo. VI Simpósio Nacional da ABCiber: Entretenimento Digital Anais 2012, 2012.

10.
Santos, David Moises Barreto dos ; DURAN, Adolfo Almeida ; Teresinha Fróes . Efeitos da convergência tecnológica nos espaços geográficos contemporâneos.. In: Colóquio Milton Santos, 2011, Salvador. Anais do Colóquio Milton Santos. Salvador, 2011.

11.
CARVALHO, J. E. S. ; DURAN, Adolfo Almeida ; VENTURA, E. . Arquitetura Orientada a Serviços em Sistemas Legados. In: IV Workshop de TIC das IFES, 2010, Rio de Janeiro. IV Workshop de TIC das IFES, 2010.

12.
BARRETO, L. ; ANDRADE, Aline ; DURAN, Adolfo Almeida ; LIMA, C. ; LIMA, A. . Especificação Abstrata do Núcleo de um Sistema Operacional e sua formalização na linguagem Z. In: WSO'2010 - Workshop de Sistemas Operacionais, 2010, Belo Horizonte. Anais do WSO'2010 - Workshop de Sistemas Operacionais, 2010.

13.
Nilo Barboza ; Rhobert Araujo ; DURAN, Adolfo Almeida ; David Moises . ABBEL Uma Proposta de um Ambiente Virtual de Aprendizagem para o Sistema Brasileiro de Televisão Digital. In: VI Conferência Internacional de TIC na Educação, 2009, Braga. Actas da VI Conferência Internacional de TIC na Educação. Braga: Universidade do Minho, 2009.

14.
Marcelo Oliveira ; Rosara Lopes ; Marise Sanches ; Victor Cayres ; Marilene Macedo ; Elderlan Souza ; João Costa ; Jandson Nunes ; Dilton Araújo ; Teresinha Fróes ; DURAN, Adolfo Almeida . Kirimurê: Aspectos do Desenvolvimento de um Jogo Eletrônico Histórico-Pedagógico. In: VI Conferência Internacional de TIC na Educação, 2009, Braga. Actas da VI Conferência Internacional de TIC na Educação. Braga: Universidade do Minho, 2009.

15.
Victor Cayres ; DURAN, Adolfo Almeida ; BORGES, P. A. B. ; Suelem Nunes ; Jandson Nunes . Miúda e o Guarda-Chuva:A Metáfora em Jogo. In: VI Conferência Internacional de TIC na Educação, 2009, Braga. Actas da VI Conferência Internacional de TIC na Educação. Braga: Universidade do Minho, 2009.

16.
DIAS, D. ; SILVA, R. ; FREITAS, L. ; DURAN, Adolfo Almeida . Mecanizando o componente de navegação do IBM CICS: um experimento do Grande Desafio. In: IX Escola Regional de Computação Bahia-Alagoas-Sergipe, 2009, Ilhéus. Anais da IX Escola Regional de Computação Bahia-Alagoas-Sergipe. Ilhéus: Universidade federal de Santa Cruz, 2009.

17.
Victor Cayres ; DURAN, Adolfo Almeida . Sob as lentes do drama: Fundamentação do gênero dramático para o estudo dos videogames. In: SBGames, 2009, Rio de Janeiro. VIII Simpósio Brasileiro de Jogos e Entreterimento Digital. Rio de Janeiro, 2009.

18.
Kristian Pasini ; PEIXOTO, R. ; Maciel, R. ; DURAN, Adolfo Almeida . Uma solução para apoiar um processo de desenvolvimento dirigido a modelos usando openArchitectureWare. In: WSL 2008 - IX WORKSHOP DE SOFTWARE LIVRE, 2008, Porto Alegre. Anais do IX WORKSHOP DE SOFTWARE LIVRE - WSL 2008, 2008.

19.
DURAN, Adolfo Almeida; SAMPAIO, Augusto ; CAVALCANTI, Ana . An Algebraic Approach to the Design of Compilers for Object-Oriented Language. In: Concurso de Teses e Dissertações do XXVI Congresso da Solciedade Brasileira de Computação, 2006, Campo Grande-MS. Anais do XXVI Congresso da Sociedade Brasileira de Computação - Tecnologia da Informação e Desenvolvimento Regional, 2006. v. CTD. p. 9-16.

20.
DURAN, Adolfo Almeida; CAVALCANTI, Ana ; SAMPAIO, Augusto . A Refinement Strategy for the Compilation of Classes, Inheritance, and Dynamic Binding. In: FM 2003 - 12th International FME Symposium, 2003, Pisa. Proceedings of FM 2003 - 12th International FME Symposium, 2003.

21.
DURAN, Adolfo Almeida; SAMPAIO, Augusto ; CAVALCANTI, Ana . Refinement Algebra for Formal Bytecode Generation. In: ICFEM 2002- 4th International Conference on Formal Engineering Methods, 2002, Shangai, 2002.

22.
DURAN, Adolfo Almeida; SAMPAIO, Augusto ; CAVALCANTI, Ana . Formal Bytecode Generation for ROOL Virtual Machine. In: Workshop de Métodos Formais - WMF, 2001, Rio de Janeiro. IV WorkShop de Métodos Formais, 2001.

Resumos expandidos publicados em anais de congressos
1.
Daniel Soares Santos ; Brauner R. N. Oliveira ; Duran, Adolfo ; Elisa Yumi Nakagawa . Reporting an Experience on the Establishment of a Quality Model for Systems-of-Systems. In: SEKE 2015 - International Conference on Software Engineering & Knowledge Engineering, 2015, Pittsburgh. Proceedings of SEKE 2015 - International Conference on Software Engineering & Knowledge Engineering. Pittsburgh, 2015.

2.
Santos, David Moises Barreto dos ; Duran, Adolfo ; Teresinha Fróes . After all, what is technological convergence?. In: IADIS International e-Society, 2011, Ávila. Anais do IADIS e-Society, 2011.

3.
Marcelo Oliveira ; DURAN, Adolfo Almeida ; Rosara Lopes ; Elderlan Souza ; Marise Sanches ; Dilton Araújo ; Jandson Nunes ; João Costa ; Marilene Macedo ; Teresinha Fróes ; Victor Cayres . Kirimurê: Um Jogo Eletrônico no Universo do Brasil Colônia. In: VI Conferência Internacional de TIC na Educação, 2009, Braga. Actas da VI Conferência Internacional de TIC na Educação. Braga: Universidade do Minho, 2009.

4.
Victor Cayres ; DURAN, Adolfo Almeida . Kirimurê: A Construção do Discurso em um Mar de Dramaturgia, Interatividade e Ludicidade. In: VI Conferencia Internacional de TIC na Educacao, 2009, Braga. Actas da VI Conferencia Internacional de TIC na Educacao. Braga: Universidade do Minho, 2009.

5.
SANGIORGI, Ugo Braga ; DURAN, Adolfo Almeida . RoxGT - Uma Ferramenta para a Construção de Algoritmos para Análise de Grafos. In: V Workshop de Trabalhos de Iniciação Ciêntífica e Graduação - VII ERBASE, 2007, Vitória da Conquista. V Workshop de Trabalhos de Iniciação Científica e Graduação da VII ERBASE - Escola Regional de Computação Bahia-Alagoas-Sergipe, 2007.

Resumos publicados em anais de congressos
1.
David Moises ; Teresinha Fróes ; DURAN, Adolfo Almeida . Análise fenomenológica da convergência tecnológica no cotidiano: primeiras reflexões. In: IV Colóquio Internacional Saberes, Práticas, 2010, Salvador. Anais do IV Colóquio Internacional Saberes, Práticas, 2010.

2.
DURAN, Adolfo Almeida; RICCIO, N. C. R. ; Simone Branco ; José Maria N. David ; Artur Kronbauer . Introdução à Programação de Computadores a Distância: uma experiência com os Infocentros de Salvador. In: WIE - XIII Workshop sobre Informática na Escola da XXVII SBC, 2007, Rio de Janeiro. WIE - XIII Workshop sobre Informática na Escola da XXVII SBC, 2007.

3.
DURAN, Adolfo Almeida; QUEIROZ, Ruy de . Games for Resource Logics. In: 10th International Congress of Logic, Metodology and Philosophy of Science, 1995, Florence. Proceedings of 10th International Congress of Logic, Metodology and Philosophy of Science, 1995.

Apresentações de Trabalho
1.
Victor Cayres ; DURAN, Adolfo Almeida . Kirimurê: A Construção do Discurso em um Mar de Dramaturgia, Interatividade e Ludicidade. 2009. (Apresentação de Trabalho/Congresso).

2.
Marcelo Oliveira ; Rosara Lopes ; Marise Sanches ; Victor Cayres ; Marilene Macedo ; Elderlan Souza ; João Costa ; Jandson Nunes ; Dilton Araújo ; Teresinha Fróes ; DURAN, Adolfo Almeida . Kirimurê: Aspectos do Desenvolvimento de um Jogo Eletrônico Histórico-Pedagógico. 2009. (Apresentação de Trabalho/Congresso).

3.
Marcelo Oliveira ; DURAN, Adolfo Almeida ; Rosara Lopes ; Elderlan Souza ; Marise Sanches ; Dilton Araújo ; Jandson Nunes ; João Costa ; Marilene Macedo ; Teresinha Fróes ; Victor Cayres . Kirimurê: Um Jogo Eletrônico no Universo do Brasil Colônia. 2009. (Apresentação de Trabalho/Congresso).

4.
Victor Cayres ; DURAN, Adolfo Almeida ; BORGES, P. A. B. ; Suelem Nunes ; Jandson Nunes . Miúda e o Guarda-Chuva:A Metáfora em Jogo. 2009. (Apresentação de Trabalho/Congresso).

5.
DURAN, Adolfo Almeida; SAMPAIO, Augusto ; CAVALCANTI, Ana . An Algebraic Approach to the Design of Compilers for Object-Oriented Language. 2006. (Apresentação de Trabalho/Congresso).

6.
DURAN, Adolfo Almeida; CAVALCANTI, Ana ; SAMPAIO, Augusto . A Refinement Strategy for the Compilation of Classes, Inheritance, and Dynamic Binding. 2003. (Apresentação de Trabalho/Simpósio).

7.
DURAN, Adolfo Almeida; SAMPAIO, Augusto ; CAVALCANTI, Ana . Formal Bytecode Generation for ROOL Virtual Machine. 2001. (Apresentação de Trabalho/Simpósio).


Produção técnica
Programas de computador sem registro
1.
SANGIORGI, Ugo Braga ; DURAN, Adolfo Almeida . ROXGT - Uma Ferramenta para construção de algoritmos para análise de grafos. 2007.


Demais tipos de produção técnica
1.
Duran, Adolfo. Simpósio Brasileiro de Sistemas de Informação. 2013. (Comitê de Programa).

2.
Duran, Adolfo. SBGAMES -Simpósio Brasileiro de Jogos e Entretenimento Digital. 2012. (Comitê de Programa).

3.
Duran, Adolfo. WTDSoft 2012 - Workshop de Teses e Dissertações do CBSOFT. 2012. (Comitê de Programa).

4.
Duran, Adolfo. SBGAMES -Simpósio Brasileiro de Jogos e Entretenimento Digital. 2011. (Comitê de Programa).

5.
MACHADO, P. ; ANDRADE, Aline ; DURAN, Adolfo Almeida . SBMF 2008 - Brazilian Symposium on Formal Methods. 2008. (Editoração/Anais).

6.
DURAN, Adolfo Almeida; José Maria N. David ; Artur Kronbauer ; RICCIO, N. C. R. ; Simone Branco . Nacente Digital - Infocentros para Formação de Pessoal em tecnologia de Informação. 2007. (Desenvolvimento de material didático ou instrucional - Curso de Programação Orientada a Objetos).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SALVADOR, L. N.; Ecivaldo Matos; David Moises; Duran, Adolfo. Participação em banca de Marlécia Ferreira Sanders. Avaliação da Qualidade de Problema PBL: Experimento e Sistematização Através de uma Ontologia de Domínio. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

2.
Maciel, R.; Duran, Adolfo; Glauco Carneiro. Participação em banca de Patrícia Melo Sales. Integrando práticas do desenvolvimento dirigido a modelo ao Scrum. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

3.
Ecivaldo Matos; Duran, Adolfo; Daltro Nunes. Participação em banca de Ícaro Andrade Souza. Procedimentos didáticos em Computação e sua relação com as características psicológicas dos estudantes: uma investigação no ensino de Teoria da Computação. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

4.
Duran, Adolfo; OLIVEIRA, M. V. M.; MUSICANTE, M. A.. Participação em banca de Samuel Lincoln Magalhães Barrocas. JCircus 2.0: Uma Extensão da Ferramenta de Tradução de Circus para Java. 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

5.
José Maria N. David; DURAN, Adolfo Almeida; SALVADOR, L. N.. Participação em banca de Risiberg Ferreira Teixeira. Um Serviço para Apoiar a Autonomia e a Colaboração em um Ambiente Virtual de Aprendizagem. 2010. Dissertação (Mestrado em Mestrado em Sistemas e Computação) - Universidade Salvador.

Qualificações de Doutorado
1.
SANTANNA, C.; Duran, Adolfo; ALVES, L. R. G.; LEAO, R. M.. Participação em banca de Victor de Morais Cayres. Um Manual a Menos: Criação Dramatúrgica para Videogames. 2012. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Artes Cênicas) - Universidade Federal da Bahia.

Trabalhos de conclusão de curso de graduação
1.
Claro, Daniela; Duran, Adolfo. Participação em banca de Miqueias Gonçalves de Oliveira.Data Warehousing como instrumento de apoio à operação da Polícia Militar da Bahia. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

2.
Duran, Adolfo; SANTOS, V. V.; Barreto, Luciano. Participação em banca de Paulo César de Alencar Gonçalves Filho.Um Motor para Interface Homem-Máquina Baseada em Interação com Avatar. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

3.
Duran, Adolfo; SALVADOR, L. N.. Participação em banca de Adnilson Costa garrido Junior.Estudo Comparativo entre Análise de Pontos de Função e Pontos. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

4.
Santos, D. A.; DURAN, Adolfo Almeida; SALVADOR, L. N.. Participação em banca de Karina Yukie Nascimento Kataoka.OntoEstatUFBA: Uma Ontologia Sob o Domínio do Estatuto da Universidade Federal da Bahia. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

5.
Santos, D. A.; Duran, Adolfo; SALVADOR, L. N.. Participação em banca de João Teixeira de Jesus.Evolução do Sistema Semântico para Orientação Acadêmica (SOA) para Adequação ao quarto ciclo da OntoComp. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

6.
SANTOS, V. V.; DURAN, Adolfo Almeida. Participação em banca de Marcondes Pires Lessa.Uma Solução de Apoio à Análise Gerencial da Produção Científica da UFBA Usando a Suíte Bussiness Intelligence Pentaho. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

7.
Santos, David Moises Barreto dos; DURAN, Adolfo Almeida. Participação em banca de Larissa Rocha Soares.Uma Arquitetura Orientada a Serviços para Mapas Conceituais. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Estadual de Feira de Santana.

8.
SANTOS, V. V.; Duran, Adolfo; OLIVEIRA, L. R.. Participação em banca de Jandson Santos Nunes.Construindo um WebGame 3D Personalizável. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

9.
Marcelo Oliveira; Teresinha Fróes; Duran, Adolfo. Participação em banca de Marilene da Cruz Macedo.Kirimurê: o desafio do processo de criação/formação de um objeto de aprendizagem. 2009. Trabalho de Conclusão de Curso (Graduação em Pedagogia) - Universidade Federal da Bahia.

10.
ANDRADE, S. S.; Duran, Adolfo; Chavez, C.. Participação em banca de Jailson Aldérico de Brito Júnior.Novo AEON: Um Ambiente de Programação para Visão Computacional. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

11.
DURAN, Adolfo Almeida; José Maria N. David; Tricia Santos; SOUZA, J. R.. Participação em banca de Amanda Almeida da Silva.ECOLDER: Um Editor Colaborativo de Diagramas de Entidades e Relacionamentos Integrado a um Ambiente Virtual de Aprendizagem. 2007. Trabalho de Conclusão de Curso (Graduação em Análise de Sistemas) - Universidade do Estado da Bahia.

12.
José Maria N. David; DURAN, Adolfo Almeida; Fabíola Greve; ARAUJO, João Gualberto Rizzo. Participação em banca de William Lucas Favoreto e Anderson Marinho Santos.SOAZeus: Uma Infra-Estrutura Orientada a Serviços para Apoiar o Dersenvolvimento de Aplicações Colaborativas Móveis. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Faculdade Ruy Barbosa.

13.
DURAN, Adolfo Almeida; Neto, M; GORENDER, S.. Participação em banca de André Amazonas.UM MODELO DE INTEGRAÇÃO PARA MOTORES DE INDEXAÇÃO DE DADOS. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

14.
DURAN, Adolfo Almeida; Chavez, C.. Participação em banca de Humberto Luiz Campos Bandeira.iiM - Indigente Interface Module. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

15.
DURAN, Adolfo Almeida; Chavez, C.; Porto, L.. Participação em banca de Rodrigo Rocha Gomes e Souza.REAJ: Uma Ferramenta para Engenharia Reversa de Código AspectJ. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.



Participação em bancas de comissões julgadoras
Outras participações
1.
DURAN, Adolfo Almeida. Membro da Câmara de Assessoramento e Avaliação Técnico-Científica da FAPESB. 2008. Fundação de Amparo à Pesquisa do Estado da Bahia.

2.
DURAN, Adolfo Almeida; GORENDER, S.; SOUZA, J. R.. Membro da comissão Julgadora para Efeito de Concessão de Incentivo à Produção Científica, Tecnica ou Artística. 2008. Universidade do Estado da Bahia.

3.
DURAN, Adolfo Almeida. Consultor Ad Hoc. 2007. Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
SBGames 2016 - XV Simpósio Brasileiro de Jogos e Entretenimento Digital.Avaliador da trilha de computação. 2016. (Simpósio).

2.
SBMF 2009 - Brazilian Symposium on Formal Methods 2009. 2009. (Simpósio).

3.
10th Brazilian Symposium on Formal Methods (SBMF). 2007. (Simpósio).

4.
1st International School on Methodologies and Tools for Human-Computer Interaction. 2007. (Seminário).

5.
Desenvolvimentos de Jogos no Nordeste.Jogos Digitais: Perspectivas de Desenvolvimento no Estado da Bahia. 2007. (Oficina).

6.
Second Pernambuco School of Software Engineering - Testing. 2007. (Oficina).

7.
Anais do XXVI Congresso da Sociedade Brasileira de Computação - Tecnologia da Informação e Desenvolvimento Regional.An Algebraic Approach to the Design of Compiler for Object-Oriented Languages. 2006. (Outra).

8.
Programa de Aperfeiçoamento Docente. 2006. (Oficina).

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

10.
FME 2003: Formal Methods.A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. 2003. (Simpósio).

11.
WMF 2001 IV- Workshop de Métodos Formais.Formal Bytecode Generation for ROOL Virtual Machine. 2001. (Seminário).


Organização de eventos, congressos, exposições e feiras
1.
Fabíola Greve ; Allan Freitas ; Duran, Adolfo ; Flávia Maristela Nascimento ; Ítalo Valcy ; Renato Novais ; Sandro Andrade ; Vinícius Petrucci ; Ricardo Rios ; REALE, R. ; BARRETO, M. E. ; Maycon Leone ; Marco Antônio Ramos ; Marcos Camada ; Manoel Neto ; Gustavo Bittencourt ; Jauberth Abijaude ; Cátia Khouri . XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2016. (Congresso).

2.
Elisa Yumi Nakagawa ; Duran, Adolfo . SCROWD 2015 - I Workshop sobre Sistemas de Crowdsourcing. 2015. (Congresso).

3.
FANTINATO, M. ; Duran, Adolfo . Workshop de Teses e Dissertações. 2011. (Congresso).

4.
ANDRADE, Aline ; DURAN, Adolfo Almeida . Simpósio Brasileiro de Métodos Formais. 2008. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Jailson Alderico de Brito Junior. Ramifying user interaction to increase collaboration: The G.A.M.E conceptual framework. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . Coorientador: Adolfo Almeida Duran.

2.
Adriana Silva Souza. PBLOntology: Uma Ontologia de Domínio com uma Abordagem Contextual para Aprendizagem Baseada em Problemas. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . Orientador: Adolfo Almeida Duran.

3.
VICTOR DE MORAIS CAYRES. JOGANDO COM O DRAMA: ANÁLISE DAS POSSIBILIDADES DRAMATÚRGICAS EM VIDEO GAME DIANTE DO DESENVOLVIMENTO TECNOLÓGICO DOS CONSOLES. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Artes Cênicas) - Universidade Federal da Bahia, . Coorientador: Adolfo Almeida Duran.

Tese de doutorado
1.
VICTOR DE MORAIS CAYRES. Dramaturgia da Expansão: Análise da estrutura Dramatúrgica de World of Warcraft. 2015. Tese (Doutorado em Programa de Pós-Graduação em Artes Cênica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Adolfo Almeida Duran.

2.
David Moisés Barreto dos Santos. A Convergência Tecnológica Líquida no Contexto da Sala de Aula: Um Recorte do Ensino Superior Público Baiano Sob a Ótica Discente. 2012. Tese (Doutorado em Difusão do Conhecimento) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Coorientador: Adolfo Almeida Duran.

Trabalho de conclusão de curso de graduação
1.
Juliana do Espírito Santo Carvalho. Arquitetura Orientada A Serviços em Sistemas Legados. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Adolfo Almeida Duran.

2.
JOSELITO RIBEIRO DE SOUZA. SGAMI: UM PADRÃO DE INTEGRAÇÃO PARA PLATAFORMAS DE JOGOS ELETRÔNICOS. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Faculdade Ruy Barbosa. Orientador: Adolfo Almeida Duran.

3.
Humberto Luiz Campos Bandeira. iiM - Indigente Interface Module. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Adolfo Almeida Duran.

4.
Ugo Braga Sangiorgi. Desenvolvimento de um FRAMEWORK aberto Orientado ao Ensino, modelagem e análise de Grafos. 2006. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Faculdade Ruy Barbosa. Orientador: Adolfo Almeida Duran.

Iniciação científica
1.
Robson dos Santos e Silva. Verificação Formal de Módulos do Simple Kernel. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Adolfo Almeida Duran.

2.
Bruno Cupertino de Jesus. Comportamento Adaptativo em Sociedade de Agentes NPC para o Projeto de um Motor de Jogos. 2009. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Adolfo Almeida Duran.

3.
Cíntia Mercês Souza. Uso de Tecnicas de Inteligencia Artificial na Concepcao de Personagens Nao-Jogadores para o Projeto de um Motor de Jogos. 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: Adolfo Almeida Duran.

4.
Ademilson Santos Lima. Especificação e Verificação Formal de Kernels Utilizando Z/Eves: um experimento do Grande Desafio em Verificação de Software. 2009. Iniciação Científica - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Adolfo Almeida Duran.

5.
Diego Machado Dias. Flash-Posix:FLASH-FS: DESENVOLVIMENTO FORMAL DE COMPONENTES PARA UM SISTEMA DE ARQUIVOS VERIFICADO VOLTADO PARA MEMÓRIAS FLASH. 2008. 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: Adolfo Almeida Duran.

6.
Antonio Lucas Neres de Oliveira Barros. Mecanização de uma Abordagem Algébrica para uma Linguagem Imperativa com Procedimentos e passagem de Parâmetros, Tendo a Java Virtual Machine Como Destino. 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: Adolfo Almeida Duran.

7.
Mateus Melo de Almeida. Criação de Protótipos de Compiladores Corretos via Sistemas de Reescrita. 2006. 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: Adolfo Almeida Duran.

8.
Antonio Lucas de Oliveira Barros. Utilizando Sistemas de Reescrita para Mecanização de uma Abordagem Algébrica para uma Linguagem Imperativa com Procedimentos e Passagem de parâmetros.. 2006. 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: Adolfo Almeida Duran.

9.
Daniel Coelho Cunha. Mecanização de uma Abordagem Algébrica para Construção de protótipo de um Compilador Corretos para uma Linguagem Orientada a Objeto (ROOL).. 2006. 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: Adolfo Almeida Duran.



Inovação



Projeto de desenvolvimento tecnológico


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



Organização de eventos, congressos, exposições e feiras
1.
FANTINATO, M. ; Duran, Adolfo . Workshop de Teses e Dissertações. 2011. (Congresso).

2.
Fabíola Greve ; Allan Freitas ; Duran, Adolfo ; Flávia Maristela Nascimento ; Ítalo Valcy ; Renato Novais ; Sandro Andrade ; Vinícius Petrucci ; Ricardo Rios ; REALE, R. ; BARRETO, M. E. ; Maycon Leone ; Marco Antônio Ramos ; Marcos Camada ; Manoel Neto ; Gustavo Bittencourt ; Jauberth Abijaude ; Cátia Khouri . XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2016. (Congresso).



Outras informações relevantes


Membro da Câmara de Assessoramento e Avaliação Científico-Tecnológica da Fundação de Amparo à Pesquisa do Estado da Bahia (FAPESB), na área de Ciências da Computação.

Consultor AD HOC da Fundação de Apoio ao Desenvolvimento do Ensino, Ciência e Tecnologia do estado de Mato Grosso do Sul - FUNDECT



Página gerada pelo Sistema Currículo Lattes em 11/12/2018 às 17:01:29