Author profile: Benavides Cuevas, David Felipe
Institutional data
Name | Benavides Cuevas, David Felipe |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Catedrático de Universidad |
Request | |
Statistics
-
No. publications
144
-
No. visits
18508
-
No. downloads
36851
Publications |
---|
Presentation
Una comparación colaborativa del rendimiento en proyectos de software libre
(Sistedes, 2024)
En los últimos años, los proyectos de software de código abierto (OSS) se han vuelto cada vez más importantes para muchas ... |
Presentation
Análisis del impacto de las vulnerabilidades en las dependencias de proyectos software basado en Satisfiability Modulo Theories (SMT) [Póster]
(Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Actualmente el software desarrollado adquiere relaciones dependientes con librerías externas, lo que promueve el aumento ... |
Presentation
Benchmarking del rendimiento de proyectos software de c´odigo abierto mediante una herramienta colaborativa
(SISTEDES: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2023)
La creciente popularidad y dependencia de las organizaciones en proyectos de software de código abierto (OSS) hace esencial ... |
Article
A Monte Carlo tree search conceptual framework for feature model analyses
(ElSevier, 2023)
Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0 expose highly variable systems ... |
PhD Thesis
Evidencias empíricas en ingeniería de líneas de productos de software: una aproximación en organizaciones sin conocimientos sobre SPLE
(2022)
La forma en que los productos son elaborados ha cambiado significativamente con el paso del tiempo. De manera particular, ... |
PhD Thesis
Evidencias empíricas en el proceso de enseñanza de la programación. Una aproximación usando ALICE en el contexto universitario
(2022)
Aprender a programar es una de las habilidades fundamentales para los estudiantes relacionados con el área de la informática. ... |
PhD Thesis
Factores para la adopción de soluciones basadas en software libre
(2022)
Hoy en día, el software libre o de código abierto (FLOSS) se está convirtiendo en una opción estratégica para cualquier ... |
Presentation
Variability-aware data migration tool
(ACM: Association for Computing Machinery, 2022)
Relational databases are widely present in the development of soft ware applications. A typical implementation can be seen ... |
Presentation
Advisory: vulnerability analysis in software development project dependencies
(ACM: Association for Computing Machinery, 2022)
ecurity has become a crucial factor in the development of soft ware systems. The number of dependencies in software ... |
Presentation
Variability in Data Visualization: a Software Product Line Approach
(ACM: Association for Computing Machinery, 2022)
Data visualization aims to effectively communicate quantitative information by understanding which techniques and displays ... |
Presentation
FM fact label: a configurable and interactive visualization of feature model characterizations
(ACM: Association for Computing Machinery, 2022)
Recognizing specific characteristics of feature models (FM) can be challenging due to the different nature and domains of ... |
Master's Final Project
Análisis de vulnerabilidades en las dependencias de proyectos de desarrollo software
(2022)
Security has become a crucial factor in the development of software systems. The number of dependencies in software systems ... |
Article
Uniform and scalable sampling of highly configurable systems
(Springer, 2022)
Many analyses on confgurable software systems are intractable when confronted with colossal and highly-constrained ... |
Article |
PhD Thesis
Configuration Analysis for Large Scale Feature Models: Towards Speculative-Based Solutions
(2021)
Los sistemas de alta variabilidad son sistemas de software en los que la gestión de la variabilidad es una actividad ... |
Article
Empirical Evidence of the Usage of Programming Languages in the Educational Process
(IEEE Computer Society, 2021)
Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for ... |
Article
Discovering configuration workflows from existing logs using process mining
(Springer, 2021)
Variability models are used to build configurators, for guiding users through the configuration process to reach the desired ... |
Presentation
A first prototype of a new repository for feature model exchange and knowledge sharing
(Association for Computing Machinery (ACM), 2021)
Feature models are the “de facto” standard for variability modelling and are used in both academia and industry. The MODEVAR ... |
Article
Using Scratch to Improve Learning Programming in College Students: A Positive Experience from a Non-WEIRD Country
(MDPI, 2021)
Teaching computer programming is a real challenge in the State University of Milagro (UNEMI), located in one of the ... |
Article
DirectDebug: Automated Testing and Debugging of Feature Models
(Cornell University, 2021)
Variability models (e.g., feature models) are a common way for the representation of variabilities and commonalities of ... |
Presentation
Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
La mayoría de los sistemas configurables describen un amplio espacio de soluciones que hacen intratable su exploración ... |
Presentation
Monte Carlo Tree Search for Feature Model Analyses: a General Framework for Decision-Making
(Association for Computing Machinery (ACM), 2021)
The colossal solution spaces of most configurable systems make intractable their exhaustive exploration. Accordingly, ... |
Article
DirectDebug: A software package for the automated testing and debugging of feature models
(Elsevier, 2021)
Complex and large-scale feature models can become faulty, i.e., do not represent the expected variability properties of ... |
Presentation
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems
(CEUR Workshop Proceedings (CEUR-WS.org), 2021)
Highly configurable systems expose numerous variation points to be configured by the stakeholders. Deciding which variant to ... |
PhD Thesis
Enhancing the learning of programming using Scratch: a recommender-systems-based approach in non WEIRD communities
(2020)
In today’s world, there is a growing need for professionals with computer skills in general, and programming in particular. ... |
Article
Recommender Systems and Scratch: An integrated approach for enhancing computer programming learning
(IEEE Computer Society, 2020)
Learning computer programming is a challenging process. Among the current approaches for overcoming this challenge, visual ... |
Presentation
Uniform and scalable SAT-sampling for configurable systems
(Association for Computing Machinery (ACM), 2020)
Several relevant analyses on configurable software systems remain intractable because they require examining vast and ... |
Presentation
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
(Springer, 2020)
The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those ... |
Article
Empirical software product line engineering: A systematic literature review
(Elsevier, 2020)
Context: The adoption of Software Product Line Engineering (SPLE) is usually only based on its theoretical benefits instead ... |
Article
Open Source Adoption Factors-A Systematic Literature Review
(IEEE Computer Society, 2020)
Nowadays, Free/Libre/OpenSource Software (FLOSS) is becoming a strategic option for many organizations in the public and ... |
Presentation
A Parallelized Variant of Junker’s QUICKXPLAIN Algorithm
(Springer, 2020)
Conflict detection is used in many scenarios ranging from interactive decision making to the diagnosis of potentially ... |
Presentation
Configuration assisted through conversational agents (chatbots and voicebots)
(Università degli Studi di Padova, 2020)
|
Presentation
Functional Testing of Conflict Detection and Diagnosis Tools in Feature Model Configuration: A Test Suite Design
(Università degli Studi di Padova, 2020)
|
PhD Thesis
On the selection and analysis of software product line implementation components using intelligent techniques
(2019)
En los últimos años y con el creciente avance tecnológico, las empresas ya no se centran exclusivamente en diseñar un ... |
Presentation
Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs
(Association for Computing Machinery (ACM), 2019)
Variability models are used to build configurators. Configurators are programs that guide users through the configuration ... |
Presentation
RESDEC: Online Management Tool for Implementation Components Selection in Software Product Lines Using Recommender Systems
(ACM: Association for Computing Machinery, 2019)
Software product lines (SPL) management is one of the most im portant activities for the software engineer and it represents ... |
Presentation
Variability Management in a Software Product Line Unaware Company: Towards a Real Evaluation
(ACM: Association for Computing Machinery, 2019)
Software Product Lines (SPL) enable systematic reuse within an organization thus, enabling the reduction of costs, efforts, ... |
Article
Modeling Variability in the Video Domain: Language and Experience Report
(Springer, 2019)
In an industrial project, we addressed the challenge of developing a software-based video generator such that consumers ... |
Article
Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress
(IEEE Computer Society, 2019)
In software products line (SPL), there may be features which can be implemented by different components, which means there ... |
Presentation
Towards a New Repository for Feature Model Exchange
(ACM: Association for Computing Machinery, 2019)
Feature models are one of the most important contributions to the field of software product lines, feature oriented software ... |
Presentation
A general approach to Software Product Line testing
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm ... |
Article
Automated analysis of two-layered feature models with feature attributes
(Elsevier, 2019)
The proliferation of features and platforms in variability intensive systems, coupled with substantial technolo-gical ... |
Presentation
Variabilidad en visualización de datos: retos y posibilidades
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Los sistemas de visualización de la información nos permiten visualizar datos usando abstracciones de los mismos, por ... |
Presentation
Accessibility Variability Model: The UTPL MOOC Case Study
(Association for Computing Machinery (ACM), 2019)
Several approaches to define Variability Models (VM) of non-functional requirements or quality attributes have been proposed. ... |
Article
Automated analysis of feature models: Quo vadis?
(Springer, 2018)
Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ... |
Presentation
MOTIV: selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos software
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Las líneas de producto software se usan para gestionar la producción de sistemas software con un alto grado de variabilidad ... |
Presentation
Automated analysis of feature models: current state and practices
(Association for Computing Machinery (ACM), 2018)
Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. ... |
Article
Selección de configuraciones de despliegue usando Sistemas de Recomendación en Android
(Scielo.org, 2018)
Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Gestionar ... |
Article
Anytime diagnosis for reconfiguration
(Springer, 2018)
Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time ... |
Presentation
RESDEC: Un prototipo de herramienta para la selección de configuraciones de despliegue basada en Sistemas de Recomendación
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Los sistemas de alta variabilidad son sistemas que representan cientos de configuraciones distintas. En un contexto ... |
Chapter of Book
Recommending exercises in Scratch: an integrated approach for enhancing the learning of computer programming
(Springer, 2018)
In this chapter we focused on how to improve the learning of computer programming in college students. From the reported ... |
Presentation
Cómo gestionan la variabilidad las empresas que no conocen de líneas de producto software: hacia una evaluación real
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017)
Las líneas de producto software tienen como prioridad alcanzar la reutilización sistemática dentro de una organización ... |
Presentation
Programación con la herramienta SCRATCH +CARAMBA. Una experiencia de aprendizaje significativo
(Latin American and Caribbean Consortium of Engineering Institutions, 2017)
El alto índice de reprobados es un problema generalizado en la enseñanza de la programación en los espacios educativos ... |
Presentation
Exploiting the Enumeration of All Feature Model Configurations
(ACM, 2016)
.Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional ... |
Article |
Presentation
Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
|
Presentation
El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: primeros pasos
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Los modelos de características con atributos representan todos los productos de una línea de productos junto con información ... |
Article
Testing variability-intensive systems using automated analysis: an application to Android
(Springer, 2016)
Software product lines are used to develop a set of software products that, while being different, share a common set of ... |
Article
Traceability Analyses between Features and Assets in Software Product Lines
(MDPI, 2016)
In a Software Product Line (SPL), the central notion of implementability provides the requisite connection between ... |
Presentation
Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Los sistemas de alta variabilidad son sistemas software cuyo comportamiento puede ser personalizado de acuerdo con las ... |
PhD Thesis
Evolution, testing and configuration of variability intensive systems
(2015)
One of the key characteristics of software is its ability to be adapted and configured to different scenarios. Recently, ... |
Article
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ... |
Presentation
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line
(ACM, 2015)
Feature-oriented programming (FOP) and aspect-oriented programming (AOP) focus on to modularize incremental classes behavior ... |
Article
An assessment of search-based techniques for reverse engineering feature models
(Elsevier, 2015)
Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ... |
Presentation
Hacia las pruebas en sistemas de alta variabilidad utilizando opiniones de los usuarios
(HAL-Inria, 2015)
Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Este elevado ... |
Presentation
Exploring the Synergies between Join Point Interfaces and Feature-Oriented Programming
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015)
Feature-oriented programming FOP, and aspect-oriented programming AOP have been used to develop modular software product ... |
Article
Supporting distributed product configuration by integrating heterogeneous variability modeling approaches
(Elsevier, 2015)
Context In industrial settings products are developed by more than one organization. Software vendors and suppliers ... |
Presentation
JPI Feature Models: Exploring a JPI and FOP Symbiosis for Software Modeling
(IEEE Computer Society, 2015)
Looking for a complete modular software development paradigm, this article presents Join Point Interface JPI Feature Models, ... |
Presentation
Variability management in an unaware software product line company: an experience report (Slide)
(VaMOS Workshops, 2014)
|
Article |
Presentation
A Variability-Based Testing Approach for Synthesizing Video Sequences
(ACM, 2014)
A key problem when developing video processing software is the di culty to test di erent input combinations. In this paper, ... |
Presentation
Variability Management in an unaware software product line company: An experience report
(ACM, 2014)
Software product line adoption is a challenging task in software development organisations. There are some reports in the ... |
Article
Evolving feature model configurations in software product lines
(Elsevier, 2014)
The increasing complexity and cost of software-intensive systems has led developers to seek ways of reusing software ... |
Presentation
Automated Analysis of Diverse Variability Models with Tool Support
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ... |
Article
Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms
(Elsevier, 2014)
A feature model is a compact representation of the products of a software product line. The automated extraction of ... |
Presentation
Integrating Heterogeneous Variability Modeling Approaches with Invar [Tool Demonstration]
(ACM, 2013)
There have been several proposals to describe the variability of software product lines by using modeling languages. In ... |
Presentation
Towards Anomaly Explanation in Feature Models
(CEUR-WS, 2013)
Feature models are a wide-spread approach to variability and commonality management in software product lines. Due to the ... |
Chapter of Book
FaMa
(Springer, 2013)
|
Report |
Chapter of Book
Automated Analysis of Stateful Feature Models
(Springer, 2013)
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ... |
Chapter of Book
FaMa
(Springer, 2013)
Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration. |
Presentation
Automated Analysis in Feature Modelling and Product Configuration
(Springer, 2013)
The automated analysis of feature models is one of the thriving topics of research in the software product line and ... |
PhD Thesis
Automated analysis of software product lines with orthogonal variability models: Extending the fama ecosystem
(2012)
La ingeniería de líneas de producto software es un paradigma de desarrollo de software que permite la creación de una ... |
Presentation
FaMa-OVM: a Tool for the Automated Analysis of Ovms
(2012)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ... |
Presentation
FaMa-OVM: A Tool for the Automated Analysis of OVMs
(ACM, 2012)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ... |
Presentation
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study
(Springer, 2012)
Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the ... |
Presentation
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
(ACM, 2012)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ... |
Report
FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02
(2012)
Software product lines are rapidly gaining importance across different application domains. This software production ... |
Report
ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1)
(2012)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ... |
Presentation
BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de ... |
Article
Consistency maintenance for evolving feature models
(Elsevier, 2012)
Software product line (SPL) techniques handle the construction of customized systems. One of the most common representations ... |
Article
Quality-Aware Analysis in Product Line Engineering with the Orthogonal Variability Model
(Springer Verlag, 2012)
Software product line engineering (SPLE) is about producing a set of similar products in a certain domain. A variability ... |
Article
Software diversity: state of the art and perspectives
(Springer, 2012)
Diversity is prevalent in modern software systems to facilitate adapting the software to customer requirements or the ... |
Report
ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05
(2012)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ... |
Presentation
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches
(IEEE Computer Society, 2011)
In industrial settings, products are rarely built by one organization alone. Software vendors and suppliers typically maintain ... |
Article
Automated Metamorphic Testing on the Analyses of Feature Models
(Elsevier, 2011)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ... |
Article
Mutation Testing on An Object-Oriented Framework: An Experience Report
(Elsevier, 2011)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ... |
Article
Functional Testing of Feature Model Analysis Tools: a Test Suite
(Institution of Engineering and Technology, 2011)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ... |
Presentation
Automated Diagnosis of Feature Model Configurations
(2011)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ... |
PhD Thesis |
Article
Automated analysis of feature models 20 years later: a literature review
(2010)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ... |
Presentation
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
(IEEE Computer Society, 2010)
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ... |
PhD Thesis
Functional and performance testing of feature model analysis tools Extending the fama ecosystem
(2010)
La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ... |
Article
Automated Diagnosis of Feature Model Configurations
(Elsevier, 2010)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ... |
Report
FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01
(2010)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ... |
Presentation
Automated Analysis of Orthogonal Variability Models Using Constraint Programming.
(2010)
Software Product Line (SPL) Engineering is about producing a family of products that share commonalities and variabilities. ... |
Presentation
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis
(2010)
The automated analysis of variability models in general and feature models in particular is a thriving research topic. ... |
Presentation
Feature Model to Orthogonal Variability Model Transformations. A First Step
(2009)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ... |
Presentation
Feature Model to Orthogonal Variability Model Transformation Towards Interoperability Between Tools
(2009)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ... |
Presentation
Moskitt FM and FAMA FW: Taking feature models to the next level
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009)
Feature modeling is a key technique to model commonalities and variabilities within a Software Product Line (SPL). Tools ... |
Presentation
Automated Reasoning for Multi-step Feature Model Configuration Problems
(ACM, 2009)
The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing ... |
Presentation
First International Workshop on Analysis of Software Product Lines (ASPL'08)
(IEEE Computer Society, 2008)
The automation of software product line (SPL) analyses is of growing interest to both practitioners and researchers. In ... |
Presentation
Three-Dimensional Feature Diagrams Visualization
(2008)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ... |
Presentation
Fama Framework
(2008)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ... |
Presentation
Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project
(IEEE Computer Society, 2008)
Variability models, feature diagrams ahead, have become commonplace in the software product lines engineering literature. ... |
Presentation
Functional Testing of Feature Model Analysis Tools. A First Step
(2008)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ... |
Presentation
Automated Diagnosis of Product-line Configuration Errors in Feature Models
(IEEE Computer Society, 2008)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ... |
Article
Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)
|
Presentation
Open Source Tools for Software Product Line Development
(2007)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ... |
Presentation
FAMA: hacia el análisis automático de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
|
Presentation
Towards Automated Refactoring of Feature Models Using Graph Transformations
(2007)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ... |
Presentation
From Requirements to Web System Design. An Automated Approach Using Graph Transformations
(2007)
Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ... |
Presentation
Fama: Tooling a Framework for the Automated Analysis of Feature Models
(2007)
The automated analysis of feature models is recognized as one of the key challenges for automated software development in ... |
Presentation
A Taxonomy of Variability in Web Service Flows
(2007)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ... |
Chapter of Book
Telvent
(Springer, 2007)
|
Presentation
Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines
(2007)
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and ... |
Presentation
Automated Merging of Feature Models using Graph Transformations
(2007)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ... |
PhD Thesis
On the automated analysis of software product lines using feature models: a framework for developing automated tool support
(2007)
En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de ... |
Presentation
Isolated Features Detection in Feature Models
(2006)
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, ... |
Presentation
A First Step Towards a Framework for the Automated Analysis of Feature Models
(2006)
Feature modelling is a common mechanism for variability management in the context of software product lines. After years ... |
Article |
Presentation
A Survey on the Automated Analyses of Feture Models
(2006)
Feature models are one of the most important assets in software product line engineering when capturing variability. ... |
Presentation
Explanations for Agile Feature Models
(2006)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ... |
Presentation
The Triple Schizophrenia of the Software Engineering Researcher
(2005)
In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with ... |
Presentation
Using Constraint Programming to Reason on Feature Models
(2005)
Feature models have been cited as one of the main contributions to model software product families. However, there is still ... |
Presentation
Automated reasoning on feature models
(2005)
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ... |
Presentation
Using Java Csp Solvers in the Automated Analyses of Feature Models
(2005)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ... |
Presentation
Spl needs an automatic holistic model for software reasoning with feature models
(Universidad Carlos III, 2004)
The number of features and their relations in a Software Product Line (SPL) may lead to have SPLs with a big number of ... |
Presentation
A First Approach to Build Product Lines of Multi-organizationalWeb Based Systems (MOWS)
(Springer, 2004)
From the recent past and current state of the Internet, it is possible to forecast a wide growing of Multi Organizational ... |
Presentation
Improving Decision Making in Software Product Lines Product Plan Management
(2004)
The increasing demand on developing Software Product Lines (SPL) has given a lot of interest to software engineering ... |
Presentation
Applying System Families Concepts to Requirements Engineering Process Definition
(Springer, 2003)
In this paper, some experiences gained during the definition of a unified, common software development process for several ... |
Article
Automating the Procurement of Web Services
(Springer Verlag, 2003)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ... |
Article
A Quality-Aware Approach to Web Services Procurement
(Springer Verlag, 2003)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ... |
Presentation |