Daniel Aguiar da Silva

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• MACHADO, P. D. L. ; SILVA, D. A. ; MOTA, A. . Towards Property Oriented Testing. Electronic Notes in Theoretical Computer Science , v. 184, p. 3-19, 2007.

• SILVA, D. A. ; MACHADO, P. D. L. . Towards Test Purpose Generatiom from CTL Properties for Reactive Systems. Electronic Notes in Theoretical Computer Science , v. 164, p. 29-40, 2006.

• Fernanda Ramires de Andrade ; SILVA, D. A. ; SANTOS, H. P. G. ; NETO, A. B. V. ; RODRIGUES, R. B. ; MATTOS, A. S. ; MOREIRA, C. H. A. ; MONTEIRO, R. S. . Sistema de Gestão de Convênios - SICONV: interoperabilidade via webservices no contexto do MDA. In: Claudia do Socorro Ferreira Mesquista, Nazaré Lopes Bretas. (Org.). Panorama da Interoperabilidade No Brasil. 1ed.Brasília, DF: Ministério do Planejamento, 2010, v. 1, p. 217-226.

• SILVA, D. A. ; MACHADO, P. D. L. . Towards Test Purpose Generation from CTL Properties for Reactive Systems. In: International Workshop on Model Based Testing - Associated with ETAPS, 2006, Viena, Austria. International Workshop on Model Based Testing, 2006.

• SILVA, D. A. ; MACHADO, P. D. L. . Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos. In: Worshop de Teste e Tolerância a Falhas - WTF, 2006, Curitiba - PR. Worshop de Teste e Tolerância a Falhas, 2006.

• MACHADO, P. D. L. ; SILVA, D. A. ; MOTA, A. . Towards Property Oriented Testing. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Anais do Simpósio Brasileiro de Métodos Formais, 2005. p. 2-16.

• SILVA, D. A. ; MACHADO, P. D. L. . Geração de Objetivos de Teste para Sistemas Distribuídos Baseada em Técnicas de Verificação de Modelos. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia. Simpósio Brasileiro de Engenharia de Software, 2005. p. 33-38.

• SILVA, D. A. ; ARAUJO, E. F. ; FIGUEIREDO, J. C. A. ; MACHADO, P. D. L. . Modelagem e Validação do Protocolo WTLS. In: Workshop de Comunicação Sem Fio e Computação Móvel, 2004, Fortaleza. VI Workshop de Comunicação Sem Fio e Computação Móvel, 2004. v. 1. p. 108-116.

• SILVA, D. A. ; ANDRADE, A. M. S. ; ASSIS SILVA, F. M. . Extensão de Promela para Especificação de Falhas em Sistemas Baseados em Agentes Móveis. In: Workshop de Trabalhos de Iniciação Científica e Graduação Bahia/Sergipe, 2004, Feira de Santana/BA. Anais do WITICG-BASE 2004.

• ARAUJO, L. S. O. ; SILVA, D. A. ; SANTOS, M. T. ; CRUZ, F. W. ; FONSECA, M. S. ; BERNARDES, G. L. . Uma Ontologia das Classificações da Despesa do Orçamento Federal. In: Ontobrás/Most, 2012, Recife/PE. 5th Research Seminar of Ontologies in Brazil/7th International Workshop on Metamodels, Ontologies, Semantic Technologies, 2012. p. 273-278.

• SILVA, D. A. ; PINHEIRO, V. J. V. . Ensino de Equações Diferenciais à Distância. In: XX Seminário Estudantil de Pesquisa, 2002, Salvador. Anais do XX Seminário Estudantil de Pesquisa, 2002.

Outras produções

Projetos de pesquisa

• 2003 - 2003

  Extensão de Promela para Especificação de Falhas em Sistemas Baseados em Agentes Móveis, Descrição: Adição de primitivas à linguagem Promela para a representação de falhas na especificação de sistemas baseados em agentes móveis.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Daniel Aguiar da Silva - Integrante / Aline Maria Santos Andrade - Coordenador., Número de produções C, T & A: 1

• 2000 - 2001

  Gerador de Sistemas Prescritos, Descrição: Software gerador de Sistemas de Equações Diferenciais. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Daniel Aguiar da Silva - Integrante / Vilton Jeovan Viana Pinheiro - Coordenador / Josaphat Ricardo Ribeiro Gouveia Junior - Integrante., Financiador(es): Universidade Federal da Bahia - Bolsa., Número de produções C, T & A: 3