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
135
-
No. visits
10939
-
No. downloads
25313
Publications |
---|
Article
![]() Uniform and scalable sampling of highly configurable systems
(Springer, 2022-01-01)
Many analyses on confgurable software systems are intractable when confronted with colossal and highly-constrained ... |
Article
![]() Uniform and scalable sampling of highly configurable systems (Correction)
(Springer, 2022-01-01)
|
Presentation
![]() FM fact label: a configurable and interactive visualization of feature model characterizations
(ACM: Association for Computing Machinery, 2022-01-01)
Recognizing specific characteristics of feature models (FM) can be challenging due to the different nature and domains of ... |
Presentation
![]() Variability in Data Visualization: a Software Product Line Approach
(ACM: Association for Computing Machinery, 2022-01-01)
Data visualization aims to effectively communicate quantitative information by understanding which techniques and displays ... |
Presentation
![]() Variability-aware data migration tool
(ACM: Association for Computing Machinery, 2022-01-01)
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-01-01)
ecurity has become a crucial factor in the development of soft ware systems. The number of dependencies in software ... |
Master's Final Project
![]() Análisis de vulnerabilidades en las dependencias de proyectos de desarrollo software
(2022-01-01)
Security has become a crucial factor in the development of software systems. The number of dependencies in software systems ... |
PhD Thesis
![]() Configuration Analysis for Large Scale Feature Models: Towards Speculative-Based Solutions
(2021-07-07)
Los sistemas de alta variabilidad son sistemas de software en los que la gestión de la variabilidad es una actividad ... |
Article
![]() Discovering configuration workflows from existing logs using process mining
(Springer, 2021-01-01)
Variability models are used to build configurators, for guiding users through the configuration process to reach the desired ... |
Article
![]() Empirical Evidence of the Usage of Programming Languages in the Educational Process
(IEEE Computer Society, 2021-01-01)
Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for ... |
Article
![]() DirectDebug: A software package for the automated testing and debugging of feature models
(Elsevier, 2021-01-01)
Complex and large-scale feature models can become faulty, i.e., do not represent the expected variability properties of ... |
Article
![]() DirectDebug: Automated Testing and Debugging of Feature Models
(Cornell University, 2021-01-01)
Variability models (e.g., feature models) are a common way for the representation of variabilities and commonalities of ... |
Presentation
![]() Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems
(CEUR Workshop Proceedings (CEUR-WS.org), 2021-01-01)
Highly configurable systems expose numerous variation points to be configured by the stakeholders. Deciding which variant to ... |
Article
![]() Using Scratch to Improve Learning Programming in College Students: A Positive Experience from a Non-WEIRD Country
(MDPI, 2021-01-01)
Teaching computer programming is a real challenge in the State University of Milagro (UNEMI), located in one of the ... |
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-01-01)
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-01-01)
The colossal solution spaces of most configurable systems make intractable their exhaustive exploration. Accordingly, ... |
Presentation
![]() A first prototype of a new repository for feature model exchange and knowledge sharing
(Association for Computing Machinery (ACM), 2021-01-01)
Feature models are the “de facto” standard for variability modelling and are used in both academia and industry. The MODEVAR ... |
PhD Thesis
![]() Enhancing the learning of programming using Scratch: a recommender-systems-based approach in non WEIRD communities
(2020-06-17)
In today’s world, there is a growing need for professionals with computer skills in general, and programming in particular. ... |
Presentation
![]() A Parallelized Variant of Junker’s QUICKXPLAIN Algorithm
(Springer, 2020-01-01)
Conflict detection is used in many scenarios ranging from interactive decision making to the diagnosis of potentially ... |
Article
![]() Recommender Systems and Scratch: An integrated approach for enhancing computer programming learning
(IEEE Computer Society, 2020-01-01)
Learning computer programming is a challenging process. Among the current approaches for overcoming this challenge, visual ... |
Presentation
![]() Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
(Springer, 2020-01-01)
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-01-01)
Context: The adoption of Software Product Line Engineering (SPLE) is usually only based on its theoretical benefits instead ... |
Presentation
![]() Functional Testing of Conflict Detection and Diagnosis Tools in Feature Model Configuration: A Test Suite Design
(Università degli Studi di Padova, 2020-01-01)
|
Presentation
![]() Configuration assisted through conversational agents (chatbots and voicebots)
(Università degli Studi di Padova, 2020-01-01)
|
Article
![]() Open Source Adoption Factors-A Systematic Literature Review
(IEEE Computer Society, 2020-01-01)
Nowadays, Free/Libre/OpenSource Software (FLOSS) is becoming a strategic option for many organizations in the public and ... |
Presentation
![]() Uniform and scalable SAT-sampling for configurable systems
(Association for Computing Machinery (ACM), 2020-01-01)
Several relevant analyses on configurable software systems remain intractable because they require examining vast and ... |
PhD Thesis
![]() On the selection and analysis of software product line implementation components using intelligent techniques
(2019-12-04)
En los últimos años y con el creciente avance tecnológico, las empresas ya no se centran exclusivamente en diseñar un ... |
Article
![]() Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress
(IEEE Computer Society, 2019-01-01)
In software products line (SPL), there may be features which can be implemented by different components, which means there ... |
Article
![]() Modeling Variability in the Video Domain: Language and Experience Report
(Springer, 2019-01-01)
In an industrial project, we addressed the challenge of developing a software-based video generator such that consumers ... |
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-01-01)
Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm ... |
Presentation
![]() Accessibility Variability Model: The UTPL MOOC Case Study
(Association for Computing Machinery (ACM), 2019-01-01)
Several approaches to define Variability Models (VM) of non-functional requirements or quality attributes have been proposed. ... |
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-01-01)
Los sistemas de visualización de la información nos permiten visualizar datos usando abstracciones de los mismos, por ... |
Presentation
![]() Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs
(Association for Computing Machinery (ACM), 2019-01-01)
Variability models are used to build configurators. Configurators are programs that guide users through the configuration ... |
Article
![]() Automated analysis of two-layered feature models with feature attributes
(Elsevier, 2019-01-01)
The proliferation of features and platforms in variability intensive systems, coupled with substantial technolo-gical ... |
Presentation
![]() RESDEC: Online Management Tool for Implementation Components Selection in Software Product Lines Using Recommender Systems
(ACM: Association for Computing Machinery, 2019-01-01)
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-01-01)
Software Product Lines (SPL) enable systematic reuse within an organization thus, enabling the reduction of costs, efforts, ... |
Presentation
![]() Towards a New Repository for Feature Model Exchange
(ACM: Association for Computing Machinery, 2019-01-01)
Feature models are one of the most important contributions to the field of software product lines, feature oriented software ... |
Article
![]() Automated analysis of feature models: Quo vadis?
(Springer, 2018-01-01)
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-01-01)
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-01-01)
Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. ... |
Article
![]() Anytime diagnosis for reconfiguration
(Springer, 2018-01-01)
Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time ... |
Chapter of Book
![]() Recommending exercises in Scratch: an integrated approach for enhancing the learning of computer programming
(Springer, 2018-01-01)
In this chapter we focused on how to improve the learning of computer programming in college students. From the reported ... |
Article
![]() Selección de configuraciones de despliegue usando Sistemas de Recomendación en Android
(Scielo.org, 2018-01-01)
Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Gestionar ... |
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-01-01)
Los sistemas de alta variabilidad son sistemas que representan cientos de configuraciones distintas. En un contexto ... |
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-01-01)
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-01-01)
El alto índice de reprobados es un problema generalizado en la enseñanza de la programación en los espacios educativos ... |
Article
![]() Testing variability-intensive systems using automated analysis: an application to Android
(Springer, 2016-01-01)
Software product lines are used to develop a set of software products that, while being different, share a common set of ... |
Presentation
![]() Exploiting the Enumeration of All Feature Model Configurations
(ACM, 2016-01-01)
.Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional ... |
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-01-01)
Los modelos de características con atributos representan todos los productos de una línea de productos junto con información ... |
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-01-01)
Los sistemas de alta variabilidad son sistemas software cuyo comportamiento puede ser personalizado de acuerdo con las ... |
Article
![]() Foreword to the special issue on empirical evidence on software product line engineering
(Springer, 2016-01-01)
|
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-01-01)
|
Article
![]() Traceability Analyses between Features and Assets in Software Product Lines
(MDPI, 2016-01-01)
In a Software Product Line (SPL), the central notion of implementability provides the requisite connection between ... |
PhD Thesis
![]() ![]() Evolution, testing and configuration of variability intensive systems
(2015-03-04)
One of the key characteristics of software is its ability to be adapted and configured to different scenarios. Recently, ... |
Article
![]() Supporting distributed product configuration by integrating heterogeneous variability modeling approaches
(Elsevier, 2015-01-01)
Context In industrial settings products are developed by more than one organization. Software vendors and suppliers ... |
Presentation
![]() Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line
(ACM, 2015-01-01)
Feature-oriented programming (FOP) and aspect-oriented programming (AOP) focus on to modularize incremental classes behavior ... |
Presentation
![]() JPI Feature Models: Exploring a JPI and FOP Symbiosis for Software Modeling
(IEEE Computer Society, 2015-01-01)
Looking for a complete modular software development paradigm, this article presents Join Point Interface JPI Feature Models, ... |
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-01-01)
Feature-oriented programming FOP, and aspect-oriented programming AOP have been used to develop modular software product ... |
Presentation
![]() Hacia las pruebas en sistemas de alta variabilidad utilizando opiniones de los usuarios
(HAL-Inria, 2015-01-01)
Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Este elevado ... |
Article
![]() An assessment of search-based techniques for reverse engineering feature models
(Elsevier, 2015-01-01)
Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ... |
Article
![]() FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015-01-01)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ... |
Presentation
![]() A Variability-Based Testing Approach for Synthesizing Video Sequences
(ACM, 2014-01-01)
A key problem when developing video processing software is the di culty to test di erent input combinations. In this paper, ... |
Article
![]() Evolving feature model configurations in software product lines
(Elsevier, 2014-01-01)
The increasing complexity and cost of software-intensive systems has led developers to seek ways of reusing software ... |
Presentation
![]() Variability Management in an unaware software product line company: An experience report
(ACM, 2014-01-01)
Software product line adoption is a challenging task in software development organisations. There are some reports in the ... |
Presentation
![]() Variability management in an unaware software product line company: an experience report (Slide)
(VaMOS Workshops, 2014-01-01)
|
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-01-01)
Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ... |
Article |
Article
![]() Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms
(Elsevier, 2014-01-01)
A feature model is a compact representation of the products of a software product line. The automated extraction of ... |
Presentation
![]() Towards Anomaly Explanation in Feature Models
(CEUR-WS, 2013-01-01)
Feature models are a wide-spread approach to variability and commonality management in software product lines. Due to the ... |
Presentation
![]() Automated Analysis in Feature Modelling and Product Configuration
(Springer, 2013-01-01)
The automated analysis of feature models is one of the thriving topics of research in the software product line and ... |
Presentation
![]() Integrating Heterogeneous Variability Modeling Approaches with Invar [Tool Demonstration]
(ACM, 2013-01-01)
There have been several proposals to describe the variability of software product lines by using modeling languages. In ... |
Chapter of Book
![]() Automated Analysis of Stateful Feature Models
(Springer, 2013-01-01)
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ... |
Report |
Chapter of Book
![]() FaMa
(Springer, 2013-01-01)
|
PhD Thesis
![]() Automated analysis of software product lines with orthogonal variability models: Extending the fama ecosystem
(2012-02-20)
La ingeniería de líneas de producto software es un paradigma de desarrollo de software que permite la creación de una ... |
Presentation
![]() BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
(ACM, 2012-01-01)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ... |
Presentation
![]() Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study
(Springer, 2012-01-01)
Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the ... |
Presentation
![]() FaMa-OVM: A Tool for the Automated Analysis of OVMs
(ACM, 2012-01-01)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ... |
Article
![]() Consistency maintenance for evolving feature models
(Elsevier, 2012-01-01)
Software product line (SPL) techniques handle the construction of customized systems. One of the most common representations ... |
Article
![]() Software diversity: state of the art and perspectives
(Springer, 2012-01-01)
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-01-01)
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-01-01)
El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de ... |
Presentation
![]() FaMa-OVM: a Tool for the Automated Analysis of Ovms
(2012-01-01)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ... |
Article
![]() Quality-Aware Analysis in Product Line Engineering with the Orthogonal Variability Model
(Springer Verlag, 2012-01-01)
Software product line engineering (SPLE) is about producing a set of similar products in a certain domain. A variability ... |
Report
![]() ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1)
(2012-01-01)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ... |
Report
![]() FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02
(2012-01-01)
Software product lines are rapidly gaining importance across different application domains. This software production ... |
Presentation
![]() Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches
(IEEE Computer Society, 2011-01-01)
In industrial settings, products are rarely built by one organization alone. Software vendors and suppliers typically maintain ... |
PhD Thesis |
Article
![]() Mutation Testing on An Object-Oriented Framework: An Experience Report
(Elsevier, 2011-01-01)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ... |
Article
![]() Automated Metamorphic Testing on the Analyses of Feature Models
(Elsevier, 2011-01-01)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ... |
Article
![]() Functional Testing of Feature Model Analysis Tools: a Test Suite
(Institution of Engineering and Technology, 2011-01-01)
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-01-01)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ... |
Presentation
![]() Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis
(2010-01-01)
The automated analysis of variability models in general and feature models in particular is a thriving research topic. ... |
Presentation
![]() Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
(IEEE Computer Society, 2010-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ... |
Report
![]() FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01
(2010-01-01)
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-01-01)
Software Product Line (SPL) Engineering is about producing a family of products that share commonalities and variabilities. ... |
Article
![]() Automated analysis of feature models 20 years later: a literature review
(2010-01-01)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ... |
Article
![]() Automated Diagnosis of Feature Model Configurations
(Elsevier, 2010-01-01)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ... |
PhD Thesis
![]() ![]() Functional and performance testing of feature model analysis tools Extending the fama ecosystem
(2010-01-01)
La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ... |
Presentation
![]() Automated Reasoning for Multi-step Feature Model Configuration Problems
(ACM, 2009-01-01)
The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing ... |
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-01-01)
Feature modeling is a key technique to model commonalities and variabilities within a Software Product Line (SPL). Tools ... |
Presentation
![]() Feature Model to Orthogonal Variability Model Transformation Towards Interoperability Between Tools
(2009-01-01)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ... |
Presentation
![]() Feature Model to Orthogonal Variability Model Transformations. A First Step
(2009-01-01)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ... |
Presentation
![]() Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project
(IEEE Computer Society, 2008-01-01)
Variability models, feature diagrams ahead, have become commonplace in the software product lines engineering literature. ... |
Presentation
![]() Automated Diagnosis of Product-line Configuration Errors in Feature Models
(IEEE Computer Society, 2008-01-01)
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-01-01)
|
Presentation
![]() Three-Dimensional Feature Diagrams Visualization
(2008-01-01)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ... |
Presentation
![]() Functional Testing of Feature Model Analysis Tools. A First Step
(2008-01-01)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ... |
Presentation
![]() Fama Framework
(2008-01-01)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ... |
PhD Thesis
![]() ![]() On the automated analysis of software product lines using feature models: a framework for developing automated tool support
(2007-01-01)
En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de ... |
Chapter of Book
![]() Telvent
(Springer, 2007-01-01)
|
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-01-01)
|
Presentation
![]() Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines
(2007-01-01)
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-01-01)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ... |
Presentation
![]() From Requirements to Web System Design. An Automated Approach Using Graph Transformations
(2007-01-01)
Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ... |
Presentation
![]() Towards Automated Refactoring of Feature Models Using Graph Transformations
(2007-01-01)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ... |
Presentation
![]() Fama: Tooling a Framework for the Automated Analysis of Feature Models
(2007-01-01)
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-01-01)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ... |
Presentation
![]() Open Source Tools for Software Product Line Development
(2007-01-01)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ... |
Article
![]() Automated analysis of feature models: challenges ahead
(ACM, 2006-01-01)
|
Presentation
![]() Isolated Features Detection in Feature Models
(2006-01-01)
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-01-01)
Feature modelling is a common mechanism for variability management in the context of software product lines. After years ... |
Presentation
![]() A Survey on the Automated Analyses of Feture Models
(2006-01-01)
Feature models are one of the most important assets in software product line engineering when capturing variability. ... |
Presentation
![]() Explanations for Agile Feature Models
(2006-01-01)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ... |
Presentation
![]() Automated reasoning on feature models
(2005-01-01)
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ... |
Presentation
![]() Using Constraint Programming to Reason on Feature Models
(2005-01-01)
Feature models have been cited as one of the main contributions to model software product families. However, there is still ... |
Presentation
![]() The Triple Schizophrenia of the Software Engineering Researcher
(2005-01-01)
In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with ... |
Presentation
![]() Using Java Csp Solvers in the Automated Analyses of Feature Models
(2005-01-01)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ... |
Presentation
![]() A First Approach to Build Product Lines of Multi-organizationalWeb Based Systems (MOWS)
(Springer, 2004-01-01)
From the recent past and current state of the Internet, it is possible to forecast a wide growing of Multi Organizational ... |
Presentation
![]() Spl needs an automatic holistic model for software reasoning with feature models
(Universidad Carlos III, 2004-01-01)
The number of features and their relations in a Software Product Line (SPL) may lead to have SPLs with a big number of ... |
Presentation
![]() Improving Decision Making in Software Product Lines Product Plan Management
(2004-01-01)
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-01-01)
In this paper, some experiences gained during the definition of a unified, common software development process for several ... |
Article
![]() A Quality-Aware Approach to Web Services Procurement
(Springer Verlag, 2003-01-01)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ... |
Article
![]() Automating the Procurement of Web Services
(Springer Verlag, 2003-01-01)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ... |
Presentation |