FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing

Durán, Amador ; Benavides, David; Segura, Sergio; Trinidad, Pablo; Ruiz-Cortés, Antonio

Tipo: Artículo
Año de Publicación: 2017
Volumen: 16
Número: 4
Páginas: 1049 - 1082
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus1527-11-2021
wos1127-11-2021
Dimensions
PlumX
Altmetric

Año (SCIE): 2017

Factor de Impacto (SCIE): 1.722

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, SOFTWARE ENGINEERINGSCIE36/104Q2T2D4

Año:

2017

CiteScore:

4.800

CategoríaPosiciónCuartilTercilDecil
Modeling and Simulation24/258Q1T1D1
Software87/370Q1T1D3

SJR año:

2017

Factor de Impacto:

0.476

CategoríaPosiciónCuartilTercilDecil
Software113/329Q2T2D4
Modeling and Simulation107/241Q2T2D5
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
European Commission (FEDER)-
Spanish and Andalusian R&D&I program grant COPASP12-TIC-1867
Spanish and Andalusian R&D&I program grant SaaS FirewallIPT-2013-0890-3
Spanish and Andalusian R&D&I program grant TAPASTIN2012-32273
Spanish and Andalusian R&D&I program grant THEOSTIC-5906
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Durán, Amador Universidad de Sevilla (Spain)
2Benavides, DavidUniversidad de Sevilla (Spain)
3Segura, SergioUniversidad de Sevilla (Spain)
4Trinidad, PabloUniversidad de Sevilla (Spain)
5Ruiz-Cortés, AntonioUniversidad de Sevilla (Spain)