Vanderson Hafemann Fragal

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• Hafemann Fragal, Vanderson ; Simao, Adenilso ; Mousavi, Mohammad Reza . Validated Test Models for Software Product Lines: Featured Finite State Machines. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 210-227.

• FRAGAL, V. H. ; SIMAO, A. S. ; MOUSAVI, M. R. ; TURKER, U. C. . Extending HSI Test Generation Method for Software Product Lines. The Computer Journal, https://doi.org/10.1093/comjnl, p. 1 - 20, 04 maio 2018.

• FRAGAL, V. H. ; FANTINATO, M. M. ; GIMENES, I. M. S. ; MARTIMIANO, L. A. F. ; TOLEDO, M. B. . O Estabelecimento de Contratos Eletrônicos com o Ambiente FeatureContract. Revista Eletrônica de Iniciação Científica, p. 1 - 15, 01 mar. 2011.

• FRAGAL, V. H. ; SIMAO, A. S. ; MOUSAVI, M. R. . Hierarchical Featured State Machines. Science of Computer Programming, p. 1 - 33.

• FRAGAL, VANDERSON HAFEMANN ; Simao, Adenilso ; ENDO, ANDRE TAKESHI ; Mousavi, Mohammad Reza . Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017, Tokyo. 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017. v. 10. p. 329-336.

• Silva, R. F ; Hafemann Fragal, Vanderson ; Oliveira Júnior, E. A. ; GIMENES, I. M. S. ; Oquendo, F . SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines. In: 15th International Conference on Enterprise Information Systems, 2013, Angers. Proceedings of the 15th International Conference on Enterprise Information Systems, 2013. v. 1. p. 257-264.

• FRAGAL, V. H. ; Silva, R. F ; GIMENES, I. M. S. ; Edson Oliveira Junior . Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach. In: 15th International Conference on Enterprise Information Systems, 2013, Angers. Proceedings of the 15th International Conference on Enterprise Information Systems. v. 2. p. 94-101.

• FRAGAL, V. H. ; Edson Oliveira Junior ; GIMENES, I. M. S. . Mapping Software Product Line Features to Unmanned Aerial Vehicle Models. In: I Brazilian Conference on Critical Embedded Systems, 2011, São Carlos - SP. I Brazilian Conference on Critical Embedded Systems, 2011. v. 1. p. 49-54.

Outras produções

Projetos de pesquisa

• 2015 - 2016

  Reuse-based Incremental Test Generation Strategy for Software Product Lines, Descrição: Projeto de pesquisa desenvolvido durante o sanduíche. O objetivo é desenvolver um modelo formal para linha de produto de software que permita a geracao de testes para critérios de teste mais eficientes voltado a sistemas críticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Vanderson Hafemann Fragal - Integrante / Mohammad Reza Mousavi - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2011 - 2013

  Técnicas de engenharia de software para desenvolvimento de sistemas embarcados críticos, Descrição: Desenvolver técnicas de modelagem e geração de código para sistemas embarcados críticos considerando os requisitos não-funcionais para este tipo de sistema no contexto do projeto INCT-SEC.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Vanderson Hafemann Fragal - Integrante / Itana Maria de Souza Gimenes - Coordenador.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

• 2009 - 2010

  Estudos Experimentais em Linha de Produto de Software para UAVs, Descrição: Este projeto de iniciação científica está inserido no contexto do projeto de pesquisa Projeto Sistemático de Veículos Autônomos para Monitoramento de Culturas com Comunicação Segura. Seu objetivo é apoiar as atividades de desenvolvimento de uma linha de produto de software para UAVs no que diz respeito à revisão sistemática, elaboração de exemplos e estudos experimentais. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vanderson Hafemann Fragal - Integrante / Itana Maria de Souza Gimenes - Coordenador.Financiador(es): Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos - Bolsa.

• 2008 - 2009

  Uma extensão do Ambiente FeatureContract para apoiar o estabelecimento de contratos eletrônicos, Descrição: Um processo de negócio é um conjunto de atividades relacionadas a um negócio que é realizado em uma seqüência específica com a finalidade de alcançar um objetivo de negócio. As atividades de um processo de negócio podem: ser tanto automatizadas quanto manuais; ser realizadas com ou sem interação humana; e, ser desenvolvidas em cooperação com outras organizações. O dinamismo existente no mercado requer que companhias ajam rapidamente para não perder parcerias ou oportunidades. O uso da Internet e de gerenciadores de processos de negócio são passos tecnológicos importantes para melhorar a cooperação entre as organizações, principalmente por meio do comércio eletrônico entre organizações virtuais disponíveis em mercados eletrônicos. A computação orientada por serviços oferece uma série de facilidades para a integração entre aplicações na Internet por meio do uso de serviços eletrônicos. O cenário atual envolve uma ou mais organizações fornecendo ou consumindo serviços, negociação de contratos eletrônicos (e-contract), acordos sobre qualidade de serviço (QoS) e monitoramento de serviços. Este projeto tem como objetivo desenvolver uma extensão de um Ambiente FeatureContract que visa a apoiar o estabelecimento de contratos eletrônicos. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vanderson Hafemann Fragal - Integrante / Itana Maria de Souza Gimenes - Coordenador / Luciana Andreia Fondazzi Martimiano - Integrante.Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Bolsa.

• 2007 - 2008

  Especificação de contratos eletronicos com WS-Agreement, Descrição: A utilização de serviços Web vem crescendo cada vez mais devido aos recursos disponíveis na Internet. A negociação virtual de serviços eletrônicos através de contratos eletrônicos vem se tornando uma necessidade atualmente. A linguagem WS-Agreement dispõe de métodos para a negociação e monitoramento de contratos eletrônicos. Este projeto teve como objetivo avaliar a utilização da linguagem WS-Agreement para especificação de contratos eletrônicos. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vanderson Hafemann Fragal - Integrante / Itana Maria de Souza Gimenes - Coordenador.Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Bolsa.