Perfil del autor: Trinidad Martín Arroyo, Pablo
Datos institucionales
Nombre | Trinidad Martín Arroyo, Pablo |
Departamento | Lenguajes y Sistemas Informáticos |
Área de conocimiento | Lenguajes y Sistemas Informáticos |
Categoría profesional | Profesor Titular de Universidad |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
56
-
Nº visitas
7424
-
Nº descargas
13301
Publicaciones |
---|
Artículo
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 ... |
Trabajo Fin de Grado
Project Atlas: an Encoder Application for Apple Watch
(2018)
One of the reasons that led me to choose this degree was the will to solve problems by myself. I may find something wrong, ... |
Ponencia
Modelling and Analysing Highly-Configurable Services
(ACM Digital Library, 2017)
Since the emergence of XaaS and Cloud Computing paradigms, the number and complexity of available services have been ... |
Ponencia
Una Experiencia para mejorar la interacción estudiante-profesor
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2016)
En asignaturas en las que hay proyectos o entregables evaluables, los estudiantes suelen saturar los buzones de correo de ... |
Artículo
User-centric Adaptation Analysis of Multi-tenant Services
(Association for Computing Machinery (ACM), 2016)
Multi-tenancy is a key pillar of cloud services. It allows different users to share computing and virtual resources ... |
Ponencia
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)
|
Artículo
Automated configuration support for infrastructure migration to the cloud
(Elsevier, 2016)
With an increasing number of cloud computing offerings in the market, migrating an existing computational infrastructure ... |
Tesis Doctoral
Automating the support of highly-configurable services
(2015)
Las crecientes capacidades de configuración de los servicios, especialmente en el cloud, han dado lugar a los así llamados ... |
Artículo
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 ... |
Artículo
An Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry
(Elsevier, 2014)
Over the last two decades, software product lines have been used successfully in industry for buildingfamilies of systems ... |
Ponencia
Configurable Feature Models
(2014)
Feature models represent all the products that can be built under a variability-intensive system such as a software product ... |
Ponencia
User-Centric Adaptation of Multi-Tenant Services: Preference-Based Analysis for Service Reconfiguration
(2014)
Multi-tenancy is a key pillar of cloud services. It allows different tenants to share computing resources transparently ... |
Ponencia
Migrating to the Cloud: a Software Product Line Based Analysis
(2013)
Identifying which part of a local system should be migrated to a public Cloud environment is often a difficult and error ... |
Ponencia
Multi-User Variability Configuration: a Game Theoretic Approach
(2013)
Multi-user configuration is a neglected problem in variability-intensive systems area. The appearance of conflicts among ... |
Capítulo de Libro
FaMa
(Springer, 2013)
|
Capítulo de Libro
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 ... |
Capítulo de Libro
FaMa
(Springer, 2013)
Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration. |
Tesis Doctoral
Automating the analysis of stateful feature models
(2012)
El modelado de la variabilidad es una de las principales tareas en el desarrollo de l´ıneas de productos software (LPS). ... |
Ponencia
BETTY: Benchmarking and Testing on the Automated Analysis of Feature Models
(2012)
The automated analysis of feature models is a flourishing research topic that has called the attention of both researchers ... |
Informe
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 ... |
Ponencia
Automating the deployment of componentized systems
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
Embedded and self-adaptive systems demand continuous adap- tation and reconfiguration activities based on changing quality ... |
Ponencia |
Artículo
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 ... |
Ponencia
Tool Supported Error Detection and Explanations on Feature Models
(2011)
Automated analysis of feature models (FM) is a field of interest in recent years. Many operations over FMs have been ... |
Ponencia
Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011)
|
Ponencia
ISA PACKAGER: a Tool for SPL Deployment
(2011)
In software projects, and particularly in Software Product Line (SPL) projects, product composition and deployment are ... |
Ponencia
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 ... |
Ponencia
FaMa Abductive: una herramienta para explicaciones de errores en modelos de características
(2011)
La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de ... |
Artículo
Automated Diagnosis of Feature Model Configurations
(Elsevier, 2010)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ... |
Ponencia
Building Industry-Ready Tools: FAMA Framework & ADA
(2010)
Developing good academic tools has become an art that forces researchers to achieve tasks they are not supposed to do. ... |
Ponencia
Mass Customisation Along Lifecycle of Autonomic Homes
(2009)
Autonomic homes adapt themselves to give the user the best possible experience of the services they provide. They dynamically ... |
Ponencia
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?
(2009)
In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to be ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
Fama Framework
(2008)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ... |
Ponencia
An Architectural Discussion on DSPL
(2008)
Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product ... |
Ponencia
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 ... |
Artículo
Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)
|
Ponencia
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: ... |
Ponencia
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)
|
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Capítulo de Libro
Telvent
(Springer, 2007)
|
Ponencia
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 ... |
Artículo
Building the Core Architecture of a NASA Multiagent System Product Line
(Springer Verlag, 2007)
The field of Software Product Lines (SPL) emphasizes build- ing a family of software products from which concrete products ... |
Ponencia
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 ... |
Ponencia
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, ... |
Ponencia
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 ... |
Ponencia
Building the Core Architecture of a NASAa Multiagent System Product Line
(2006)
The field of Software Product Lines (SPL) emphasizes building a family of software products from which concrete products ... |
Ponencia
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. ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |