Seguir
Vanderson Hafemann Fragal
Vanderson Hafemann Fragal
Ph.D Candidate on Computer Science at University of São Paulo and Halmstad University
E-mail confirmado em icmc.usp.br
Título
Citado por
Citado por
Ano
Validated test models for software product lines: Featured finite state machines
V Hafemann Fragal, A Simao, MR Mousavi
International Workshop on Formal Aspects of Component Software, 210-227, 2016
202016
Extending HSI test generation method for software product lines
VH Fragal, A Simao, MR Mousavi, UC Turker
The Computer Journal 62 (1), 109-129, 2019
182019
Hierarchical featured state machines
VH Fragal, A Simao, MR Mousavi
Science of Computer Programming 171, 67-88, 2019
82019
Reducing the concretization effort in fsm-based testing of software product lines
VH Fragal, A Simao, AT Endo, MR Mousavi
2017 IEEE International Conference on Software Testing, Verification and …, 2017
82017
SyMPLES: A sysml-based approach for developing embedded systems software product lines
R Silva, V Fragal, E Oliveira-Junior, I Gimenes, F Oquendo
15th International Conference on Enterprise Information Systems (ICEIS 2013 …, 2013
72013
Application Engineering for Embedded Systems-Transforming SysML Specification to Simulink within a Product-Line based Approach.
VH Fragal, RF da Silva, IM de Souza Gimenes, EAO Junior
ICEIS (2), 94-101, 2013
62013
Mapping software product line features to unmanned aerial vehicle models
VH Fragal, EAO Junior, IM Gimenes
1st Brazilian Conference on Critical Embedded Systems, 49-54, 2011
42011
Automatic generation of configurable test-suites for software product lines
V Hafemann Fragal
Halmstad University Press, 2018
22018
Engenharia de aplicação para sistemas embarcados: transformando especificações SysML em Simulink
VH Fragal
Universidade Estadual de Maringá, 2013
12013
O estabelecimento de contratos eletrônicos com o ambiente FeatureContract
VH Fragal, MM Fantinato, I Gimenes, L Martimiano, MB Toledo
Revista Eletrônica de Iniciação Científica em Computação 11 (1), 2011
12011
Application Engineering for Embedded Systems
VH Fragal, RF Silva, IMS Gimenes, EAO Júnior
2013
A SysML-based Approach for Developing Embedded Systems Software Product Lines
RF Silva, VH Fragal, EAO Junior, IMS Gimenes, F Oquendo
2013
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–12